BriefGPT.xyz
Mar, 2015
ASPeRiX,基于一阶前向链接技术的答案集计算方法
ASPeRiX, a First Order Forward Chaining Approach for Answer Set Computing
HTML
PDF
Claire Lefèvre, Christopher Béatrix, Igor Stéphan, Laurent Garcia
TL;DR
该论文提出了一种将Answer Set Programming应用于人工智能或在解决组合问题时表示知识的自然方法,其中介绍了一种前向链接的方法,通过在搜索过程中将规则的实例化与之融合来避免了先前的阶段。
Abstract
The natural way to use
answer set programming
(ASP) to represent knowledge in
artificial intelligence
or to solve a
combinatorial problem
→