Cтраница 1
Составное утверждение содержит более одного утверждения. [1]
Программа может обрабатывать конъюнктивные и дизъюнктивные составные утверждения. Программа может решать задачи с множеством высказываний и метавысказываниями. [2]
Ниже приведен полный листинг CLIPS-программы, которая обеспечивает обработку составных утверждений и метавысказывании. [3]
Классическая логика высказываний предназначена для изучения множества простых утверждений, а также построенных из них составных утверждений. На интуитивном уровне подразумеваемой интерпретацией для этих утверждений служит возможный мир, в котором каждое утверждение истинно или ложно. [4]
Альтернативный сценарий используется в ситуации, когда в ранее покинутом мире не были проанализированы все дизъюнкты составного утверждения. Мир был покинут, когда обнаружилось, что проанализированный дизъюнкт не противоречит предположению, поэтому прочие дизъюнкты просто не рассматривались. [5]
В главе 1 мы дали аналитическое описание формального языка PL, с помощью которого можно выражать как простые, так и составные утверждения. [6]
Интуитивно говоря, высказывательные символы употребляются для изображения простых утверждений, а связки Л и - применяются вместо слов, используемых для построения составных утверждений из простых. [7]
При использовании ненаправленных правил отката программа всегда сможет вернуться к последнему объекту world, предлагающему альтернативный вариант предположения, или к такому объекту, в котором имеются еще не проанализированные дизъюнкты составного утверждения. [8]