RichProlog, a System for Deducing, Inducing and Learning in the Declarative Programming Paradigm

RichProlog，声明式编程范式中的演绎、归纳和学习系统

• 批准号: DP0453238
• 负责人: Dr Eric Martin
• 金额: $ 9.21万
• 依托单位: The University of New South Wales
• 依托单位国家: 澳大利亚
• 项目类别: Discovery Projects
• 财政年份: 2004
• 资助国家: 澳大利亚
• 起止时间: 2004-01-01 至 2008-06-30
• 项目状态: 已结题
• 来源: https://dataportal.arc.gov.au/RGS/Web/Grants/DP0453238
• 关键词: RichProlog; System; Deducing; Inducing; Learning

The aim of the project is to contribute to bridge the gap between learning and logic, theoretically and practically. Our purpose is to extend considerably the scope of the declarative programming paradigm, and build a system that can be used to solve learning or discovery problems as encountered in Artificial Intelligence. The system will enable rapid prototyping when applied to problems involving deduction, induction, and nonmonotonic reasoning. We intend the system to become a standard tool for tackling a broad range of applications, and the underlying theory to provide new insights on the logical foundations of Artificial Intelligence.

该项目的目的是在理论和实践上帮助弥合学习和逻辑之间的差距。我们的目的是大大扩展声明式编程范式的范围，并构建一个可用于解决人工智能中遇到的学习或发现问题的系统。当应用于涉及演绎、归纳和非单调推理的问题时，该系统将实现快速原型设计。我们希望该系统成为解决广泛应用的标准工具，其基础理论为人工智能的逻辑基础提供新的见解。