Заглавная страница Избранные статьи Случайная статья Познавательные статьи Новые добавления Обратная связь КАТЕГОРИИ: АрхеологияБиология Генетика География Информатика История Логика Маркетинг Математика Менеджмент Механика Педагогика Религия Социология Технологии Физика Философия Финансы Химия Экология ТОП 10 на сайте Приготовление дезинфицирующих растворов различной концентрацииТехника нижней прямой подачи мяча. Франко-прусская война (причины и последствия) Организация работы процедурного кабинета Смысловое и механическое запоминание, их место и роль в усвоении знаний Коммуникативные барьеры и пути их преодоления Обработка изделий медицинского назначения многократного применения Образцы текста публицистического стиля Четыре типа изменения баланса Задачи с ответами для Всероссийской олимпиады по праву Мы поможем в написании ваших работ! ЗНАЕТЕ ЛИ ВЫ?
Влияние общества на человека
Приготовление дезинфицирующих растворов различной концентрации Практические работы по географии для 6 класса Организация работы процедурного кабинета Изменения в неживой природе осенью Уборка процедурного кабинета Сольфеджио. Все правила по сольфеджио Балочные системы. Определение реакций опор и моментов защемления |
I) ни один Человек не является островом. (джон донн (john donne))
II) Человек, который живет где-нибудь, живет везде. (Тацит) III) Прошлое — это иная страна. В нем все происходит по-другому. (Л. П. Хартли (L. P. Hartley)) 4. Следующая формула утверждает, что кто-то бреет себя сам или парикмахер бреет кого-то: бреет) X, X), бреет (парикмахер, X) <— I) Используя обратную стратегию, покажите, что из этой формулы следует бреет (парикмахер, парикмахер) <- II) То же самое покажите с помощью прямой стратегии. III) Как вы понимаете в том же контексте следующую фразу: <- бреет(У, Y), бреет (парикмахер, У) IV) Покажите, что следующие фразы противоречивы. Для этого достаточно показать, что из них следует пустая фраза: Бреет(Х, X), бреет (парикмахер, X) <-<- бреет(У, Y), бреет (парикмахер, Y) Ниже представлены правило поиска неисправности и описание конкретной ситуации. Если компьютер не включается и напряжение в сети питания в норме, то оборван шнур питания или неисправен блок питания. Мой компьютер не включается. Напряжение в сети питания в норме. Шнур питания не оборван. I) Выразите эти предложения в форме логики предикатов. II) Постройте конъюнктивную нормальную форму. III) Используя прямую стратегию доказательства, покажите, что утверждение "Неисправен блок питания" логически вытекает из приведенного набора фактов. То же самое покажите с использованием обратной стратегии доказательства. 6. Предположим, что в синтаксисе языка PROLOG цель сформулирована следующим образом:- bachelor (f red). I) К какому заключению придет приведенная ниже PROLOG-программа относительно семейного положения человека по имени Fred? man(fred). Man(george). wife(george, georgina). Bachelor(X):- not(wife(X, Y)). not(P):- call(P),!, fail. Not(P). II) К какому заключению придет приведенная ниже PROLOG-программа? man(fred). Man(george). wife(george, georgina). Bachelor(X):- not(wife(X, Y)). (wife(X, Y):-!, fail. (wifeffred, freda). 7. Предположим, что в синтаксисе языка PROLOG цель сформулирована следующим образом:- enemy(fred). I) К какому заключению придет приведенная ниже MBASE-программа относительно человека по имени Fred? DBC(friend (george)). republican(fred). Enemy(X):- not(DBC(friend(X))). Friend(X)):- republican(X). not(P):- call(P),!, fail. Not(P). II) К какому заключению придет приведенная ниже MBASE-программа? DBC(friend (george)).
Enemy(X):- not(DBC(friend(X))). friend(X)) :- not(communist(X)). not(P) :- call(P),!, fail. not(P). Ниже приведена программа на языке PROLOG, в которой идентифицируется подмножество лиц, имеющих право работать в службе обеспечения общественного порядка штата Нью-Йорк. Вы можете ввести эту программу в исполнительную систему PROLOG и поэкспериментировать с ней. Затем попробуйте добавить в программу новое правило, касающееся еще одной категории служащих. Деревенские констебли, назначенные с условием, что это не противоречит законам штата. Данные для тестирования этого правила включены в раздел фактов программы. / Правила для сотрудников службы общественного порядка / / Шериф и заместитель шерифа округа Нью-Йорк / / The sheriff and deputy sheriff of NYC / Po(X):- (sheriff(X); deputy(X)), jurisdiction(X, nyc). / Сотрудники службы охраны порядка Округа Уэстчестер, принятые на Работу после 1982 года, которые Выполняют функции, ранее возлагавшиеся на шерифа округа Уэстчестер / / Officers of Westchester country Public safety services appointed After 1982 who perform functions Previously performed by a Westchester country sheriff on or prior to such date / Po(X):- SafetyOfficer(X), jurisdiction(X, Westchester), appointed(X, Date), Date > 1982. / ФАКТЫ / / Wayne, Doug, Ken и Pete - некоторые лица. /. Sheriff(wayne). jurisdiction(wayne, nyc). deputy(doug), jurisdictionfdoug, nyc). Constable(ken), jurisdiction(ken, naples). Village(naples). RuledOut(constable, naples). SafetyOfficer(pete) jurisdiction(pete, Westchester). Appointed(pete, 1990). 9. Запишите программу из упр. 8 на языке CLIPS. Сравните оба варианта программы.
|
|||||
Последнее изменение этой страницы: 2021-07-18; просмотров: 112; Нарушение авторского права страницы; Мы поможем в написании вашей работы! infopedia.su Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Обратная связь - 3.137.143.219 (0.006 с.) |