解放军理工大学学报(自然科学版)
解放軍理工大學學報(自然科學版)
해방군리공대학학보(자연과학판)
JOURNAL OF PLA UNIVERSITY OF SCIENCE AND TECHNOLOGY(NATURAL SCIENCE EDITION)
2009年
2期
134-138
,共5页
认知态%相似%怀疑等价%拟怀疑等价
認知態%相似%懷疑等價%擬懷疑等價
인지태%상사%부의등개%의부의등개
以Bochman引入的一种非单调逻辑与信念修正的统一框架--认知态(epistemic states)为研究对象,讨论其内在的结构相似性与外在推理行为等价性之间的联系.因为两认知态相似无法推出它们之间具有已引入的任一种等价关系,为了解决此问题提出了两认知态拟怀疑等价的新概念和作用于认知态上的算子par(·).利用有限子语言在原语言上的归约,得到如下的表示定理:任两个纯的有限认知态是拟怀疑等价的,当且仅当它们作用算子par后结构相似.
以Bochman引入的一種非單調邏輯與信唸脩正的統一框架--認知態(epistemic states)為研究對象,討論其內在的結構相似性與外在推理行為等價性之間的聯繫.因為兩認知態相似無法推齣它們之間具有已引入的任一種等價關繫,為瞭解決此問題提齣瞭兩認知態擬懷疑等價的新概唸和作用于認知態上的算子par(·).利用有限子語言在原語言上的歸約,得到如下的錶示定理:任兩箇純的有限認知態是擬懷疑等價的,噹且僅噹它們作用算子par後結構相似.
이Bochman인입적일충비단조라집여신념수정적통일광가--인지태(epistemic states)위연구대상,토론기내재적결구상사성여외재추리행위등개성지간적련계.인위량인지태상사무법추출타문지간구유이인입적임일충등개관계,위료해결차문제제출료량인지태의부의등개적신개념화작용우인지태상적산자par(·).이용유한자어언재원어언상적귀약,득도여하적표시정리:임량개순적유한인지태시의부의등개적,당차부당타문작용산자par후결구상사.