Главная Обратная связь

Дисциплины:

Архитектура (936)
Биология (6393)
География (744)
История (25)
Компьютеры (1497)
Кулинария (2184)
Культура (3938)
Литература (5778)
Математика (5918)
Медицина (9278)
Механика (2776)
Образование (13883)
Политика (26404)
Правоведение (321)
Психология (56518)
Религия (1833)
Социология (23400)
Спорт (2350)
Строительство (17942)
Технология (5741)
Транспорт (14634)
Физика (1043)
Философия (440)
Финансы (17336)
Химия (4931)
Экология (6055)
Экономика (9200)
Электроника (7621)






Раздел 2. Логическое программирование



 

Лабораторная работа №1: факты, цели (вопросы)

 

Методические указания

 

1) Запишите Пролог-программу из трёх основных фактов,

соответственно варианту Вашего задания.

2) Поставьте вопросы:

а) простые основные,

б) простой 'неосновной',

в) конъюнктивные основные,

г) конъюнктивный неосновной,

д) основные, из двух конъюнктов,

е) неосновной, из двух конъюнктов.

3) Определите разницу при ответах на простой основной и

простой неосновной вопросы.

 

Примечания

 

1) Номер варианта (N) равен порядковому номеру студента в списке группы.

2) Срок выполнения - 1,2-ая недели семестра.

3) Отчёт по выполнению лабораторной работы оформляется и защищается после чтения лекций на тему "исчисления высказываний" и должен содержать

a) файл Lab_1_N.pro с комментариями,

b) формулы исчисления высказываний (ИВ), интерпретирующие

Пролог - программы (для вопросов а), в) и д)) и классы

этих формул, определив их следующими тремя методами:

1. с помощью таблицы истинности,

2. приведением к конъюнктивной нормальной форме(КНФ),

3. методом резолюций.

 

Постановка задачи

Записать программу, состоящую из 3-х основных фактов, соответственно варианту задания.

 

Варианты и пример факта задач

 

1. Вид и цена шоколада chocolate(“Алёнка”,16.50)

2. Начало занятий в институте begin(monday, 9.15)

3. Любимое занятие студента hobby(“Антон”, “марки”)

4. Расписание лабораторных работ lab(“Физика”, tuesday)

5. Спектакль в театре theatre(“Ленком”, ”Фигаро”)

6. Адрес института institute(“Мирэа”, ”Проспект Вернадского”)

7. Театральная премьера first(“Щелкунчик”, ”Большой театр”)

8. Произведение поэта poem(“Лермонтов”, ”Мцыри”)

9. Порода и кличка собаки dog(“пудель”, ”Джой”)

10. Имя и фамилия студента student(“Голубев”, ”Алексей”)

11. Фамилия лектора lecturer(“История”, ”Ключевский”)

12. Юбилей гражданина jubilee(“Ельцин”,70)

13. Марка и цвет автомобиля auto(“Моквич”,brown)

14. Количество человек в семье family(“Сидоровы”,4)

15. Марка и размер монитора monitor(samsung,15)

16. Количество книг по предмету book(“Физика”, 3)

 

 

Лабораторная работа №2: правила

 

Методические указания

 

1) Составьте первую Пролог-программу по варианту Вашего задания,

с использованием трёх правил.

2) Поставьте вопросы:



а) простой 'неосновной',

б) конъюнктивные 'неосновной',

в) 'неосновной' из двух конъюнктов (содержит операцию ';'(or)).

3) Составьте вторую Пролог-программу с использованием одного правила.

Тело правила состоит из трёх конъюнктов (содержит две операции ';'(or)).

4) Поставьте вопросы пункта 2.

5) Определите, существует ли разница в ответах на одни и те же вопросы

двух Пролог - программ.

 

Примечания

 

1) Номер варианта (N) равен порядковому номеру студента в списке группы.

2) Срок выполнения - 3,4-ая недели семестра.

3) Отчёт по выполнению лабораторной работы оформляется и защищается

после чтения лекций по соответствующей теме и должен содержать:

a) файл Lab_2_N.pro с комментариями,

b) формулу исчисления предикатов (ИП), интерпретирующую

простой неосновной вопрос раздела цели Пролог - программы,

 

 

Постановка задачи

Дано x. Определить y соответственно варианту задачи. x,y - вещественные числа.

 

Варианты задачи

 

x >0.1 0.1 ³ x ³0 x <0 1 lnÖ`x cos x round(ex) 2 Ö` e1.5x sin x +2.8 arctg êx ê 3 ln3x tg 2x 1.7 + x3
x>0.7 0.7 ³ x ³0 x <0 4 sin 6x 3x – 7.2 Ö`2`+`x 2 5 sinÖ`0.5`+`x` ln x2 ½x3 - 1.9½ 6 4Ö`ex arctg x trunc(x)
x>0.5 0.5 ³ x ³0 x <0 7 (x-1)x tg sin(4x/3) x ln½x½ 8 lg½x - 4.3½ x7 - x6 round(x) 9 ctg 2x 4Ö`x3 lg(x2+1)
x>0.8 0.8 ³ x ³0 x <0 10 ctg x Ö`x tg cos x ln x4 11 lg(x - 1)2 4.3-sinÖ`1`+`x ½x ½ 12 3x - Ö`x trunc(x2-2) lg ½cos x½
x>0.6 0.6 ³ x ³0 x <0 13 arctg(x-0.7) ln ½1.5- x½ esinx 14 e-x ctg cos(x/2) round(x2sinx) 15 ½ctg x½ ln(x+Ö`1`+`x2 ) sin 2x

 



Примечание

 

В Vigual и PDC Prolog имеются следующие встроенные функции:

abs(X) - X³0 ® X;-X;

cos(X),sin(X),tan(X) - X представлено в радианах;

arctan(X) - X вещественное;

exp(X) - возводит e в степень X;

ln(X) - логарифм из X по основанию e;

log(X) - логарифм из X по основанию 10;

sqrt(X) - корень квадратный из X;

round(X) - округляет значение X;

trunc(X) - усекает X (отбрасывает дробные разряды);

random(X) - конкретизирует X случайным вещественным числом; 0£X<1;

random(X,Y) - конкретизирует Y случайным целым числом; 0£Y<X.

 

 

Лабораторная работа №3: домены

 

Методические указания

 

Составьте две Пролог - программы:

а) первая программа (варианты 1 ¸ 18) соответствует варианту Вашего задания,

б) вторая программа (варианты 19 ¸ 36) соответствует варианту Вашего задания + 18.

 

Примечания

 

1) Номер варианта (N) равен порядковому номеру студента в списке группы.

2) Срок выполнения - 5,6-ая недели семестра.

3) Отчёт по выполнению лабораторной работы оформляется и защищается

после чтения лекций по соответствующей теме и должен содержать:

a) файлы Lab_3a_N.pro и Lab_3b_N.pro с комментариями;

b) для 1-ой задачи - определение класса логических формул ИВ с использованием трёх методов:

1. с помощью таблицы истинности,

2. приведением к конъюнктивной нормальной форме (КНФ),

3. методом резолюций;

c) для 2-ой задачи – формулу, изображающую в исчислении предикатов (ИП) неосновной вопрос из одного конъюнкта раздела цели Пролог-программы.

 

 

Постановка задачи(для вариантов № 1 ¸ 18)

 

Ввести логические формулы ИВ в алфавите {a,b,c,. . .,x,y,z,(,),,}, записанные в префиксной форме в виде термов. Формулы содержат операции, определённые вариантом задания.

Вывести термы, изменив в них вид главного функтора.

Задать три вопроса, содержащие логическую формулу:

1) общезначимую,

2) выполнимую,

3) невыполнимую.

Снабдить Пролог – программу комментариями. Записать в комментариях результат выполнения программы и класс логической формулы программы.

Варианты задач


Эта страница нарушает авторские права

allrefrs.ru - 2019 год. Все права принадлежат их авторам!