Программирование на языке Пролог для искусственного интеллекта

       

хорошо приспособлена для решения многих



Резюме

  • Архитектура, ориентированная на типовые конфигурации (образцы), хорошо приспособлена для решения многих задач искусственного интеллекта.
  • Программа, управляемая образцами, состоит из модулей, запускаемых при возникновении в базе данных тех или иных конфигураций.
  • Прологовские программы можно рассматривать как частный случай систем, управляемых образцами.
  • Параллельная реализация - наиболее естественный способ реализации систем, управляемых образцами. Реализация на последовательной машине требует разрешения конфликтов между модулями, содержащимися в конфликтном множестве.
  • В этой главе был реализован простой интерпретатор для программ, управляемых образцами. Он был затем применен к задаче автоматического доказательства теорем пропозициональной логики.
  • Были рассмотрены следующие понятия:

    системы, управляемые образцами
            архитектуры, ориентированные на образцы
            программирование в терминах образцов
            модули, управляемые образцами
            конфликтное множество, разрешение конфликтов
            принцип резолюции
            автоматическое доказательство теорем на
                    основе принципа резолюции


Содержание раздела