RI: Small: Enhancing Nonmonotonic Declarative Knowledge Representation and Reasoning by Merging Answer Set Programming with Other Computing Paradigms

RI：小：通过将答案集编程与其他计算范式合并来增强非单调声明性知识表示和推理

• 批准号: 0916116
• 负责人: Joohyung Lee
• 金额: $ 27.5万
• 依托单位: Arizona State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2009
• 资助国家: 美国
• 起止时间: 2009-09-01 至 2013-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0916116&HistoricalAwards=false
• 关键词: RI; Small; Enhancing; Nonmonotonic; Declarative

Answer Set Programming (ASP) is a recent form of declarative programming that has been applied to many knowledge-intensive tasks, such as product configuration, planning, diagnosis, and information integration. Like other computing paradigms, such as SAT (Satisfiability Checking) and CP (Constraint Programming), ASP provides a common basis for formalizing and solving various problems, but is distinct from others in that it focuses on knowledge representation and has proved to be useful for rapid prototyping. While the research on ASP has produced many promising results, it has also identified serious limitations.The project aims at overcoming the limitations by merging ASP with other computing paradigms, such as satisfiability checking, first-order logic and constraint programming, and exploring the synergy between them. This project is expected to provide a transformative understanding of ASP's relation to other computing paradigms, to enhance ASP's reasoning capability and broaden the areas in which it is effective. Within knowledge representation, the study will clarify the role of ASP as a major knowledge representation formalism with effective computation methods that combines various methods available in other computing paradigms.

回答集编程(Asp)是声明性编程的一种新形式，已被应用于许多知识密集型任务，如产品配置、规划、诊断和信息集成。与SAT(可满足性检查)和CP(约束编程)等其他计算范例一样，ASP为形式化和解决各种问题提供了公共基础，但与其他计算范例的不同之处在于它侧重于知识表示，并已被证明对快速原型开发有用。ASP的研究已经取得了许多有希望的成果，但也存在严重的局限性，该项目旨在通过将ASP与可满足性检查、一阶逻辑和约束规划等其他计算范式相结合来克服这些局限性，并探索它们之间的协同作用。该项目有望对ASP与其他计算范例的关系提供一个变革性的理解，以增强ASP的推理能力，并拓宽其有效的领域。在知识表示中，本研究将阐明ASP作为一种主要的知识表示形式与有效的计算方法相结合的作用，这些方法结合了其他计算范例中的各种方法。