1) answer set semantics
回答集语义
1.
Based on the fixed-point theorem,a new method to treat the priori order was proposed in order to unify and extend the different answer set semantics resulted from different ways of dealing with the prior order in logic programs with a rule order.
为了统一并扩充回答集语义,在带有规则序的逻辑程序中,基于不动点原理,采用了处理优先序的新方法———直接在规则迭代过程中考虑规则序的作用。
2.
Logic programs based on answer set semantics are used in planning , diagnosis and action reasoning widely.
本文主要研究有序逻辑程序的回答集语义。
2) answer set
回答集
1.
An implementation,called fasp,was described for answer set programming with functions (FASP) thatembeds symbolic functions into normal logic programs.
带函数的回答集程序设计(FASP)允许在正规逻辑程序中嵌入函数符号,描述了这个系统fasp的设计与实现。
4) answer set programming
回答集编程
5) fuzzy answer set
模糊回答集
补充资料：回答风格
回答风格
response style
回答风格(response style)参见.‘回生级中热”。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条