Создание мощного и гибкого инструментария интеллектуального программирования в настоящее время ведется в следующих направлениях:

1.Разработка систем представления знаний путем прямого использования широко распространенных языков обработки символьной информации и языков программирования общего назначения.

2.Расширение базисных языков ИИ для систем представления знаний за счет специализированных языков и пакетов

3.Создание языков представления знаний, специально ориентированных на поддержку определенных формализмов, и реализация соответсвующих трансляторов с этих языков.

ПАРАДИГМЫ ПРОГРАММИРОВАНИЯ В ИИ

ФУНКЦИОНАЛЬНАЯ – программа состоит из независимых функций, каждая из которых определяет правило преобразования своих аргументов для получения некоторого результата. Представитель – язык Лисп.

ЛОГИЧЕСКАЯ – основана на использовании механизма доказательства теорем, который позволяет выяснить, противоречиво ли некоторое множество логических формул. Формулы предназначены для представления различных фактов (данных) и правил вывода. Представитель – язык Пролог.

ОБЪЕКТНО-ОРИЕНТИРОВАННАЯ – программа состоит из объектов и сообщений, что вносит в программу модульность посредством абстракции данных и наследования. Особенно подходит для ситуаций с явно выраженной иерархической классификацией объектов. Представители – языки SmallTalk, C++ , ObjectPascal.

ПРОДУКЦИОННАЯ – слияние: взаимодействие правил-продукций может опираться на функциональную парадигму, а унификация условий применимости правил – на логическую. Представитель – язык OPS5 и др.

ПРОЛОГ

формализмы

Тип данных - терм Пример представления даты в виде терма:

дата(‘четверг’,24,‘ноябрь’, 2006)

функтор компоненты

Функтор - имя отношения, компоненты - объекты отношения. Размерность структуры равна числу компонентов, входящих в нее.

Компоненты структуры заключаются в скобки и разделяются запятой.

Виды компонент:

•атомные константы

•числовые константы

•переменные

1) Атом может содержать любой алфавитно-цифровой знак и должен заключаться в апострофы.

Примеры атомов: 'моя мать' 'Иван, да, Марья' '_ первый' 'Георгий‘ . 2) Числовые константы или просто числа.

Примеры: 205, -10, 3.75. 3)Переменные. Примеры: A, B, R.