Вопросы и упражнения

1.Что такое искусственный интеллект?

2.Какая черта присуща агенту?

3.Что такое среда и какие бывают среды?

4.выберите одну из известных Вам сред. Отнесите её к одному из типов и определите, какой агентов наиболее подходит для Вашей среды и почему?

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

а)всегда использовать тормоза при спуске под гору, если впереди двигается другой автомобиль, а скорость вашего автомобиля такова, что Вы его нагоняете;

б)никогда не использовать тормоза при спуске, тормозить только двигателем;

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

6.Объясните понятия микровосприятие, микроситуация, микрореакция, восприятие, реакция агента?

7.Что такое знания агента? Как они могут быть представлены?

8.Что делает решатель агента?

9.Что такое состояние среды и чем оно отличается от восприятия?

10.Что такое цель агента? Чем отличается целенаправленный агент от целевыбирающего?

11.Из каких двух главных частей состоит агент?

12.Используя таблицу истинности, докажите общезначимость следующего закона логики высказываний .

13.Используя таблицу истинности, докажите общезначимость следующего закона логики высказываний .

14.Используя таблицу истинности, докажите общезначимость следующего закона логики высказываний .

15.Используя таблицу истинности, докажите общезначимость следующего закона логики высказываний .

16.Используя таблицу истинности, докажите общезначимость следующего закона логики высказываний .

17.Используя таблицу истинности, докажите общезначимость следующего закона логики высказываний .

18.Используя таблицу истинности, докажите общезначимость следующего закона логики высказываний .

19.Определите, к какому типу (общезначимых, выполнимых или невыполнимых) относятся следующие формулы и докажите это, используя таблицы истинности или соответствующие формулы Умный  Умный.

20.Определите, к какому типу (общезначимых, выполнимых или невыполнимых) относятся следующие формулы и докажите это, используя таблицы истинности или соответствующие формулы Умный  Дурак.

21.Определите, к какому типу (общезначимых, выполнимых или невыполнимых) относятся следующие формулы и докажите это, используя таблицы истинности или соответствующие формулы (Умный  Дурак)( Умный Дурак).

22.Определите, к какому типу (общезначимых, выполнимых или невыполнимых) относятся следующие формулы и докажите это, используя таблицы истинности или соответствующие формулы Умный Дурак Дурак.

23.Определите, к какому типу (общезначимых, выполнимых или невыполнимых) относятся следующие формулы и докажите это, используя таблицы истинности или соответствующие формулы Умный Дурак Дурак.

24.Определите, к какому типу (общезначимых, выполнимых или невыполнимых) относятся следующие формулы и докажите это, используя таблицы истинности или соответствующие формулы (Умный Способный) Дурак (Умный Дурак) (Способный Дурак).

25.Определите, к какому типу (общезначимых, выполнимых или невыполнимых) относятся следующие формулы и докажите это, используя таблицы истинности или соответствующие формулы (Умный   Дурак) ((Умный  Способный)   Дурак).

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

а) ; б) ; в) .

27.Агент играет роль швейцара в отеле. В его обязанности входит открыть дверь отеля перед клиентом; помочь ему донести багаж до стойки администратора, если у клиента есть багаж; открывать двери автомобиля, подъехавшего к отлею, если он в это время свободен от других обязанностей, т.е. цель швейцара - обслужить всех клиентов. Сформулируйте постановку задачи для среды клиента в пространстве состояний, если начальным состоянием среды является состояние, в котором одновременно к дверям отеля подошёл клиент без багажа и подъехал автомобиль.

28.Представьте на языке логики предикатов следующее предложение русского языка: не все студенты любят математику и физику.

29.Представьте на языке логики предикатов следующее предложение русского языка: только один студент любит историю.

30.Представьте на языке логики предикатов следующее предложение русского языка: только один студент любит как историю, так и электронику.

31.Представьте на языке логики предикатов следующее предложение русского языка: отставание по истории легче устранить, чем отставание по электронике.

32.Представьте на языке логики предикатов следующее предложение русского языка: любой охотник, не употребляющий дичь в пищу, вызывает удивление.

33.Представьте на языке логики предикатов следующее предложение русского языка: известны женщины, которые любят мужчин, не являющихся охотниками.

34.Представьте на языке логики предикатов следующее предложение русского языка: живёт в городе охотник, который знаком со всеми мужчинами-охотниками этого города.

35.Представьте на языке логики предикатов следующее предложение русского языка: никто не любит охотника, который убивает дичь ради развлечения.

36.Запишите условное предложение русского языка в виде правил логики предикатов: если Вы любите детективы, то сегодня вечером можете посмотреть прекрасный фильм из этой серии.

37.Запишите условное предложение русского языка в виде правил логики предикатов: по утрам подают кофе и бутерброды с ветчиной.

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

39.Запишите условное предложение русского языка в виде правил логики предикатов: я её одновременно люблю и ненавижу.

40.Запишите условное предложение русского языка в виде правил логики предикатов: если бы вы вовремя ушли с работы, вы бы успели к ужину. если бы вы успели к ужину, то попробовали бы прекрасное мороженое. Если бы вы попробовали это мороженое, то всегда бы уходили с работы вовремя.

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

42.Имеем среду, которая состоит из стола и кубиков на нём. Каждый из кубиков может лежать либо непосредственно на столе, либо на одном из других кубиков, образуя с кубиками, лежащими под ним, столбик. Столбики могут быть любой высоты. Сформулируйте на языке логики предикатов постановку задачи, исходя из следующих условий:

а)кубик лежит на кубике , кубик на кубике , а кубик на столе;

б)единственное действие, которое может совершать в среде кубиков - это перемещать один кубик, на котором ничего не лежит, на стол или на другой кубик, если он свободен от кубиков сверху;

в)необходимо перевернуть столбик из кубиков, используя это действие;

г)покажите формально, как получается решение в вашей постановке задачи.

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

44.Для данной пары атомов приведите наиболее общую подстановку:

.

45.Для данной пары атомов приведите наиболее общую подстановку:

.

46.Для данной пары атомов приведите наиболее общую подстановку:

.

47.Для данной пары атомов приведите наиболее общую подстановку:

.

48.Для данной пары атомов приведите наиболее общую подстановку:

.

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

собаки, кошки и козы являются животными.

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

котёнок является потомком кота и кошки.

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

Васька является котом и отцом котёнка.

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

каждая кошка имеет родителей.

53.Каким образом резолюция может быть использована для доказательства того, что формула является общезначимой?

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

55.Известны истинные утверждения "Воробей имеет крылья", "Воробей несёт яйца" и "Если животное имеет крылья и несёт яйца, то эта птица". Требуется доказать утверждение "Воробей является птицей". Для этого выполните следущее:

а)переведите эти утверждения на язык логики предикатов первого порядка, выделив все необходимые группы формул, включая целевую;

б)сделайте опровержение целевой функции;

в)переведите все формулы в клаузальную форму;

г)Используя резолюцию, докажите (выведите) истинность целевой формулы.

56.В среде кубиков начальное состояние показано на рис. 11.1. Целевое состояние должно быть таким, чтобы кубики в обоих столбиках поменялись местами. Для этого выполните следующее:

а)переведите все необходимые для вывода формулы в язык предикатов первого порядка;

б)используя модус поненс, выведите целевую формулу, используя прямой вывод;

в)используя резолюцию, выведите целевую формулу, используя прямой вывод;

г)используя резолюцию и опровержение, докажите истинность целевой формулы, используя обратный вывод;

д)сравните число шагов, требуемые для каждого типа вывода.

57.Распишите подробно вывод формулы (10.100) в примере со средой чудовища

находится (Агент, 2,1)  ориентация (2,2) 

  находится (Чудовище, 2,2) 

  находится (Яма, 2,2).

ОГЛАВЛЕНИЕ

1	Искусственный интеллект
2	Агенты – носители искусственного интеллекта
3	Среды и агенты

БИБЛИОГРАФИЧЕСКИЙ СПИСОК

1.Энциклопедия кибернетики. В 2-х томах. Т.1. – Киев: Главная редакция УСЭ, 1974. – 608 с.

2.Справочник по теории автоматического управления/Под ред А.А. Красовского. – М.:Наука, 1987. – 712 с.