Искусственный интеллект

логические константы являются простыми предложениями; логические переменные также простые предложения; сложные предложения формируются из простых с помощью связок л (И), v (ИЛИ), -, (НЕ), = (ЭКВИВАЛЕНТНО), з (ВЛЕЧЕТ); простые и сложные предложения, заключенные или не заключенные в скобки, являются предложениями языка логики высказываний; из предложений с помощью связок и скобок можно образовать новые предложения языка логики высказываний; связки имеют следующий порядок старшинства -i, л, v, и, э, т.е. связка -I самая старшая, а связка = — самая младшая. Формулы логики высказываний, составленные по этим правилам, называют праенльт построеннымнм формулами или сокращенно формулами. 1.1.1. Семантика логики высказываний Семантику логики высказываний можно пояснить смысловой интерпретацией ее предложений или формул, под которой обычно понимают процесс установления соответствия между логическими переменными и изменяющимися свойствами объектов среды и между значениями переменных (константами) и конкретными значениями свойств объектов. В примере со средой кота — это соответствие между логической переменной хк и свойствами кота находиться слева или справа и значениями логической переменной хк= И и хк= Л, следовательно, одним из местонахождений кота (слева или справа) и далее между отношениями свойств объектов и формулами, истинное значение которых определяет наличие отношения, а ложное — его отсутствие.