__ ______ |– A->(B->(A->B)) Вывести формулу: А следует (не В следует не (А следует В))

Принцип резолюции в исчислении высказываний и логике предикатов и его модификации

Содержание.

Введение.............................................................................3

1. Основные производители.....................................................5

2. История возникновения и развития языка ПРОЛОГ....................6

3. Расчет выражения....................................................9

3.1. Расчет предикатов....................................................11

3.2. Программирование на ПРОЛОГЕ.......................................14

3.3. Принцип резолюции........................................................16

3.4. Поиск доказательства в системе резолюций...........................18 Вывод.........................................................................22

список литературы................................................................24

Введение.

Программные средства, основанные на технологии и методах искусственного интеллекта, получили значительное распространение в мире. Их важность, и, в первую очередь, экспертных систем и нейронных сетей, состоит в том, что данные технологии существенно расширяют круг практически значимых задач, которые можно решать на компьютерах, и их решение приносит значительный экономический эффект. В то же время, технология экспертных систем является важнейшим средством в решении глобальных проблем традиционного программирования: длительность и, следовательно, высокая стоимость разработки приложений; высокие затраты на обслуживание сложных систем; повторную используемость программ, и др, кроме того, объединение технологий экспертных систем и нейронных сетей с технологией традиционного программирования добавляет новые качества к коммерческой продукции, за счет обеспечения динамической модификации приложений пользователем, а не программистом,&';прозрачность&'; приложения (например, знания хранятся на ограниченном естественном языке, что не требует комментариев к ним, упрощает обучение и сопровождение), лучшие инструменты графики, пользовательского интерфейса и взаимодействия.

По мнению специалистов, в недалекой перспективе экспертные системы будут играть ведущую роль во всех фазах проектирования, разработки, производства, распределения, продажи, поддержки и оказания услуг. Технологии их, получив коммерческое распространение, обеспечит революционный прорыв в интеграции приложений из готовых интеллектуально-взаимодействующих модулей.

Среди специализированных систем, основанных на знаниях, наиболее важные экспертные системы реального времени, или динамические экспертные системы. На их долю приходится 70% этого рынка.

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