肖文洁
- 作品数：4 被引量：4H指数：1
- 供职机构：南京航空航天大学更多>>
- 发文基金：江苏省自然科学基金霍英东教育基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 有缺指派下的信念修正逻辑被引量：1
- 2010年
- 经典的AGM信念修正理论和以D-P假设为代表的迭代信念修正理论都是以完全指派为可能世界而进行的理论研究.把这些研究推广到有缺指派的领域中与完全指派为每个原子命题符号都指派真假值不同,有缺指派是一个三值指派,它可以为每个原子命题符号指派真、假和不确定三值之一.以有缺指派为可能世界,对D-P系统进行了推广,证明了相应的表示定理.
- 肖文洁朱朝晖
- 关键词：信念修正表示定理
- 知识表示与推理的若干问题研究
- 计算机要对知识和信息有效地进行处理是离不开知识表示与推理(knowledge representation and reasoning)的,知识表示与推理是人工智能符号主义流派最主要的研究内容。在知识表示与推理的研究中,...
- 肖文洁
- 关键词：表示定理信念修正
- 文献传递
- 认知态的相似性与等价性
- 2009年
- 以Bochman引入的一种非单调逻辑与信念修正的统一框架——认知态(epistemic states)为研究对象,讨论其内在的结构相似性与外在推理行为等价性之间的联系。因为两认知态相似无法推出它们之间具有已引入的任一种等价关系,为了解决此问题提出了两认知态拟怀疑等价的新概念和作用于认知态上的算子par(.)。利用有限子语言在原语言上的归约,得到如下的表示定理:任两个纯的有限认知态是拟怀疑等价的,当且仅当它们作用算子par后结构相似。
- 肖文洁朱朝晖肖奚安
- 决策表的逻辑表达式分析被引量：3
- 2006年
- 用泛布尔代数系统作为逻辑工具,证明了条件属性完全决策表的两种逻辑表达式(蕴涵式和析取范式)是逻辑等价的,但是决策属性相容和不相容决策表的蕴涵式表达式有所不同。继而证明了不完全决策表在1型解释下,其析取范式表达式仍与完全决策表的析取范式表达式形式相同,但与其等价的蕴涵式表达式却比完全决策表的蕴涵式表达式多了一串乘积;而不完全决策表在2型解释下,其蕴涵式表达式仍与完全决策表的蕴涵式表达式形式相同,但与其等价的析取范式表达式却比完全决策表的析取范式表达式多了一串和式。
- 肖文洁王建东朱朝晖
- 关键词：决策表泛布尔代数逻辑表达式
