论文信息 - A model of reasoning about knowledge

A model of reasoning about knowledge

A modal logical language and its Kripke semantics and Aumann semantics are introduced. A complete formal deduction system is established to describe reasoning about knowledge in multi-agent systems involving different languages, and an institution of logics for multi-agent systems is constructed.

Ruqian Lu | Mingsheng Ying | M. Ying | R. Lu

[1] Joseph Y. Halpern,et al. Knowledge, probability, and adversaries , 1993, JACM.

[2] Ronald Fagin,et al. Reasoning about knowledge and probability , 1988, JACM.

[3] Ronald Fagin,et al. What can machines know?: On the properties of knowledge in distributed systems , 1992, JACM.

[4] Ronald Fagin,et al. Reasoning about knowledge , 1995 .

[5] Joseph A. Goguen,et al. Institutions: abstract model theory for specification and programming , 1992, JACM.

[6] J. Hintikka. Knowledge and belief , 1962 .