Логическое программирование
Логическое программирование — парадигма программирования, основанная на автоматическом доказательстве теорем, с использованием механизмов логического вывода информации на основе заданных фактов и правил вывода.Язык Пролог и логическое программирование и широко используются для создания баз знаний и экспертных систем и исследований в сфере искусственного интеллекта на основе логических моделей баз знаний и логических процедур вывода и принятия решений.
Содержание |
Язык и система Пролог
Пролог (англ. Prolog) — язык и система логического программирования, основанные на языке предикатов математической логики исчисления предикатов, представляющей собой подмножество логики предикатов первого порядка.
Основными понятиями в языке Пролог являются факты, правила логического вывода и запросы, позволяющие описывать базы знаний, процедуры логического вывода и принятия решений, на основе которых система логического программирования Пролог делает логические выводы и дает осмысленные ответы.
Факты в языке Пролог описываются логическими предикатами с конкретными значениями. Правила в Прологе записываются в форме правил логического вывода с логическими заключениями и списком логических условий.
В интерпретаторе Пролога особую роль играют конкретные запросы к базам знаний, на которые система логического программирования генерирует ответы «истина» и «ложь». Для обобщенных запросов с переменными в качестве аргументов созданная систем Пролог выводит конкретные данные в подтверждение истинности обобщенных сведений и правил вывода.
Факты в базах знаний на языке Пролог представляют конкретные сведения (знания). Обобщённые сведения и знания в языке Пролог задаются правилами логического вывода (определениями) и наборами таких правил вывода (определений) над конкретными фактами и обобщенными сведениями.
- ВАК, проф.,док.комп.наук 05:28, 21 июля 2009 (UTC)
Базы Знаний
Под Базами знаний в информатике понимают совокупность фактов и правил вывода, допускающих логический вывод и осмысленную обработку информации. В языке Пролог базы знаний описываются в форме конкретных фактов и правил логического вывода над базами данных и процедурами обработки информации, представляющих сведения и знания о людях, предметах, фактах событиях и процессах в логической форме.
Наиболее важным свойством информации, хранящейся в базах знаний, является достоверность конкретных и обобщенных сведений в базе данных и релевантности информации, получаемой с использованием правил вывода, заложенных в базу знаний. Геннадий Попов, PathVision.ai: Как искусственный интеллект помогает медицине и бизнесу
В ответах на простейшие запросы к базам знаний системы логического программирования Пролог, выдает значения «истина» и «ложь» в зависимости от наличия соответствующих фактов. Истинность и ложность ответов существенно зависит от наполнения баз знаний фактической информацией и ее непротиворечивостью.
Обобщенные сведения в базах знаний на языке Пролог задаются с помощью правил логического вывода, выполняющих роль определения понятий, а также логических процедур, состоящих из наборов правил логического вывода. Достоверность обобщенных сведений зависит от наличия необходимых фактов и достоверности данных в базах знаний.
- ВАК, проф.,док.комп.наук 05:30, 21 июля 2009 (UTC)
Логическая модель знаний
Базы Знаний в Информатике - то совокупность фактов и правил вывода в экспертных системах и системах логического программирования, реализующие осмысленные ответы на вопросы.
Факты и правила в базах знаний описываются с использованием языка логического программирования Пролог в форме логических предикатов в русскоязычной лексике. Факты и правила в базах знаний описываются с использованием языка логического программирования Пролог в форме логических предикатов в русскоязычной лексике.
Знания в таких базах представляют конкретные и обобщенные сведения о людях, вещах, событиях, свойствах, процессах и явлениях предметного мира.
Сведения о вещах и людях как и любая информация могут быть достоверными и недостоверными. Достоверная информация воспринимается как истина, а недостоверная информация - как ложь. Базы знаний в экспертных системах с логической точки зрения представляют прикладные логические теории, в рамках которых могут делаться ложные и истинные выводы.
Базы знаний экспертных систем в этом смысле становятся логическими моделями людей-экспертов, обладающих теми или иными достоверными и недостоверными знаниями.
Тестирование знаний студентов можно понимать и осмысливать как тестирование баз знаний логических моделей учащихся - студентов, школьников и слушателей курсов.
См. также
Литература
- Анатолий Адаменко, Андрей Кучуков Логическое программирование и Visual Prolog (с CD).. — СПб.: «БХВ-Петербург», 2003. — С. 990. — ISBN 5-94157-156-9
- Иван Братко Алгоритмы искусственного интеллекта на языке PROLOG = Prolog Programming For Artificial Intelligence. — М.: «Вильямс», 2004. — С. 640. — ISBN 0-201-40375-7
- Каймин В.А. Информатика. Учебник для студентов. М.: ИНФРА-М, 1998-2009.
- Каймин В.А. Информатика. Учебник для школьников. М.: Проспект, 2009.
Cсылки
- Пролог и Логическое программирование
- Язык и Интерпретатор Пролога
- Информатика в Школах и Вузах
- Блог: Логика и Пролог в Информатике