Нецелеориентированная стратегия вывода формул в модальных исчислениях
| Parent link: | Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 309, № 7.— 2006.— [С. 121-126] |
|---|---|
| Main Author: | |
| Other Authors: | |
| Summary: | Заглавие с титульного листа Электронная версия печатной публикации Предлагается и обосновывается подход к анализу формул модального исчисления KT, опирающийся на обратный метод Маслова. Предлагаемый подход ориентирован на создание систем автоматического доказательства теорем и предназначен для построения когнитивных систем широкого класса. Приводятся модификации исходного исчисления, для которых доказываются теоремы полноты. Предлагается отношение Ф-упорядочения, на основе которого формируются стратегии сокращения пространства вывода. |
| Published: |
2006
|
| Series: | Технические науки |
| Subjects: | |
| Online Access: | http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2006/v309/i7/26.pdf |
| Format: | Electronic Book Chapter |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=171793 |