On semantics of commonsense knowledge

淡江大學機構典藏 > 工學院 > 資訊工程學系暨研究所 > 會議論文 > Item 987654321/37487

jsp.display-item.identifier=請使用永久網址來引用或連結此文件: https://tkuir.lib.tku.edu.tw/dspace/handle/987654321/37487

题名:	On semantics of commonsense knowledge
作者:	Horng, Wen-Bing;Yang, Chao-Chih
贡献者:	淡江大學資訊工程學系
关键词:	常識知識;邏輯程式;語意;簡單異常性形式;Commonsense Knowledge;Logic Program;Semantic;Simple Abnormality Formalism
日期:	1994-12-12
上传时间:	2010-01-11 13:34:02 (UTC+8)
摘要:	McCarthy's simple abnormality formalism provides a new way to paraphrase commonsense knowledge by using the word "unless", roughly called the "unless" semantics. In this paper, we first point out that the introduced inheritance cancellation axioms in this formalism may cause the semantic inconsistency problem in the paraphrases of the models obtained from circumscription and propose a simple way to resolve it. We then explore the "unless" semantics in the convention of commonsense reasoning and propose the extended answer set semantics to incorporate this new semantics in extended logic programs. It turns out that a clause in an extended logic program can be transformed into one of four other different forms based on the given information so that the conclusions will become more reasonable and the transformed programs more coherent.
關聯:	Proceedings of the International Computer Symposium 1994 (ICS-94), Hsinchu, pp.491-496
显示于类别:	[資訊工程學系暨研究所] 會議論文

文件中的档案:

档案	大小	格式	浏览次数
index.html	0Kb	HTML	132	检视/开启

在機構典藏中所有的数据项都受到原著作权保护.

TAIR相关文章