The interaction of representation and reasoning.
The interaction of representation and reasoning.
复制标题
表征与推理的相互作用。
DOI：
10.1098/rspa.2013.0194
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Bundy A
中科院分区：
文献类型：
--
作者：
Bundy A
自动推理是许多信息学应用的使能技术。这些应用包括验证计算机程序是否符合其规格；使机器人能够结合来自不同来源的信息，例如互联网等，形成一个完成任务和回答问题的计划。自动推理怎么可能？首先，一个领域的知识必须存储在计算机中，通常以逻辑公式的形式存储。例如，这些知识可能是手动输入的，从互联网上检索的，或者通过摄像头等传感器在环境中感知到的。其次，对旧知识应用推理规则，推导出新知识；自动推理技术是从逻辑发展而来的，逻辑是数学的一个分支，最初被设计用来形式化人类的推理，尤其是数学家的推理。我特别感兴趣的是表征和推理相互作用的方式。成功的推理依赖于知识的恰当表达和成功的推理方法。推理的失败可以提示表征的变化。这种表示变化的过程也可以自动化。我们将通过借鉴我的研究小组最近的工作来说明表征变化的自动化。
Automated reasoning is an enabling technology for many applications of informatics. These applications include verifying that a computer program meets its specification; enabling a robot to form a plan to achieve a task and answering questions by combining information from diverse sources, e.g. on the Internet, etc. How is automated reasoning possible? Firstly, knowledge of a domain must be stored in a computer, usually in the form of logical formulae. This knowledge might, for instance, have been entered manually, retrieved from the Internet or perceived in the environment via sensors, such as cameras. Secondly, rules of inference are applied to old knowledge to derive new knowledge. Automated reasoning techniques have been adapted from logic, a branch of mathematics that was originally designed to formalize the reasoning of humans, especially mathematicians. My special interest is in the way that representation and reasoning interact. Successful reasoning is dependent on appropriate representation of both knowledge and successful methods of reasoning. Failures of reasoning can suggest changes of representation. This process of representational change can also be automated. We will illustrate the automation of representational change by drawing on recent work in my research group.