Вариант 1 1. Сравнить свойства, которыми обладает формальная система Исчисление высказываний со свойствами, которыми обладает Исчисление предикатов 1 порядка как формальная система. Указать свойства, общие для обеих формальных систем. Какие свойства различаются? 2. Искусственный интеллект как наука. Основные направления искусственного интеллекта. 3. Решить задачу. Доказать методом резолюции справедливость рассуждения: Если Джонс не встречал этой ночью Смита, то либо Смит был убийцей, либо Джонс лжет. Если Смит не был убийцей, то Джонс не встречал его этой ночью, и убийство имело место после полуночи. Если убийство имело место после полуночи, то либо Смит был убийцей, либо Джонс не лжет. Следовательно, Смит был убийцей
Владимир
ГМА им.С.О.Макарова
Всем доброго дня! Все выполнено досрочно,все замечания исправлены! Андрей большой молодец!!!
Александра
СПбГТИ(ТУ)
Ольга, в очередной раз низкий поклон Вам! Спасибо за оперативную помощь!
Николай
СПбГТИ(ТУ)
Решение рукописное, была допущена ошибка в работе, но не существенная. Спасибо
Александра
СПбГУ
Спасибо большое,очень помогло,все четко без замечаний,а главное вовремя,советую??