内容提要：我们建立几类刻画主体的逻辑。第一类逻辑是处理以目的和背景知识为双条件的条件句的逻辑。第二类逻辑是比较主体能力的逻辑。第三类逻辑是刻画主体言行关系的逻辑。第四类逻辑是通过认知一个主体的言行来认知该主体的逻辑。第五类逻辑是刻画主体...[详细]
本文关注的是形式化自然语言时出现的超内涵问题，在分析一阶超内涵逻辑系统PTCT 的基础上提出了HIQ 系统的构想，它以PTCT 为语义基础，以历史关系数据库模型HRDM 为数据库概念模型，把Squirrel 语言系统加入时态的因子，从而支持带有时间副词的自然语言查...[详细]
本文分析了内涵产生的原因之一：认知超内涵主义。并且以Frege 难题为涵义准则，提出超内涵理论必须满足的最小条件。进而在认知超内涵主义思想上设计了一个逻辑理论，说明了rege 难题在此理论下是可解的。[详细]
Abstract: This article focuses on the revision of stable sets which are considered elegant representations for full belief states of fully-introspective agents. Two stages of change of a given stable set and new information are disting...[详细]