Искусственный интеллект.
Агенты - носители искусственного интеллекта.
Среды и агенты.
Логические рассуждения.
Логика высказываний.
Исчисление высказываний.
Рассуждения в терминах интервалов.
Логика предикатов.
Исчисление предикатов.
Прямой и обратный вывод.
Полнота и непротиворечивость исчисления.
Вывод на основе правила резолюции.
Автомат и среда.
Язык и автомат.
Вопросы и упражнения.
Куцый Н. Н. Системы искусственного интеллекта. - Иркутск, изд-во Иркутск. гос. техн. ун-та, 2005. - 150 с.
Агенты - носители искусственного интеллекта.
Среды и агенты.
Логические рассуждения.
Логика высказываний.
Исчисление высказываний.
Рассуждения в терминах интервалов.
Логика предикатов.
Исчисление предикатов.
Прямой и обратный вывод.
Полнота и непротиворечивость исчисления.
Вывод на основе правила резолюции.
Автомат и среда.
Язык и автомат.
Вопросы и упражнения.
Куцый Н. Н. Системы искусственного интеллекта. - Иркутск, изд-во Иркутск. гос. техн. ун-та, 2005. - 150 с.