В ы с ш е е о б р а з о в а н и е м. П. Лапчик, И. Г. Семакин, Е. К. Хеннер



Pdf көрінісі
бет297/437
Дата23.01.2022
өлшемі32,34 Mb.
#24228
1   ...   293   294   295   296   297   298   299   300   ...   437
Имя  фрейма  =  <слот  1><слот  2>...<слот  N>
Вот  пример фрейма под названием  «Битва»:
Битва  =  < к т о ? Х с   к е м ? х к о г д а ? х г д е ? х р е з у л ь т а т >
Такое  представление  называется прототипом фрейма.  Если же 
в  слоты  подставить  конкретные  значения,  то  получится  экземп­
ляр фрейма. Например:
Битва  =  <Царевич><Кощей  Б е с с м е р т н ы й Х у т р о м Х в   чис­
том  поле><победил>
Слоты  сами  могут быть  фреймами. Таким образом,  возможны 
иерархии  фреймов,  сети  фреймов.  К фреймам  применимо  поня­
тие  наследования свойств. Для реализации моделей  знаний  с  ис­
пользованием  фреймов  хорошо  подходит  технология  объектно- 
ориенированного программирования.
Логическая модель знаний
 представляет собой совокупность ут­
верждений.  О  каждом  утверждении  можно  сказать:  истинно  оно 
или  ложно.  Утверждения  делятся  на  факты  и  правила.  Совокуп­
ность фактов представляет собой базу данных, лежащую в основе 
базы  знаний.  Правила имеют форму «ЕСЛИ А,  ТО  Б»  (здесь есть 
сходство  с  продукционной  моделью).  Механизм  вывода  основан 
на аппарате математической логики  (он называется исчислением 
предикатов первого порядка). Прикладные возможности этой мо­
дели весьма ограничены. Логическая модель знаний лежит в осно­
ве языка  ПРОЛОГ.
ПРОЛОГ  является  языком  логического  программирования. 
Как  известно,  в  программировании  для  ЭВМ  существует  не­
сколько различных направлений  (парадигм):  процедурное  про­
граммирование,  функциональное  программирование,  логичес­
кое программирование, объектно-ориентированное программи­
рование.  В  языке  Пролог  реализована  логическая  парадигма. 
Однако  в  рамках  базового  курса  информатики  использование 
Пролога  очень  ограничено  и  о  программировании,  в  полном 
смысле этого слова, здесь речи не идет.  Пролог рассматривается 
лишь  как средство построения несложных  баз знаний логичес­
кого типа.  При таком  подходе  систему  Пролог можно  рассмат­
ривать  как своеобразную 


Достарыңызбен бөлісу:
1   ...   293   294   295   296   297   298   299   300   ...   437




©emirsaba.org 2024
әкімшілігінің қараңыз

    Басты бет