A model of reasoning about knowledge

CSpace

	A model of reasoning about knowledge
	Lu, RQ ; Ying, MS
	1998-10-01
发表期刊	SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES
ISSN	1006-9321
卷号	41 期号:5 页码:527-534
摘要	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 different languages, and an institution of logics for multi-agent systems is constructed.
关键词	distributed artificial intelligence representation of knowledge reasoning about knowledge common knowledge distributed knowledge
语种	英语
WOS研究方向	Engineering ; Materials Science
WOS类目	Engineering, Multidisciplinary ; Materials Science, Multidisciplinary
WOS记录号	WOS:000076531900011
出版者	SCIENCE PRESS
引用统计
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/13602
专题	中国科学院数学与系统科学研究院
通讯作者	Ying, MS
作者单位	1.Tsing Hua Univ, Dept Comp Sci & Technol, Beijing 100084, Peoples R China 2.Chinese Acad Sci, Inst Math, Beijing 100080, Peoples R China
推荐引用方式 GB/T 7714	Lu, RQ,Ying, MS. A model of reasoning about knowledge[J]. SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES,1998,41(5):527-534.
APA	Lu, RQ,&Ying, MS.(1998).A model of reasoning about knowledge.SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES,41(5),527-534.
MLA	Lu, RQ,et al."A model of reasoning about knowledge".SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES 41.5(1998):527-534.