Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://earchive.tpu.ru/handle/11683/1397
Название: Нецелеориентированная стратегия вывода формул в модальных исчислениях
Авторы: Новосельцев, Виталий Борисович
Копаница, Георгий Дмитриевич
Ключевые слова: нецелеориентированная стратегия; формулы; модальные исчисления; метод Маслова; подходы; автоматическое доказательство; теоремы; когнитивные системы; классы; модификации; теоремы полноты; пространства
Дата публикации: 2006
Издатель: Томский политехнический университет
Библиографическое описание: Новосельцев В. Б. Нецелеориентированная стратегия вывода формул в модальных исчислениях / В. Б. Новосельцев, Г. Д. Копаница // Известия Томского политехнического университета [Известия ТПУ]. — 2006. — Т. 309, № 7. — [С. 121-126].
Аннотация: Предлагается и обосновывается подход к анализу формул модального исчисления KT, опирающийся на обратный метод Маслова. Предлагаемый подход ориентирован на создание систем автоматического доказательства теорем и предназначен для построения когнитивных систем широкого класса. Приводятся модификации исходного исчисления, для которых доказываются теоремы полноты. Предлагается отношение Ф-упорядочения, на основе которого формируются стратегии сокращения пространства вывода.
URI: http://earchive.tpu.ru/handle/11683/1397
Располагается в коллекциях:Известия ТПУ

Файлы этого ресурса:
Файл Описание РазмерФормат 
bulletin_tpu-2006-309-7-26.pdf379,58 kBAdobe PDFПросмотреть/Открыть


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.