Microsoft Word Книга иис мггу 1 Print doc

разделение знаний на: 
- интенсиональные, 
- экстенсиональные.
Экстенсиональная семантическая сеть 
(
или К-сеть
)
содержит 
информацию о фактах, о конкретных объектах, событиях, действиях.
Интенсиональная семантическая сеть 
(
или А-сеть
)
содержит 
информацию о закономерностях, потенциальных взаимосвязях между 
объектами, неизменяемую информацию об объектах, т.е. модель мира. 
Экстенсиональные (конкретные) знания создаются и обновляются в 
процессе работы с банком данных, а интенсиональные (абстрактные) 
изменяются редко. Первые можно назвать экземпляром, а последние – 
моделью (схемой) базы данных. 
Запрос к банку знаний, обрабатываемый системой управления базой 
знаний, представляет собой набор фактов (ситуацию), при описании которого 
допускается использование переменных вместо значений атрибутов, имен 
понятий, событий и отношений. Запрос можно представить в виде графа, в 
котором вершины, соответствующие переменным, не определены. Поиск 
ответа сводится к задаче изоморфного вложения графа запроса (или его 
подграфа) в семантическую сеть. 
Запрос на существование не содержит переменных и требует ответа типа 
ДА, если изоморфное вложение графа запроса в семантическую сеть удалось, 
и НЕТ – в противоположном случае. При обработке запроса на перечисление 
происходит поиск всех возможных изоморфных графу запроса подграфов в 

---

71 
семантической сети, а также присваивание переменным в запросе значений 
из найденных подграфов. 
Кроме того, на семантических сетях можно использовать методы 
доказательства, используемые в логике предикатов, т.к. семантическая сеть 
легко преобразуется в логику предикатов 1-го порядка (каждое ребро можно 
представить в виде бинарного предиката). 
Достоинством семантических сетей является их универсальность, 
достигаемая за счет выбора соответствующего применению набора 
отношений. В принципе с помощью семантической сети можно описать 
сколь угодно сложную ситуацию, факт или предметную область. 
В виде семантической сети можно представить псевдофизическую 
логику. 
С другой стороны, семантическую сеть можно записать в виде набора 
предикатов 1-го порядка. В этом случае именами предикатов будут являться 
имена отношений (ребер графа), а атрибутами – связываемые отношением 
узлы семантической сети. 
Недостатком 
семантических 
сетей 
является 
их 
практическая 
необозримость при описании модели мира реального уровня сложности. При 
этом появляется проблема размещения семантической сети в памяти ЭВМ. 
Если ее размещать всю в оперативной (виртуальной) памяти, на ее сложность 
накладываются жесткие ограничения. Если размещать во внешней памяти, 
появляется проблема, как подгружать необходимые для работы участки.