Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://earchive.tpu.ru/handle/11683/763
Полная запись метаданных
Поле DC | Значение | Язык |
---|---|---|
dc.contributor.author | Ларионов, Д. С. | ru |
dc.date.accessioned | 2015-11-20T02:40:56Z | - |
dc.date.available | 2015-11-20T02:40:56Z | - |
dc.date.issued | 2005 | - |
dc.identifier.citation | Ларионов Д. С. Использование модальной логики для проектирования оболочек экспертных систем / Д. С. Ларионов // Известия Томского политехнического университета [Известия ТПУ]. — 2005. — Т. 308, № 4. — [С. 173-177]. | ru |
dc.identifier.uri | http://earchive.tpu.ru/handle/11683/763 | - |
dc.description.abstract | Рассматривается применение модальной логики в качестве механизма вывода экспертных систем. Для примера взята автоэпистемическая логика, являющаяся развитием модальной логики Мак-Дермотта. Описываются такие фундаментальные свойства теории как полнота и адекватность, благодаря которым можно говорить о верных результатах вывода системы. Дается понятие нормальной модальной системы, и указаны аксиомы, за счет которых эти системы обогащаются. Приводится разрешающая процедура для автоэпистемической логики, и описываются ситуации, в которых ее применение будет полезно для механизма вывода экспертных систем. | ru |
dc.format.mimetype | application/pdf | - |
dc.language.iso | ru | en |
dc.publisher | Томский политехнический университет | ru |
dc.relation.ispartof | Известия Томского политехнического университета [Известия ТПУ]. 2005. Т. 308, № 4 | - |
dc.rights | info:eu-repo/semantics/openAccess | en |
dc.source | Известия Томского политехнического университета | - |
dc.subject | использование | - |
dc.subject | модальная логика | - |
dc.subject | проектирование | - |
dc.subject | оболочки | - |
dc.subject | экспертные системы | - |
dc.subject | механизмы | - |
dc.subject | примеры | - |
dc.subject | автоэпистемическая логика | - |
dc.subject | логика Мак-Дермотта | - |
dc.subject | фундаментальные свойства | - |
dc.subject | теории | - |
dc.subject | полнота | - |
dc.subject | адекватность | - |
dc.subject | результаты | - |
dc.subject | нормальные модальные системы | - |
dc.subject | аксиомы | - |
dc.subject | ситуации | - |
dc.title | Использование модальной логики для проектирования оболочек экспертных систем | ru |
dc.type | Article | en |
dc.type | info:eu-repo/semantics/publishedVersion | en |
dc.type | info:eu-repo/semantics/article | en |
dcterms.audience | Researches | en |
local.description.firstpage | 173 | - |
local.description.lastpage | 177 | - |
local.filepath | http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2005/v308/i4/40.pdf | - |
local.identifier.bibrec | RU\TPU\book\185035 | - |
local.issue | 4 | - |
local.localtype | Статья | ru |
local.volume | 308 | - |
Располагается в коллекциях: | Известия Томского политехнического университета. Инжиниринг георесурсов |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
bulletin_tpu-2005-308-4-40.pdf | 613,38 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.