2010/05/24 14:02:07

Логическое программирование

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

Содержание

Язык и система Пролог

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

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

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

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

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

Базы Знаний

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

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

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

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

Логическая модель знаний

Базы Знаний в Информатике - то совокупность фактов и правил вывода в экспертных системах и системах логического программирования, реализующие осмысленные ответы на вопросы.

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

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

Знания в таких базах представляют конкретные и обобщенные сведения о людях, вещах, событиях, свойствах, процессах и явлениях предметного мира.

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

Базы знаний экспертных систем в этом смысле становятся логическими моделями людей-экспертов, обладающих теми или иными достоверными и недостоверными знаниями.

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

См. также

информатика

логика в информатике

программирование

логическое программирование

методология программирования

Литература

  • Анатолий Адаменко, Андрей Кучуков Логическое программирование и 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сылки