ЛАТЕРАН
Дворец папы в Риме, близ церкви св. Иоанна, названный так по имени древне-римской фамилии, которая прежде владела этим дворцом.
... возникают условия , позволяющие впервые использовать правило резолюции (правило . устранения противоречия ): литерал ¬,2 в высказывании , противоположный литералу .,2 в высказывании , устраняется , что приводит к получению следующего ... ... должна . быть , по крайней мере , в квадрате [1 , или [3 , Аналогичным .образом , устраняется литерал ¬,1 в высказывании литералу ,1 . в высказывании , что приводит к получению следующего высказывания :. : ,1 ... (Модели представления знаний)
... ниже логических связок ¬ (нет) Такое высказывание , как ¬,3 , называется отрицанием высказывания ,3 . Литерал представляет собой либо атомарное высказывание (положительный литерал ), либо отрицаемое . атомарное ... ... либо атомарное высказывание (положительный литерал ), либо отрицаемое . атомарное высказывание (отрицательный литерал ). ˆ (и) Высказывание , основной связкой которого является ˆ, такое как ,3 . ˆ ,1 ,называется конъюнкцией ; его части ... (Логика)
... судить еще до того., как модель будет составлена полностью Например , высказывание {A v B) л (A v С) является. истинным , если истинен литерал А, независимо от значений литералов В.и С Аналогичным образом , высказывание является ложным , если ложно любое его выражение ... ... литералов В.и С Аналогичным образом , высказывание является ложным , если ложно любое его выражение ., а это происходит , если каждый литерал этого выражения является ложным Опять-таки , такая ситуация может возникнуть задолго до того, как модель . будет ... (Логика)
... другу литералов из всех пар выражений ,.приведенных в верхнем ряду Затем после устранения литерала ,2 , противоположного литералу ¬,2 ., будет получено пустое выражение , показанное в виде ... ... очень . полезен Поэтому любое выражение , в котором присутствуют два взаимно дополнительных литерала ., может быть отброшено ... (Модели представления знаний)
... модели описана ниже Для i от 1 до k:. если в множестве RC (S) имеется выражение , содержащее литерал ¬Pi ., такое , что все другие его литералы являются ложными при данном .присваивании , выбранном ... (Модели представления знаний)
... записано как импликация , предпосылкой которой . является конъюнкция положительных литералов , а заключением — один положительный литерал Например , хорновское выражение (¬,1 v ,2 v.,1 ) может быть записано как импликация ... ... .областей знаний Хорновские выражения , подобные этому , имеющие точно один положительный литерал , называются . определенными выражениями Такой положительный литерал называется головой выражения , а отрицательные ... (Логика)
Комментарии
Оставить комментарий