This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
courses:knowledge_representation_and_artificial_intelligence_systems:lab2 [2019/09/29 17:20] andrey.suchkov |
courses:knowledge_representation_and_artificial_intelligence_systems:lab2 [2022/12/10 09:08] (current) |
||
---|---|---|---|
Line 145: | Line 145: | ||
| age | integer | 17 -- 22 | | | age | integer | 17 -- 22 | | ||
| year | integer | 2 -- 5 | | | year | integer | 2 -- 5 | | ||
- | | <nowiki>spec</nowiki> | string | <<hard>>, <<soft>>, <<ai>> | | + | | %%spec%% | string | <<hard>>, <<soft>>, <<ai>> | |
| aver_mark | float | в интервале [3; 5] | | | aver_mark | float | в интервале [3; 5] | | ||
===== Порядок выполнения работы ===== | ===== Порядок выполнения работы ===== | ||
Line 161: | Line 161: | ||
- Изменить сформированные в п. //b.// правила путем добавления в антецеденты предикатных условных элементов для проверки типов значений слотов в соответствии с табл. 3. | - Изменить сформированные в п. //b.// правила путем добавления в антецеденты предикатных условных элементов для проверки типов значений слотов в соответствии с табл. 3. | ||
- Изменить сформированные в п. //c.// правила путем добавления в антецеденты условных элементов с ограничением по возвращаемому значению. Условия ограничения для различных вариантов приведены в табл. 4. | - Изменить сформированные в п. //c.// правила путем добавления в антецеденты условных элементов с ограничением по возвращаемому значению. Условия ограничения для различных вариантов приведены в табл. 4. | ||
- | <note tip>Возраст поступления в университет определяется по формуле: $[age] - [year]$. Возраст окончания: $[age] + (5 - [year])$.</note> | ||
===== Варианты заданий ===== | ===== Варианты заданий ===== | ||
Line 186: | Line 185: | ||
==== Таблица 3 ==== | ==== Таблица 3 ==== | ||
^ № варианта ^ Проверяемые значения ^ Сообщение, выводимое в консеквенте правила ^ | ^ № варианта ^ Проверяемые значения ^ Сообщение, выводимое в консеквенте правила ^ | ||
- | | 1 | ''<year>'', ''<aver_mark>'' | Студент ''<name>'': тип значения в слоте ''<year>'' -- integer, а в слоте ''<aver_mark>'' -- float. | | + | | 1 | ''<year>'', ''<aver_mark>'' | Студент ''<name>'': тип значения в слоте <year> -- integer, а в слоте <aver_mark> -- float. | |
- | | 2 | ''<age>'', ''<year>'' | Студент ''<name>'': типы значений в слотах ''<age>'' и ''<year>'' -- integer. | | + | | 2 | ''<age>'', ''<year>'' | Студент ''<name>'': типы значений в слотах <age> и <year> -- integer. | |
- | | 3 | ''<nowiki><spec></nowiki>'', ''<aver_mark>'' | Студент ''<name>'': тип значения в слоте ''<nowiki><spec></nowiki>'' -- string, а в слоте ''<aver_mark>'' -- float. | | + | | 3 | ''<nowiki><spec></nowiki>'', ''<aver_mark>'' | Студент ''<name>'': тип значения в слоте <nowiki><spec></nowiki> -- string, а в слоте <aver_mark> -- float. | |
- | | 4 | ''<age>'', ''<aver_mark>'' | Студент ''<name>'': тип значения в слоте ''<age>'' -- integer, а в слоте ''<aver_mark>'' -- float. | | + | | 4 | ''<age>'', ''<aver_mark>'' | Студент ''<name>'': тип значения в слоте <age> -- integer, а в слоте <aver_mark> -- float. | |
- | | 5 | ''<year>'', ''<nowiki><spec></nowiki>'' | Студент ''<name>'': тип значения в слоте ''<year>'' -- integer, а в слоте ''<nowiki><spec></nowiki>'' -- string. | | + | | 5 | ''<year>'', ''<nowiki><spec></nowiki>'' | Студент ''<name>'': тип значения в слоте <year> -- integer, а в слоте <nowiki><spec></nowiki> -- string. | |
- | | 6 | ''<age>'', ''<nowiki><spec></nowiki>'' | Студент ''<name>'': тип значения в слоте ''<age>'' -- integer, а в слоте ''<nowiki><spec></nowiki>'' -- string. | | + | | 6 | ''<age>'', ''<nowiki><spec></nowiki>'' | Студент ''<name>'': тип значения в слоте <age> -- integer, а в слоте <nowiki><spec></nowiki> -- string. | |
- | | 7 | ''<name>'', ''<aver_mark>'' | Студент ''<name>'': тип значения в слоте ''<name>'' -- symbol, а в слоте ''<aver_mark>'' -- float. | | + | | 7 | ''<name>'', ''<aver_mark>'' | Студент ''<name>'': тип значения в слоте <name> -- symbol, а в слоте <aver_mark> -- float. | |
- | | 8 | ''<nowiki><spec></nowiki>'', ''<name>'' | Студент ''<name>'': тип значения в слоте ''<nowiki><spec></nowiki>'' -- string, а в слоте ''<name>'' -- symbol. | | + | | 8 | ''<nowiki><spec></nowiki>'', ''<name>'' | Студент ''<name>'': тип значения в слоте <nowiki><spec></nowiki> -- string, а в слоте <name> -- symbol. | |
==== Таблица 4 ==== | ==== Таблица 4 ==== | ||
^ № варианта ^ Условный элемент с ограничением по возвращаемому значению ^ Сообщение, выводимое в консеквенте правила ^ | ^ № варианта ^ Условный элемент с ограничением по возвращаемому значению ^ Сообщение, выводимое в консеквенте правила ^ | ||
Line 204: | Line 203: | ||
| 7 | Оканчивает университет в возрасте старше 22 лет | Студент ''<name>'' оканчивает университет в возрасте старше 22 лет. | | | 7 | Оканчивает университет в возрасте старше 22 лет | Студент ''<name>'' оканчивает университет в возрасте старше 22 лет. | | ||
| 8 | Поступил в университет в возрасте 18 лет | Студент ''<name>'' поступил в университет в возрасте 18 лет. | | | 8 | Поступил в университет в возрасте 18 лет | Студент ''<name>'' поступил в университет в возрасте 18 лет. | | ||
+ | <note tip>Возраст поступления в университет определяется по формуле: $[age] - [year]$. Возраст окончания: $[age] + (5 - [year])$.</note> | ||
===== Содержание отчёта ===== | ===== Содержание отчёта ===== | ||
* Цель работы. | * Цель работы. |