What Is Answer Set Programming?
AAAI（2008）
摘要
Answer set programming (ASP) is a form of declarative pro- gramming oriented towards difficult search problems. As an outgrowth of research on the use of nonmonotonic reason- ing in knowledge representation, it is particularly useful in knowledge-intensive applications. ASP programs consist of rules that look like Prolog rules, but the computational mech- anisms used in ASP are different: they are based on the ideas that have led to the creation of fast satisfiability solvers f or propositional logic.
更多查看译文
关键词
nonmonotonic reasoning,knowledge-intensive application,difficult search problem,knowledge representation,fast satisfiability solvers,prolog rule,propositional logic,computational mechanism,asp program,declarative programming,satisfiability,answer set programming
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要