ИСТИНА |
Войти в систему Регистрация |
|
ИПМех РАН |
||
Н.П. Брусенцовым предложен метод алгебраизации силлогистики Аристотеля, невыразимой в математической логике, и установлен критерий содержательности суждений – принцип сосуществования противоположностей (ПСП). Алгебраическая система, позволяющая выразить все модусы силлогистики основана на методах диаграмм и индексов Льюиса Кэрролла. Ранее предложено использовать данную систему в качестве основы компьютеризации рассуждения. Создание соответствующего программного инструментария кроме уже имеющихся правил представления и преобразования суждений, требует выработки основных принципов устройства ее компонент, исследования области применения и возможных проблем. Доклад посвящен рассмотренному с этой целью примеру решения задачи составления расписаний занятий в учебных заведениях. Задача формулируется в виде системы посылок, выражающих логические отношения между заданными особенностями. Предлагаемый алгоритм по исходной системе посылок строит набор особенностей, характеризующий искомое расписание. Решение данной задачи позволило выделить несколько типов особенностей, определить допустимый способ хранения посылок в памяти, выявить необходимость арифметических операций, определить некоторые другие характеристики разрабатываемого программного инструментария.