Главная страница

! ЛЕКЦИЯ 1 Языки представления знаний. 1 Обзор языков предоставления знаний


Скачать 16.85 Kb.
Название1 Обзор языков предоставления знаний
Дата25.09.2022
Размер16.85 Kb.
Формат файлаdocx
Имя файла! ЛЕКЦИЯ 1 Языки представления знаний.docx
ТипОбзор
#696196

ПЛАН

1 Обзор языков предоставления знаний
2 Пролог
3 Web Ontology Language
4 Лисп
4 Языки Ontology
Языки представления знаний

Обзор языков предоставления знаний

Пролог

 

Пролог (фр. Programmation en Logique) — язык и система логического  программирования, основанные на языке  предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка.

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

Факты в языке Пролог описываются логическими предикатами  с конкретными значениями. Правила  в Прологе записываются в форме правил логического вывода с логическими заключениями и списком логических условий.

Особую роль в интерпретаторе Пролога играют конкретные запросы  к базам знаний, на которые система  логического программирования генерирует ответы «истина» и «ложь». Для обобщённых запросов с переменными в качестве аргументов созданная система Пролог выводит конкретные данные в подтверждение истинности обобщённых сведений и правил вывода.

Факты в базах знаний на языке Пролог представляют конкретные сведения (знания). Обобщённые сведения и знания в языке Пролог задаются правилами логического вывода (определениями) и наборами таких правил вывода (определений) над конкретными фактами и обобщёнными сведениями.


написать администратору сайта