A model-theoretic analysis of knowledge
A model-theoretic analysis of knowledge
复制标题
知识的模型理论分析
DOI：
--
复制
发表时间：
1991
期刊：
影响因子：
--
通讯作者：
Moshe Y. Vardi
中科院分区：
文献类型：
--
作者：
Ronald Fagin;Joseph Y. Halpern;Moshe Y. Vardi
引入了一个通用的知识语义模型，以允许对诸如“他知道我知道她是否知道是否在下雨”之类的语句进行推理。这种方法比以前的建议(包括克里普克结构)更自然地对知识状态进行建模。利用这一模型概念，发展了一种知识模型理论。这一理论使人们能够解释“有限信息量”的概念。
A general semantic model of knowledge is introduced, to allow reasoning about statements such as «He knows that I know whether or not she knows whether or not it is raining». This approach more naturally models a state of knowledge than previous proposals (including Kripke structures). Using this notion of model, a model theory for knowledge is developed. This theory enables one to interpret the notion of a «finite amount of information»