20

Содержание

ВВЕДЕНИЕ 3

Раздел 1 4

Алгоритм сопоставления с образцом 4

1.1.Теоретическая часть 4

1.2.Практическая часть 5

Раздел 2 7

ИССЛЕДОВАНИЕ СЕМАНТИЧЕСКИХ СЕТЕЙ 7

2.1. Теоретическая часть 7

2.2. Практическая часть 7

Раздел 3 9

Исследование сети фреймов 9

3.1. Теоретическая часть 9

3.2. Практическая часть 10

ВЫВОДЫ 11

СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ 12

ПРИЛОЖЕНИЕ А 13

ПРИЛОЖЕНИЕ В 16

ПРИЛОЖЕНИЕ С 18

Введение

Актуальность. Разработка программного обеспечения для компьютеров в настоящее время производится почти исключительно при помощи языков программирования высокого уровня. Данные языки представляют собой систему мнемонических обозначений с жестко заданными синтаксисом и семантикой, которые понятны человеку и преобразуются в последовательность машинных команд при помощи специальной программы-транслятора.

Область внедрения. Первые области применения Лиспа были связаны с символьной обработкой данных и процессами принятия решений.

Наиболее популярный сегодня диалект Коммон Лисп является универсальным языком программирования.

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

Целью работы является получение практических навыков разработки программ на языках систем искусственного интеллекта – ЛИСП.

Основные задачи:

• исследовать алгоритм сопоставления с образцом;

• исследовать способы представления знаний;

• исследовать представление знаний фреймами.

Структура работы. Данная работа состоит из введения, трех разделов, выводов и списка литературы.

В первом разделе исследуется алгоритм сопоставления с образцом.

Во втором разделе исследуются способы представления знаний.

В третьем разделе исследуется представление знаний фреймами.

Раздел 1 Алгоритм сопоставления с образцом

Цель работы: Исследование алгоритма сопоставления с образцом. Программирование алгоритма сопоставления с образцом на языке ЛИСП.

1. Теоретическая часть

1.Образцы отличаются от атомов применением условных обозначений в виде символов * и &.

Символу * можно поставить в соответствие любой атом из факта, находящийся на том же месте, но только один;

Символу & можно поставить в соответствие один или несколько элементов из факта, в том числе и пустой элемент.

Образец – понятие, которое применяется для условных обозначений в виде символов: * и &

Символу * можно поставить в соответствие любой атом из факта, находящийся на том же месте, но только один;

Символу & можно поставить в соответствие один или несколько элементов из факта, в том числе и пустой элемент.

2.ОБРАЗЕЦ сопоставим с ФАКТОМ при следующих условиях (здесь знак :=: обозначает сопоставимость); все пункты алгоритма связаны между собой связкой “или”.

1)IF (ОБРАЗЕЦ=NIL) AND (ФАКТ=NIL), то ОБРАЗЕЦ=ФАКТ

OR

2)IF (ОБРАЗЕЦ<>NIL) AND ((CAR ОБРАЗЕЦ)=&) AND

(ФАКТ=NIL),то (CDR ОБРАЗЕЦ)=NIL

OR

3)IF (ОБРАЗЕЦ<>NIL) AND (ФАКТ<>NIL) AND

((CAR ОБРАЗЕЦ)=(CAR ФАКТ)) AND

((CDR ОБРАЗЕЦ):=:(CDR ФАКТ)),то

ОБРАЗЕЦ и ФАКТ сопоставимы

OR

4)IF (ОБРАЗЕЦ<>NIL) AND (ФАКТ<>NIL) AND ((CAR ОБРАЗЕЦ)=*)

AND ((CDR ОБРАЗЕЦ):=:(CDR ФАКТ)), то

ОБРАЗЕЦ и ФАКТ сопоставимы

OR

5)IF (ОБРАЗЕЦ<>NIL) AND (ФАКТ<>NIL) AND ((CAR ОБРАЗЕЦ)=&)

AND ((CDR ОБРАЗЕЦ):=:ФАКТ), то

ОБРАЗЕЦ и ФАКТ сопоставимы

OR

6)IF (ОБРАЗЕЦ<>NIL) AND (ФАКТ<>NIL) AND ((CAR ОБРАЗЕЦ)=&)

AND (ОБРАЗЕЦ:=:(CDR ФАКТ), то

ОБРАЗЕЦ и ФАКТ сопоставимы