Лекции - Системы искусственного интеллекта
Подождите немного. Документ загружается.
родителями, сестрами, братьями, дочерьми, сыновьями,
зятьями, дядями и тетями.
42.Имеем среду, которая состоит из стола и кубиков на
нём. Каждый из кубиков может лежать либо непосредственно на
столе, либо на одном из других кубиков, образуя с кубиками,
лежащими под ним, столбик. Столбики могут быть любой высоты.
Сформулируйте на языке логики предикатов постановку задачи,
исходя из следующих условий:
а)кубик
A
лежит на кубике
B
, кубик
B
на кубике
C
, а
кубик
C
на столе;
б)единственное действие, которое может совершать в среде
кубиков - это перемещать один кубик, на котором ничего не
лежит, на стол или на другой кубик, если он свободен от
кубиков сверху;
в)необходимо перевернуть столбик из кубиков, используя
это действие;
г)покажите формально, как получается решение в вашей
постановке задачи.
43.Дополните постановку задачи, которая рассмотрена для
среды чудовища, аксиомами, которые учитывают возможность
совершения агентом выстрела из лука и поражения чудовища,
если агент стоит к нему лицом к соседней ячейке и в ней нет
сквозняка. Объясните, как в этом случае может измениться
стратегия движения агента при условии, что после поражения
чудовища зловоние, исходящее от него, исчезает.
44.Для данной пары атомов приведите наиболее общую
подстановку:
),,(),,,( zDxGDC
.
45.Для данной пары атомов приведите наиболее общую
подстановку:
)),(,()),,(,( zxFyBAFy
.
46.Для данной пары атомов приведите наиболее общую
подстановку:
)),((),),(( CxFyxF
.
47.Для данной пары атомов приведите наиболее общую
подстановку:
),),((),,),(( yyyFxxxF
.
48.Для данной пары атомов приведите наиболее общую
подстановку:
))(),,((()),(),,((( yHBxGFzHyxGF
.
111
49.Запишите аксиомы логики предикатов первого порядка,
достаточные на ваш взгляд для вывода с помощью обобщенного
правила модус поненс следующей теоремы:
собаки, кошки и козы являются животными.
50.Запишите аксиомы логики предикатов первого порядка,
достаточные на ваш взгляд для вывода с помощью обобщенного
правила модус поненс следующей теоремы:
котёнок является потомком кота и кошки.
51.Запишите аксиомы логики предикатов первого порядка,
достаточные на ваш взгляд для вывода с помощью обобщенного
правила модус поненс следующей теоремы:
Васька является котом и отцом котёнка.
52.Запишите аксиомы логики предикатов первого порядка,
достаточные на ваш взгляд для вывода с помощью обобщенного
правила модус поненс следующей теоремы:
каждая кошка имеет родителей.
53.Каким образом резолюция может быть использована для
доказательства того, что формула является общезначимой?
54.Каким образом резолюция может быть использована для
доказательства того, что формула является выполнимой?
55.Известны истинные утверждения "Воробей имеет крылья",
"Воробей несёт яйца" и "Если животное имеет крылья и несёт
яйца, то эта птица". Требуется доказать утверждение "Воробей
является птицей". Для этого выполните следущее:
а)переведите эти утверждения на язык логики предикатов
первого порядка, выделив все необходимые группы формул,
включая целевую;
б)сделайте опровержение целевой функции;
в)переведите все формулы в клаузальную форму;
г)Используя резолюцию, докажите (выведите) истинность
целевой формулы.
56.В среде кубиков начальное состояние показано на рис.
11.1. Целевое состояние должно быть таким, чтобы кубики в
обоих столбиках поменялись местами. Для этого выполните
следующее:
а)переведите все необходимые для вывода формулы в язык
предикатов первого порядка;
б)используя модус поненс, выведите целевую формулу,
используя прямой вывод;
в)используя резолюцию, выведите целевую формулу,
используя прямой вывод;
г)используя резолюцию и опровержение, докажите истинность
целевой формулы, используя обратный вывод;
д)сравните число шагов, требуемые для каждого типа
вывода.
112
57.Распишите подробно вывод формулы (10.100) в примере со
средой чудовища
).( 10010
находится ( Агент, 2,1) ориентация (2,2)
находится (Чудовище, 2,2)
находится (Яма, 2,2).
ОГЛАВЛЕНИЕ
1 Искусственный интеллект
2 Агенты – носители искусственного
интеллекта
3 Среды и агенты
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1.Энциклопедия кибернетики. В 2-х томах. Т.1. – Киев:
Главная редакция УСЭ, 1974. – 608 с.
2.Справочник по теории автоматического управления/Под ред
А.А. Красовского. – М.:Наука, 1987. – 712 с.
113