Караваев, Э. Ф. Средства неклассической логики в формализации процедур планирования деятельности [Текст] / Э. Ф. Караваев> // Вестник Санкт-Петербургского университета. - 2008. - Вып. 1. - С. 87-94. - Библиогр. в сносках . - ISSN 1995-0055
Рубрики: Логика Общие вопросы логики Кл.слова (ненормированные): вероятностные оценки -- гибридная логика -- деонтическая логика -- логика -- логика деятельности -- неклассическая логика -- номиналистические высказывания -- планирование деятельности -- алетическая модальная логика -- временная логика -- планирование -- эпистемическая логика Аннотация: Рассматриваются возможности использования средств неклассической логики (временной, деонтической, алетической модальной, эпистемической, гибридной логики и логики деятельности) для усовершенствования формализованного представления процедур планирования. Доп.точки доступа: Саймон, Г.; Хорти, Дж.; Белнап, Н.; Хэмблин, Ч.; Перлов, М. |