Лекция: Пример выполнения задания.
В данном задании используются конечные и разреженные множества.
1) Предметная область «Изменение состава группы студентов».
2) Профессиональная деятельность в этой предметной области состоит в отслеживании состава группы студентов в разные учебные годы.
3) В предметной области решается задачи одного класса. Приведем постановку задач данного класса.
Дано: состав группы в текущем учебном году, состав отчисленных, состав восстановленных, состав переведенных.
Найти: состав группы в следующем учебном году
4) В данной предметной области используются замкнутые системы разреженных и конечных множеств: конечные подмножества множества всех студентов – это величина разреженных множеств; подмножества состава группы в текущем году — это величина конечных множеств.
5) Систему понятий данной предметной области образуют понятия «группа в текущем году», «отчисленные», «восстановленные», «переведенные», группа в следующем году. Объемы понятий «группа в текущем году», «восстановленные», «переведенные», «группа в следующем году» состоят из конечных подмножеств множества всех студентов, т.е. эти понятия соответствуют разреженным множествам. Объем понятия «отчисленные» состоит из подмножеств состава группы в текущем году, т.е. это понятие соответствует конечным множествам.
6) Прикладная логическая теория имеет название «Изменение состава группы студентов». При ее построении используются стандартное расширение ST. Запишем теорию на языке прикладной логики.
Изменение состава группы студентов(ST)
6.1) сорт группа в текущем году: {}N
моделью объема понятия, обозначенного термином «группа в текущем году», является бесконечное множество всех конечных подмножеств бесконечного множества обозначений; значением этого термина в логической модели является конечное множество обозначений
6.2) сорт отчисленные: {}группа в текущем году
моделью объема понятия, обозначенного термином «отчисленные», является множество всех конечных подмножеств конечного множества, являющегося значением термина «группа в текущем году»
6.3) сорт восстановленные: {}N
моделью объема понятия, обозначенного термином «восстановленные», является бесконечное множество всех конечных подмножеств бесконечного множества обозначений; значением этого термина в логической модели является конечное множество обозначений
6.4) сорт переведенные: {}N
моделью объема понятия, обозначенного термином «переведенные», является бесконечное множество всех конечных подмножеств бесконечного множества обозначений; значением этого термина в логической модели является конечное множество обозначений
6.5) сорт группа в следующем году: {}N
моделью объема понятия, обозначенного термином «группа в следующем году», является бесконечное множество всех конечных подмножеств бесконечного множества обозначений; значением этого термина в логической модели является конечное множество обозначений
6.6) группа в следующем году = (группа в текущем году È восстановленные È переведенные ) \ отчисленные
предложение задает связь между терминами
6.7) группа в текущем году ¹ Æ
группа в текущем году не может быть пустой
7) Запишем программу на алгоритмическом языке программирования, который допускает множества элементов любого типа данных (в случае перехода к какому-либо из существующих языков программирования требуется реализация абстрактного типа данных «множество элементов произвольного типа» и соответствующего набора операций и отношений для работы с этим абстрактным типом данных).
множество (строки): группа в текущем году, восстановленные, переведенные, группа в следующем году;
ввод : группа в текущем году, восстановленные, переведенные, группа в следующем году;
если пусто(группа в текущем году)
тогдавывод «неправильное задание группы студентов»
иначе
начало
множество (группа в текущем году): отчисленные;
ввод : отчисленные;
группа в следующем году := группа в текущем году объединение восстановленные объединение переведенные) разность отчисленные;
вывод: «группа в следующем году состоит из студентов: », группа в следующем году;
конец
4. Тема «Отображения».
4.1. «Конечные отображения». План ответа:
1) название и характеристика предметной области;
2) характеристика профессиональной деятельности в этой предметной области;
3) постановка всех классов задач, решаемых в ходе этой профессиональной деятельности;
4) замкнутые системы конечных отображений предметной области и их обоснование; если используются другие замкнутые системы, то необходимо также их определить;
5) система понятий предметной области и ее обоснование;
6) прикладная логическая теория, моделирующая эту систему понятий;
7) программы (на любом языке программирования, но с комментариями!) решения всех классов задач, указанных в п.3.
8) привести пример ситуации предметной области, записать логическую модель, описать состояния памяти.
4.2. «Разрежённые отображения» (необязательное задание). План ответа:
1) название и характеристика предметной области;
2) характеристика профессиональной деятельности в этой предметной области;
3) постановка всех классов задач, решаемых в ходе этой профессиональной деятельности;
4) замкнутые системы разреженных отображений предметной области и их обоснование;
5) система понятий предметной области, соответствующих разреженным отображениям, и ее обоснование;
6) прикладная логическая теория, моделирующая эту систему понятий;
7) программы (на любом языке программирования, но с комментариями!) решения всех классов задач, указанных в п.3.
8) привести пример ситуации предметной области, записать логическую модель, описать состояния памяти.