RI: Small: Knowledge Representation and Reasoning under Uncertainty with Probabilistic Answer Set Programming

RI：小：不确定性下的知识表示和推理与概率答案集编程

基本信息

批准号：
1526301
负责人：
Joohyung Lee
金额：
$ 34.28万
依托单位：
Arizona State University
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
2015
资助国家：
美国
起止时间：
2015-08-01 至 2019-07-31
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=1526301&HistoricalAwards=false
关键词：
RI Small Knowledge Representation Reasoning

项目摘要

Combining logic and probability is an important subject in Artificial Intelligence, and is recently being extensively studied in the area of statistical relational learning, where the main goal of representation is to express probabilistic models in a compact way that reflects the relational structure of the domain and ideally supports efficient learning and inference. However, in comparison with main knowledge representation languages, such languages do not allow natural, elaboration tolerant representation of commonsense knowledge. Currently, there is a big gap between the state of the art languages that are used in knowledge representation and the state of the art languages in which machine learning is done. The success of this project will identify fundamental issues in bridging the gap between the two areas, will produce a uniform framework for both expressive representation and learning, and will contribute to the integration of knowledge representation and machine learning. The outcome of the research will be useful for many applications that require integration of knowledge representation and other areas, such as vision, robotics, and event recognition, where commonsense reasoning has to be applied on uncertain knowledge and data. The software systems developed under this project will be freely available as open source software. The research will involve both graduate and undergraduate students, contributing to a strengthened relationship between education and research. The goal of the project is to design and implement a knowledge representation language that allows elaboration tolerant representation of expressive commonsense knowledge involving logic and probability, which can be efficiently computed by the techniques developed in related areas. The proposed research aims at shifting the current logic-based foundation of answer set programming to a novel foundation that combines logic and probability, and achieving its computation by intelligently adapting and combining the methods from probabilistic reasoning and machine learning. It will build upon the existing works on answer set programming, statistical relational learning, and probabilisitic logic programming. The project will (i) enhance the mathematical foundation of answer set programming to the novel foundation that combines logic and probability. (ii) relate it to other existing approaches in statistical relational learning, Pearl's causal models, and P-Log; (iii) design inference and learning algorithms; (iv) design a high level action language that allows elaboration tolerant representation of probabilistic transition systems; (v) apply probabilistic answer set programming to event recognition; (vi) implement and evaluate involved software systems.

结合逻辑和概率是人工智能中的一个重要主题，最近在统计关系学习领域进行了广泛的研究，在统计关系学习领域，代表性的主要目标是以紧凑的方式表达概率模型，以反映域的关系结构并理想地支持有效的学习和推理。但是，与主要知识表示语言相比，这种语言不允许自然，阐述常识性知识。当前，在知识表示中使用的艺术语言状态和在其中完成机器学习的最先进的语言状态之间存在很大的差距。该项目的成功将确定在弥合两个领域之间差距的基本问题，将为表达性代表和学习提供统一的框架，并将有助于知识表示和机器学习的整合。该研究的结果将对许多需要集成知识表示和其他领域的应用程序，例如视觉，机器人技术和事件识别，在这些应用程序中，必须将常识性推理应用于不确定的知识和数据。该项目下开发的软件系统将作为开源软件免费提供。这项研究将涉及研究生和本科生，从而有助于教育与研究之间的关系。该项目的目的是设计和实施一种知识表示语言，该语言允许宽容允许涉及逻辑和概率的表达常识性知识表示，这可以通过相关领域中开发的技术有效地计算出来。拟议的研究旨在将当前基于逻辑的答案集编程基础转移到结合逻辑和概率的新颖基础上，并通过智能适应和结合概率推理和机器学习的方法来实现其计算。它将基于答案集编程，统计关系学习和概率逻辑编程的现有作品。该项目将（i）增强答案集编程的数学基础，以结合逻辑和概率的新颖基础。（ii）将其与统计关系学习，Pearl的因果模型和P-LOG中的其他现有方法相关联；（iii）设计推理和学习算法；（iv）设计一种高级动作语言，允许对概率过渡系统的宽容耐受性表示；（v）将概率答案集编程应用于事件识别；（vi）实施并评估涉及的软件系统。