Principles of Efficient Inference

有效推理的原则这是一个为期三年的连续奖励的第一年资助。 该项目旨在揭示构建采用声明性知识表示和通用推理引擎的实时AI系统的基本原则。 为了实现这一目标，PI将（a）基于随机问题分布中相变工作的概念研究问题难度的“细粒度”结构;（B）开发更快的完整和不完整推理引擎，包括采用决策理论控制推理的系统;以及（c）在机器人试验台中应用和测试新算法规划问题。 这项研究将导致创建有用的新算法，解决困难的组合问题，如基于知识的专家系统，自治系统和运筹学领域。 研究结果还将促进人工智能、理论、OR、机器人和验证社区中逻辑和推理的跨学科工作。

Principles of Efficient InferenceThis is the first year funding of a three year continuing award. This project seeks to uncover fundamental principles for the construction of real-time AI systems that employ declarative knowledge representations and general reasoning engines. To achieve this goal, the PI will (a) study the "fine grained" structure of problem hardness based on notions coming out of work on phase transitions in random problem distributions; (b) develop faster complete and incomplete reasoning engines, including systems that employ decision-theoretic control of reasoning; and (c) apply and test the new algorithms to planning problems in a robotics testbed. This research will lead to the creation of useful new algorithms for solving hard combinatorial problems in areas such as knowledge-based expert systems, autonomous systems, and operations research. The results will also promote interdisciplinary work on logic and reasoning in the AI, theory, OR, robotics, and verification communities.