RAO logic for multiagent framework |
| |
Authors: | Zhongzhi Shi Qijia Tian Yunfeng Li |
| |
Affiliation: | (1) Institute of Computing Technology, Chinese Academy of Sciences, P.R. China |
| |
Abstract: | In this paper, we deal with how agents reason about knowledgeof others in multiagent system. We first present a knowledge representation frame-work called reasoning about others (RAO) which is designed specifically to representconcepts and rules used in reasoning about knowledge of others. From a class ofsentences usually taken by people in daily life to reason about others, a rule calledposition exchange principle (PEP) is abstracted. PEP is described as an axiomscheme in RAO and regarded as a basic rule for agents to reason about others, andfurther it has the similar form and role to modus ponens and (K) axiom of knowl-edge logic. The relationship between speech acts and common sense is also discussedwhich is necessary for RAO. Based on ideas from situation calculus, this relationshipis characterized by an axiom schema in RAO. Our theories are also demonstrated byan example. |
| |
Keywords: | multiagent RAO logic position exchange principle (PFP) |
本文献已被 CNKI 维普 万方数据 SpringerLink 等数据库收录! |
| 点击此处可从《计算机科学技术学报》浏览原始摘要信息 |
|
点击此处可从《计算机科学技术学报》下载全文 |