Определение понятий логического вывода
Особенности организации логического вывода
Примеры использования ПМ
Практические аспекты разработки и внедрения ЭС
Характеристика языка предикатов первого порядка. Особенности представления знаний
Возврат и отсечение
Приемы работы с динамической базой фактов
Стандартные предикаты обработки файлов и техника их использования
Навигация
Стандартные предикаты обработки файлов и техника их использования
Лекции по информатике
83598
знаков
0
таблиц
5
изображений
3. Стандартные предикаты обработки файлов и техника их использования.
Техника работы с файлами в программах
1.Создание файла
domains
file = ff
P2 = integer
Pole, Pole1 = string
predicates
vvod
put
clouses
put if
write (“Введите признак продолжения”),
readint (Pr),
Pr=0
vvod
vvod if
write (“Введите строку”),
readln (Pole), nl,
write (Pole),
concat (Pole, “ \n”, Pole1),
openappend (ff, “text”)
writedevice (ff),
write (pole1),
closefile (ff),
writedevice (screen),
write ( “Строка”, Pole1, “на диск записана”)
В поле м.б. введенозначение предиката-факта, с кот. в дальнейшем м. работать как ср-вами обработки файла, так и ср-вами динам. фаз фактов. Предположим,что в этом примере пользователь ввел значение предиката-факта tmc
tmc ( Post, Kod, Kol, Cena)
2.Обработка фактов из файла
domains
file = ff
data= tmc ( Post, Kod, Kol, Cena)
Post,Kod=string
Kol, Cena=integer
predicates
put
spr
clouses
put if
not (eof (ff)),
spr.
put if
eof(ff),nl,
write (“Работа закончена”),
closefile (ff)
spr if
readterm (data, tmc (Post, Kod, Kol, Cena), nl,
write (post), nl,
put.
goal
openread (ff, “text”),
readdevice (ff),
spr.
3.Модификация данных файла
domains
file=ff
Pr= integer
Pole, Pole1 = string
K = real
predicaes
put
mod
clouses
put if
write ( “Введите признак продолжения”),
readint (P2),
p2 = 0,
mod.
mod if
write (“Введите номер записи”), nl,
readreal (K), nl,
K1=K*12,
openmodify (ff, “text”),
readdevice (ff),
48
filepos (ff,K1,0)
readln (Pole),
write ( “Старое значение”, pole), nl,
writedevice (ff),
filepos (ff,K1,0),
write (Pole1,”\n”),
closefile (ff),
writedevice (screen),
write ( “Новое значение”, Pole1), nl,
readdevice (keybord),
put
goal
mod
ТЕМА: Средства модульного прг-я в ТП
ТП, являясь прообразом языка парал. вычислений, поддерживает стиль модульного проектирования.
Средства ТП для поддержки мод. прог-я следующие:
1.Междумольная информационная связь в П. реализуется кака и в других языках прог-я, через общие переменные. Для этого в связываемых модулях после раздела domains, где описываются те приемы, кот. описываются в разных модулях.
2.Актуализация каждого модуля производится путем вызова соответствующего правила, кот. д.б. известно во всех связывающих модулях в разделе global predicates.
3.Ср-ва обр-ки модульных программ.
3.1.Использование предиката include “ имя программного файла”.
include — используется в том случае, когда к текущей программе на уровне исходного модуля.
Цепочка модулей м.б. сколь угодно длинной, но не д.б. циклов.
“ имя прогр. файла “ м. содержать маршрут поиска файла на диске.
4.project “имя файла-проекта”
Эта дирректива д.б. записана 1-й в тех модулях, кот. необходимо объединить в 1-й загрузочный модуль с именем файла-проекта. По аналогам с разработками Borland, все модули, объед. в проект, компилируется отдельно, а связь происходит на уровне объектных модулей.
ТЕМА: Фреймовые модели представления знаний
1.Особенности представления знаний с помощью фреймов
2.Аппарат логического вывода фреймовой модели
3.Примеры-приложения фреймовой модели
1. Особенности представления знаний с помощью фреймов
Представление знаний с помощью фреймов явл. альтернативным по отнош. к системам продукции и лог. моделям. Оно дает возможность хранить родовидовую иерархию в явной форме.
Фрейм — составная структурная единица, предназначенная для описания относящихся к стериотипной ситуации на объекте
Осн. элемент единиц фрейма явл. слот, кот. исп. для хранения единичного знания. Станд. стр-ра слота след.:
{ имя слота; <f1> <S1>;...<fm> <Sm>; <q1> <q2>...<qn>.}
fi — имя атрибута, характерного для слота
Si — значение атрибута
qi — ссылки на другие слоты или фреймы
Стр-ра слота след-я:
имя файла
имя слота1 значение слота1
имя слота n значение слота n
Если стр-ра знаний позволяет, то при описании нужно исп-ть простые слоты, т.е. слоты, кот. имеют одно значение. Значением слота м.б. не т. константа или ссылка на др. фрейм , но и функция, кот. требует определенной детализации в процессе решения. Т. функции получили название фасет .
Фреймы-прототипы — это готов. стр-ры для описания законов опр. п/о. В них отсутствуют конкр. значения слотов. При заполнении слотов конкр. значениями, они превращаются в конкретные фреймы. Часто в системах фреймы исп-ся для стереотипных послед-й действий и тогда они наз. сушариями.
При заполнении фреймов -прототипов, часть слотов м. оставаться пустой фреймовой стр-ры дают воз-ть описывать объекты разного уровня иерархии, кот. явл. ключевым понятием.
Иерархия объектов реализуется через аппарат исследования свойств, когда классы объектов определенного уровня наследуют строения классов фреймов более высокого уровня. Если объект, кот. описывается некоторой группой фреймов находится в концептуальной связи с верхним и нижним уровнями фреймов, то соотв. ему фреймы конструируются с учетоми иерархических отношений и при этом наследование свойств осущ. через слоты или фреймы с одинаковым именем.
2. Аппарат логического вывода фреймовой модели
Логический вывод во фреймовой системе осущ. путем обмена сообщениями между фреймами разного уровня иерархии, вначале получает управление корневой фрейм, далее динам. формируется необходимая для реализации запросов цепочка фреймов след. уровня иерархии. Т.о. во фреймовой системе каждому из фреймов задается строго опр-е.
Основной операцией при работе с фреймами явл. поиск по образцу. В рамках фреймовой модели образец — это фрейм, в кот. заполнены не все стр. ед-цы, а т. те, кот. б. использованы в качестве ключа для реализации действий в конкр. фреймах.
Используются спец. процедуры наполнения слотов спец. значениями, а т. введение в систему новых фреймов-прототипов и новых связей между ними.
3. Примеры-приложения фреймовой модели
В наст. время фреймовая модель явл. основой всех объектно-ориентированных систем прог-я. В качестве наиболее популярных приложений м. назвать языки FRL,KRL, FSM, Small Talk, а также дополнения к процедурным языкам: C++, Delphi и т.д.
FRL
Реализован на базе языка LISP.
Каждый фрейм предст. собой станд. стр-ру с мах степенью вложенности <=5. Стр-ра фрейма след-я:
(имя фрейма
(имя первого слота
(имя первой ячейки
(первый коментарий)
(второй коментарий)...
(i-й коментарий))
(имя второй ячейки
(...
))
(имя второго слота
(...
))
Для указания местоположения некот. порции информации во фрейме путь
Похожие работы
... таблицами стилей style.css. Выделить главную страницу не представляется возможным, так как они все равнозначны. Но при этом можно выделить логически первую, которая содержит общую информацию по истории кафедры информатики и вычислительной техники. Она имеет имя index.html; ссылка на нее содержится в первом пункте меню. С этой страницы, как и с любой другой одинаково доступны все остальные (рис. ...
... эти описанные выше файлы и папки нужны для запуска проекта и, удалять их не стоит. Глава 3. Инструкция пользователя 3.1 Вход в систему Для наглядного изучения основам пользования электронного учебника, рассмотрим файлы, которые его составляют. В папке INf_html, в файле infsoderganie.html заключается основной текст содержания. Дальше использую навигацию внутри каждой страницы в Internet ...
... изучении раздела «Информационная деятельность человека» предмета «Информатика и ИКТ»» § 2.1. Описание методики использования технологии электронного обучения при изучении раздела «Информационная деятельность человека» предмета «Информатика и ИКТ» (для 10-11 классов информационно-технологического профиля) Прежде, чем подходить к представлению методики использования СДО Moodle, необходимо ...
... , изменяя представление о мире, обязывают повышать ответственность медицины перед обществом. В данной работе рассматривался процесс создания интернет-ресурса для системы дистанционного образования по курсу «Медицинская информатика». В работе приведено обоснование необходимости в применении средств дистанционного обучения для сотрудников медучреждений Тульской области, предложена структура ...
0 комментариев