Программирование в терминах типовых конфигураций


16 1 Архитектура ориентированная на типовые конфигурации
16. 1.    Архитектура, ориентированная на типовые конфигурации...
16 1 1 Основные понятия
16. 1. 1.    Основные понятия Под системами, ориентированными на типовые конфигурации (образцы), мы будем понимать программные системы специальной архитектуры. Для некоторых конкрет...
Рисунок 16 1 Система управляемая типовыми конфигурациями ( образцами)
Рисунок 16. 1.  Система, управляемая типовыми конфигурациями ( образцами). ветствие сразу с несколькими предварительными условиями, а следовательно, в принципе могут запуститься несколько мод...
16 1 2 Прологовские программы как системы управляемые образцами
16. 1. 2.    Прологовские программы как системы, управляемые образцами Программы, написанные на Прологе, можно рассматривать как системы, управляемые образцами. Между пролог-програм...
Рисунок 16 2 Основной цикл работы
Рисунок 16. 2.  Основной цикл работы системы, управляемой образцами.В этом примере база данных согласуется с пусковыми образцамимодулей  1,  3  и  4;  для выполнения...
16 1 3 Пример составления программы
16. 1. 3.    Пример составления программы С системами, управляемыми образцами, связан свой особый стиль программирования, требующий специфического программистского мышления. Мы гово...
Рисунок 16 3 Процесс вычисления
Рисунок 16. 3.  Процесс вычисления наибольшего общего делителямножества чисел. Первоначально база данных содержит числа 25,  10,  15  и  30.  Вертикальная стрелка сое...
16 2 Простой интерпретатор программ управляемых образцами
16. 2.    Простой интерпретатор программ, управляемых образцами Для описания модулей, управляемых образцами, мы применим следующую синтаксическую конструкцию:    &nbs...
Рисунок 16 4 Программа управляемая
Рисунок 16. 4.  Программа, управляемая образцами, для получениянаибольшего общего делителя множества чисел. Самый простой способ реализации этого языка - использовать механизмы управления баз...
Рисунок 16 5 Простой интерпретатор для программ управляемых образцами
Рисунок 16. 5.  Простой интерпретатор для программ, управляемых образцами. Простой интерпретатор для программ, управляемых образцами, показан на Рисунок 16.5. Следует признать, что в интерпре...
16 3 Простая программа для автоматического докаэательства теорем
16. 3.    Простая программа для автоматического докаэательства теорем В настоящем разделе мы реализуем простую программу для автоматического доказательства теорем в виде системы, уп...
Рисунок 16 6 Доказательство теоремы
Рисунок 16. 6.  Доказательство теоремы  (а=>b)&(b=>с)=>(a=>с)   методомрезолюции. Верхняя строка - отрицание теоремы в конъюнктивнойнормальной форме. Пустой дизъюнкт...
Рисунок 16 7 Программа управляемая образцами для автоматического доказательства теорем
Рисунок 16. 7.  Программа, управляемая образцами, дляавтоматического доказательства теорем. Остается еще один вопрос: как преобразовать заданную пропозициональную формулу в конъюнктивную норм...
Рисунок 16 8 Преобразование пропозициональных
Рисунок 16. 8.   Преобразование пропозициональных формул в множестводизъюнктов с записью их в базу данных при помощи assert.         ?-  транс( ~(( а=&...
16 4 Заключительные замечания
16. 4.    Заключительные замечания Нашего простого интерпретатора было вполне достаточно для того, чтобы проиллюстрировать некоторые идеи, лежащие в основе программирования в термин...
Проект
Проект Запрограммируйте интерпретатор, который, в соответствии с приведенным выше замечанием, реализует базу данных как аргумент пусковой процедуры и не использует для этого внутренней базы данных...
Резюме
Резюме Архитектура, ориентированная на типовые конфигурации (образцы), хорошо приспособлена для решения многих задач искусственного интеллекта. Программа, управляемая образцами, состоит из...
Литература
Литература Waterman and Hayes-Roth (1978) - классическая книга по системам, управляемым образцами. В книге Nilsson (1980) можно найти фундаментальные понятия, относящиеся к задаче автоматического...


- Начало -


Книжный магазин