Нецелеориентированная стратегия вывода формул в модальных исчислениях
| Parent link: | Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 309, № 7.— 2006.— [С. 121-126] |
|---|---|
| Autore principale: | |
| Altri autori: | |
| Riassunto: | Заглавие с титульного листа Электронная версия печатной публикации Предлагается и обосновывается подход к анализу формул модального исчисления KT, опирающийся на обратный метод Маслова. Предлагаемый подход ориентирован на создание систем автоматического доказательства теорем и предназначен для построения когнитивных систем широкого класса. Приводятся модификации исходного исчисления, для которых доказываются теоремы полноты. Предлагается отношение Ф-упорядочения, на основе которого формируются стратегии сокращения пространства вывода. |
| Pubblicazione: |
2006
|
| Serie: | Технические науки |
| Soggetti: | |
| Accesso online: | http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2006/v309/i7/26.pdf |
| Natura: | Elettronico Capitolo di libro |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=171793 |
| Descrizione fisica: | 1 файл (375 Кб) |
|---|---|
| Riassunto: | Заглавие с титульного листа Электронная версия печатной публикации Предлагается и обосновывается подход к анализу формул модального исчисления KT, опирающийся на обратный метод Маслова. Предлагаемый подход ориентирован на создание систем автоматического доказательства теорем и предназначен для построения когнитивных систем широкого класса. Приводятся модификации исходного исчисления, для которых доказываются теоремы полноты. Предлагается отношение Ф-упорядочения, на основе которого формируются стратегии сокращения пространства вывода. |