Интеллектуальные информационные системы
На проверке
Заказ
6494540
Раздел
Программирование
Предмет
Интеллектуальные информационные сети
Тип работы
Антиплагиат
Не указан
Срок сдачи
16 Янв в 21:00
Цена
1 000 ₽
Блокировка
10 дней
Размещен
10 Янв в 23:59
Просмотров
16
Описание работы
1. Сравнить свойства, которыми обладает формальная система Исчисление высказываний со свойствами, которыми обладает Исчисление предикатов 1 порядка как формальная система. Указать свойства, общие для обеих формальных систем. Какие свойства различаются?
2. Искусственный интеллект как наука. Основные направления искусственного интеллекта.
3. Решить задачу. Доказать методом резолюции справедливость рассуждения: Если Джонс не встречал этой ночью Смита, то либо Смит был убийцей, либо Джонс лжет. Если Смит не был убийцей, то Джонс не встречал его этой ночью, и убийство имело место после полуночи. Если убийство имело место после полуночи, то либо Смит был убийцей, либо Джонс не лжет. Следовательно, Смит был убийцей.
Нужна такая же работа?
- Разместите заказ
- Выберите исполнителя
- Получите результат
| Гарантия на работу | 1 год |
| Средний балл | 4.96 |
| Стоимость | Назначаете сами |
| Эксперт | Выбираете сами |
| Уникальность работы | от 70% |
Предыдущий заказ
Следующий заказ
Нужна аналогичная работа?
Оформи быстрый заказ и узнай стоимость
Гарантированные бесплатные доработки
Быстрое выполнение от 2 часов
Проверка работы на плагиат
