Formalizing Inheritance Hierarchies with Exceptions by Using Logic Programs

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

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

题名:	Formalizing Inheritance Hierarchies with Exceptions by Using Logic Programs
作者:	Horng, Wen-Bing;Yang, Chao-Chih
贡献者:	淡江大學資訊工程學系
关键词:	繼承階層;簡單異常性形式;邏輯程式;含糊繼承階層;Inheritance Hierarchy;Simple Abnormality Formalism;Logic Program;Ambiguous Inheritance Hierarchy
日期:	1994-12
上传时间:	2014-02-13
摘要:	Inheritance hierarchies are a central part of semantic networks, an important tool for knowledge representation. In this paper, we investigate how logic programs can be used to formalize inheritance hierarchies with exceptions. In this investigation, we adopt Gelfond and Lifschitz's extended logic programs with answer set semantics as our knowledge representation tool and McCarthy's simple abnormality formalism to express exceptions. It turns out that our representation can formalize not only unambiguous inheritance hierarchies, but also the credulous and skeptical reasonings in ambiguous inheritance hierarchies.
關聯:	1994 Internation Computer Symposium Conference Proceeding Volume of 1 of 2，頁497-502
显示于类别:	[資訊工程學系暨研究所] 會議論文

文件中的档案:

档案	大小	格式	浏览次数
Formalizing Inheritance Hierarchies with Exceptions by Using Logic Programs_西文摘要.docx	13Kb	Microsoft Word	110	检视/开启

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

TAIR相关文章