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

Прежде, чем переходить к ответу на перечисленные выше вопросы, ответим на более простой. Если формула выводима в каком-либо исчислении (не обязательно полном), то выводима ли она при использовании той же системы 93 4. Вывод в логике предикатов аксиом и единственного правила вывода — обобщенного правила модус поненс? Вернемся к примеру со средой кубика. Предположим, что в начальной базе знаний имеются аксиомы свободен (В), свободен (В) z> переместить (В, Стол), переместить (Д Стол) =э на (В, Стол). Пусть целевой формулой является формула на (В, Стол). С помощью обобщенного правила модус поненс сначала можно вывести формулу переместить (А, В), а затем формулу на (В, Стол). Если в базе данных имеются аксиомы -1 свободен (В),