Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
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.pdf | 379,58 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.