AI-2010 Day 06 - part 1(2) (Лекции 2010 года (rtf)), страница 2
Описание файла
Файл "AI-2010 Day 06 - part 1(2)" внутри архива находится в папке "Лекции 2010 года (rtf)". Документ из архива "Лекции 2010 года (rtf)", который расположен в категории "". Всё это находится в предмете "искусственный интеллект" из 7 семестр, которые можно найти в файловом архиве МГУ им. Ломоносова. Не смотря на прямую связь этого архива с МГУ им. Ломоносова, его также можно найти и в других разделах. .
Онлайн просмотр документа "AI-2010 Day 06 - part 1(2)"
Текст 2 страницы из документа "AI-2010 Day 06 - part 1(2)"
Примеры рекомендаций:
(use T1 [ ]) - вызвать теорему с именем T1, а если вызов неуспешен, вызывать все остальные,
(try [NOT T3]) - вызывать все теоремы кроме T3,
(use1) - если найдена одна успешная теорема, отменить все развилки.
Пример определения теоремы типа «при вычеркивании»:
[define КУБИК_ОСВ (erasing (X)
(=ЗАНЯТ= *X)
[assert (=СВОБОДЕН= .X)])]
Если из базы данных вычеркивается утверждение о том, что "поверхность некоторого кубика X занята" (если так, то на него нельзя поставить другой кубик), то автоматически будет вызвана и выполнена эта теорема. Она запишет в базу данных утверждение: "поверхность этого кубика X освободилась" (теперь на него можно поставить другой кубик).
Вызов теорем типа «при вычеркивании» осуществляется с помощью функции change – либо явно: [change pat rec?], либо неявно (из функции erase).
Пример определения теоремы типа «при записи»:
[define ПРИШЕЛ (antec (X Y Z)
(*X =ПРИШЕЛ= *Y)
[search1 (.X =НАХОДИТСЯ_В= *Z)]
[erase (.X =НАХОДИТСЯ_В= .Z)]
[assert (.X =НАХОДИТСЯ_В= .Y)])]
Если в базу данных записывается утверждение о том, что "X пришел в Y (из Z)", то автоматически будет вызвана и выполнена эта теорема. Она найдет в базе данных утверждение о прежнем местонахождении X, вычеркнет это утверждение и запишет, что "X находится вY".
Вызов теорем типа «при записи» осуществляется с помощью функции draw – опять же либо явно: [draw pat rec?], либо неявно (из функции assert).
7
Программное обеспечение работ по ИИ