A MODEL OF REASONING ABOUT KNOWLEDGE

Authors
Citation
Rq. Lu et Ms. Ying, A MODEL OF REASONING ABOUT KNOWLEDGE, SCI CHINA E, 41(5), 1998, pp. 527-534
Citations number
8
Categorie Soggetti
Engineering,"Material Science
Journal title
SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES
ISSN journal
20950624 → ACNP
Volume
41
Issue
5
Year of publication
1998
Pages
527 - 534
Database
ISI
SICI code
2095-0624(1998)41:5<527:AMORAK>2.0.ZU;2-V
Abstract
A modal logical language and its Kripke semantics and Aumann semantics are introduced. A complete for mal deduction system is established to describe reasoning about knowledge in multi-agent systems involving d ifferent languages, and an institution of logics for multi-agent syste ms is constructed.