Введение

В искусственном интеллекте, рассуждения, основанные на моделях, — это метод логического вывода, используемый в экспертных системах и опирающийся на модель физического мира. При таком подходе основное внимание при разработке приложений уделяется созданию модели. Затем, во время работы, "механизм" (или "движок") комбинирует знания, содержащиеся в модели, с наблюдаемыми данными для получения выводов, таких как диагноз или прогноз.

Разумные рассуждения с использованием декларативных моделей

Робот и динамические системы также управляются программным обеспечением. Программное обеспечение реализовано как обычная компьютерная программа, состоящая из операторов "если-то", циклов "for" и подпрограмм. Задача программиста – найти алгоритм, способный управлять роботом для выполнения определенной задачи. В истории робототехники и оптимального управления было разработано множество парадигм. Одной из них являются экспертные системы, ориентированные на узкие предметные области. Экспертные системы являются предшественниками систем, основанных на моделях. Основная причина, по которой моделирование на основе рассуждений исследуется с 1990-х годов, заключается в создании различных уровней для моделирования и управления системой. Это позволяет решать более сложные задачи, а существующие программы можно повторно использовать для разных проблем. Уровень модели используется для мониторинга системы и оценки корректности действий, в то время как уровень управления определяет действия и переводит систему в целевое состояние. Типичными методами реализации модели являются декларативные языки программирования, такие как Prolog и Golog. С математической точки зрения, декларативная модель имеет много общего с исчислением ситуаций как логической формализацией для описания системы. С более практической точки зрения, декларативная модель означает, что система моделируется с помощью игрового движка. Игровой движок принимает признак в качестве входного значения и определяет выходной сигнал. Иногда игровой движок описывают как движок предсказаний для моделирования мира. В 1990 году была сформулирована критика подхода, основанного на моделях рассуждений. Пионеры Nouvelle AI утверждали, что символические модели оторваны от базовых физических систем и не способны управлять роботами. Согласно представителям поведенческой робототехники, реактивная архитектура может решить эту проблему. Такой системе не требуется символическая модель, действия напрямую связаны с сигналами от датчиков, которые укоренены в реальности.