论文部分内容阅读
本文介绍了模糊描述逻辑与回答集程序的发展现状和所遇到的挑战,讨论了模糊DL程序的语法和语义,给出了在模糊背景下扩展的Gelfond-Lifschitz变换,并进一步提出了一种面向语义Web的扩展模糊DL答集程序（efdl程序）,给出该类程序的具体语法并用代数不等式约束来描述其语义。通过扩展的Gelfond-Lifschitz变换,定义了efdl程序的回答集,并且讨论了求解回答集的计算方法。