Системы управления знаниями стр.46

Ключевой особенностью ДЛ, отличающей их от предшественников, таких, как семантические сети и фреймы, является то, что это логики, т. е. формальные языки с хорошо определенной семантикой.

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

Так как ДЛ являются формализмами ПЗ и так как в ПЗ обычно предполагается, что система ПЗ всегда должна отвечать на запросы пользователей за разумное время, исследователи процедур логического вывода (ЛВ) в ДЛ заинтересованы в процедурах принятия решений (decision procedures). В отличие, например, от алгоритмов доказательства теорем логик первого порядка (ЛПП), эти процедуры должны всегда завершаться, как при положительных, так и при отрицательных ответах. Так как гарантия ответа в ограниченное время не предполагает, что ответ будет дан через приемлемый интервал времени, то исследование вычислительной сложности в конкретной ДЛ с разрешимыми задачами логического вывода является важной проблемой. Разрешимость и слож ность задач вывода зависит от выразительной силы конкретной ДЛ. С одной стороны, очень экспрессивные ДЛ сталкиваются с задачами вывода высокой сложности, которые могут быть даже неразрешимыми. С другой стороны, очень слабые ДЛ (с эффективными процедурами вывода) могут не обладать достаточной выразительностью для представления важных понятий конкретной прикладной задачи. Определение баланса между выразительностью ДЛ и сложностью их задач вывода является одной из наиболее важных проблем в исследованиях ДЛ.

В дескриптивных логиках:

•    Синтаксическими строительными блоками являются атомарные понятия (унарные предикаты), атомарные роли (бинарные предикаты) и представители (индивидуумы, константы). Роли (свойства, отношения) являются самостоятельными элементами, которые затем могут быть связаны с понятиями.

•    Понятия и роли можно объединяться в выражения для описания более сложных понятий с помощью конструкторов (операций).

•    Между понятиями и между ролями можно задать отношения (какие понятия (роли) являются тождественными, и какие понятия (роли) включают другие понятия (роли)).

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

•    Неявные знания о понятиях и индивидуумах могут быть выведены из явных автоматически с помощью процедур вывода. В частности, важную роль играют отношения включения (родовидовые отношения, subsumption relationships) между понятиями и отношениями экземпляров.

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

4.7.1. Базовые формализмы ДЛ

ДЛ представляют знания о предметной области в виде баз знаний (БЗ). БЗ состоит из двух компонент: TBox и ABox.

• TBox описывает (содержит) терминологию, т.е. словарь интересующей предметной области (домена);

• ABox содержит утверждения о конкретных представителях (individuals) в терминах этого словаря.


⇐ назад к прежней странице | | перейти на следующую страницу ⇒

Читайте также:

AlgoMusic M51 Galaxy - виртуальный инструмент на основе PD-синтеза

Виртуальный инструмент M51 Galaxy позволяет синтезировать "космические" звуки, обладает завораживающим звучанием. Обычно музыканты не очень жалуют инструменты, созданные с помощью SynthEdit. Однако M51, хоть и относится к их числу, действительно очень хорош. Секрет его звучания кроется в оригинальной архитектуре синтеза. На M51 Galaxy распространяется поговорка, что "все новое - это хорошо забытое старое". Идеи, заложенные в M51, уже были успешно реализованы в 80-х годах XX века.

Помоги себе сам

Что может быть обыденней интернета в наши дни? Он стал незаменимой частью жизни всех нас. И это можно понять, ведь с его помощью люди работаю во всевозможных сферах деятельности, является очень эффективным. Но очень часто стоит вопрос о том, с помощью чего лучше всего добиваться лучших результатов и делать это более оперативно и с комфортом.

Яркая жизнь с компьютерными программами

На каждом шагу сегодня мы слышим нарекания на современную молодёжь и её бездеятельность. А ведь и правда – ребят кроме компьютера и досконального его знания мало что интересует и беспокоит, даже будучи на шашлыках, они тянут с собой компьютер и включают музыку либо фильмы. Такая зависимость является страшной для развития человечества в целом хотя б потому что все вокруг становятся замкнутыми и променивают реальный мир на виртуальное общение. Раньше, вспоминают люди постарше, у костра играли на гитаре вживую, ездили в горы с палатками, игрались миниатюрными поездами теперь заменённое компьютерными играми и различными программами симуляторами. Возникает закономерный вопрос – так ли вредны эти самые компьютерные программы и для чего они были созданы.