Практическое занятие №2

МЕТОДИЧЕСКИЕ УКАЗАНИЯ

к практическим занятиям

по дисциплине ____Системы искусственного интеллекта_____

 

 

Актобе, 2012

 

АКТЮБИНСКИЙ УНИВЕРСИТЕТ им. С. БАИШЕВА

 

Кафедра «Автоматизация и информационные системы

 

 

______________Карымсакова А.Е._______________

 

 

МЕТОДИЧЕСКИЕ УКАЗАНИЯ

к практическим занятиям по дисциплине

____ Системы искусственного интеллекта ____

для студентов специальности «Информационные системы»

 

 

Форма обучения: ______ очная______

 

 

Актобе, 2012

 

Карымсакова А.Е.___ Методические указания к практическим занятиям по дисциплине Системы искусственного интеллекта

 

 

Методические указания составлены в соответствии с требованиями учебного плана и программой дисциплины Системы искусственного интеллекта

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

Методические указания предназначены для студентов специальности «Информационные системы».

 

Рецензенты: __Иваницкая Н.В. доцент, к.ф.-м.н. ААЭС ___

_Сеилова Р.Д. доцент, к.ф.-м.н. АУ им. Баишева

________

 

 

© Учебно-методический отдел АУ им. С. Баишева, 2012

 

Практическое занятие №1.

Тема: Предикаты и утверждения разных разностей. Использование правил в запросах. Простые базы данных.

Задание 1.

Внутренняя цель программы "Словарь" скомпонована из двух подцелей. Задачей первой из них является выдача трех синонимов слова brave, задачей второй - выдача антонимов слова rare.

Отметим, что в записи целевого утверждения присутствует ключевое слово and, используемое в качестве разделителя.

 

* Упражнение

 

3.2. Модифицируйте программу из упражнения 3.1 так, чтобы она использовала предикат

 

cities_of_state(state,city1,city2,city3,city4)

/* города страны(страна,город1,город2,город3,город4) */

 

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

Программа "Президенты" (листинг 3.3) демонстрирует использование различных типов объектов. Утверждения данной программы содержат сведения о шести президентах США. Предикат

 

president(name,party,state,birth_year,year_in,year_out)

 

/* президент(имя,партия,штат,год рождения,начальный год

пребывания у власти, конечный год пребывания у власти) */

 

имеет объекты типа символьной строки и типа целого числа, как это видно из раздела программы domains.

 

Задание 2.

Последние три объекта предиката president - целые числа, их доменами являются соответственно birth_year,year_in и year_out. Объявление доменов в разделе программы domains выглядит достаточно просто:

 

birth_year,year_in,year_out = integer

 

Запятая в этом объявлении служит в качестве разделителя при перечислении имен доменов одного типа.

Цель программы на естественном языке можно сформулировать следующим образом: "Выдать место, год рождения, начальный и конечный год пребывания у власти всех президентов-демократов."

Первая подцель содержит свободные переменные Х,S,Yb,Yi и Yo, и значение объекта democrat. (Заметим, что в данном примере имена переменных являются ключом для понимания смысла соответствующих объектов, так, например, Yb - это "year of birth" - год рождения.) Когда программа запускается на счет, свободным переменным присваиваются соответствующие значения из второго утверждения. Следующие пять подцелей включают в себя предикаты write для печати этих значений в разных строках экрана. Результат работы программы можно видеть на рис. 3.7.

Данную программу можно также использовать и при отсутствии внутренней цели, то есть когда опущен раздел goal. Пример возможного диалога с работающей программой показан на рис. 3.8.

 

* Упражнение

 

3.3. Введите программу "Президенты" и убедитесь в том, что на рис. 3.7 действительно был представлен результат ее работы. Модифицируйте программу таким образом, чтобы цель стала внешней, запустите программу на счет и задайте вопрос:

 

president(X,republican,S,Yb,Yi,Yo).

 

На выходе Вы должны получить информацию о всех оставшихся президентах (республиканцах).

 

Листинг 3.1

/* Программа: Словарь Файл: PROG0302.PRO */

/* Назначение: Демонстрация ассоциаций слов при */

/* помощи небольшого словаря. */

 

domains

 

word,

syn1, syn2, syn3,

ant1, ant2, ant3 = symbol

 

predicates

 

synonym(word,syn1,syn2,syn3)

 

antonym(word,ant1,ant2,ant3)

 

goal

 

synonym(brave,S1,S2,S3) and

write("The synonyms for 'brave' are ")

and nl and

write(S1,",",S2,",",S3,".") and nl

and

 

antonym(rare,A1,A2,A3) and

write("The antonyms for 'rare' are")

and nl and

write(A1,",",A2,",",A3,".") and nl.

 

clauses

 

synonym(brave,daring,defiant,courages).

synonym(honest,truthful,open,sincere).

synonym(modern,new,novel,recent).

synonym(rare,uncommon,scarce,infrequent).

 

antonym(brave,cowardly,fearful,timid).

antonym(honest,dishonest,crooked,deceithful).

antonym(modern,ancient,old,obsolete).

antonym(rare,common,ordinary,ubiqutious).

 

/***** конец программы *****/

____________________________

 

Листинг 3.3

/* Программы: Президенты Файл: PROG0303.PRO */

/* Назначение: Демонстрация отношений (предикатов) */

/* и получение информации из БД. */

 

domains

 

name,party,state = symbol

birth_year,year_in,year_out = integer

 

predicates

 

president(name,party,state,

birth_year,year_in,year_out)

 

goal

 

president(X,democrat,S,Yb,Yi,Yo),nl,

write(X," - democrat"),nl,

write("State - ",S),nl,

write("Birth year - ",Yi),nl,

write("Year-in - ",Yi),nl,

write("Year-out - ",Yo),nl,nl.

 

clauses

 

president(eisenhower,republican,texas,

1890,1953,1961).

president(kennedy,democrat,massachusetts,

1917,1961,1963).

president(johnson,democrat,texas,

1908,1963,1969).

president(nixon,republican,california,

1913,1969,1974).

president(ford,republican,nebraska,

1913,1974,1977).

president(carter,democrat,georgia,

1924,1977,1981).

Практическое занятие №2.