一类扩展的模糊描述逻辑回答集程序研究  

A Class of Extended Fuzzy Description Logic Programs Under Answer Set Semantics Toward Semantic Web

作　　者：丁松[1] 

机构地区：[1]湖北第二师范学院计算机学院,武汉430205

出　　处：《湖北第二师范学院学报》2013年第8期8-13,共6页Journal of Hubei University of Education

摘　　要：本文介绍了模糊描述逻辑与回答集程序的发展现状和所遇到的挑战,讨论了模糊DL程序的语法和语义,给出了在模糊背景下扩展的Gelfond-Lifschitz变换,并进一步提出了一种面向语义Web的扩展模糊DL答集程序(efdl程序),给出该类程序的具体语法并用代数不等式约束来描述其语义。通过扩展的Gelfond-Lifschitz变换,定义了efdl程序的回答集,并且讨论了求解回答集的计算方法。The current state and the challenge in the development of fuzzy description logic and answer set programming is introduced. The syntax and the semantics of fuzzy DL program is discussed and the extension of Gelfond-Lifschitz transformation under fuzzy background is proposed. Further, an extension of fuzzy DL answer set program （deft-program） toward semantic Web is proposed. The deft-program＇s syntax is given and the semantics are characterized by algebra inquation. Finally, the answer set of edfl-program is defined by the extension of Gelfond-Lifschitz transformation and the approach to compute the answer set is disscussed.

关 键 词：回答集程序 模糊描述逻辑 DL程序 Gelfond-Lifschitz变换 语义WEB 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]