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

Вид существа определяет наличие или отсутствие у него перечисленных свойств. Если это существо синица, то она имеет крылья, а если этим существом является кролик, то, естественно, у него нет крыльев. Иначе говоря, фраза «синица имеет крылья» справедлива или истинна в русском языке, а фраза «кролик имеет крылья» ошибочна или ложна. В соответствии с этим предикат имеет_крылъя (Синица) принимает истинное значение И, а предикат имеет_крылья (Кролик) — ложное Л. Слова Синица и Кролик в данном случае являются объектными константами. Подставляя значения объектных констант, имеем теперь возможность вычислять истинность или ложность формул (3.8).