Итоговая работа

Экзаменационное задание по курсу Интеллектуальные информационные системы

Вариант 4

1. Одним из свойств, которыми могут обладать формальные системы, является свойство разрешимости. Дайте определение. Назовите известные вам формальные системы, которые являются разрешимыми, приведите доводы в подтверждение вашего мнения.

2. Основные понятия в исчислении высказываний. Логические операции. Формулы. Тавтологии и противоречия

3. Решить задачу. Доказать методом резолюции справедливость рассуждения: Если Джонс не встречал этой ночью Смита, то либо Смит был убийцей, либо Джонс лжет. Если Смит не был убийцей, то Джонс не встречал его этой ночью, и убийство имело место после полуночи. Если убийство имело место после полуночи, то либо Смит был убийцей, либо Джонс не лжет. Следовательно, Смит был убийцей.