Belief change in knowledge-based agents

基于知识的代理人的信念改变

• 批准号: RGPIN-2018-05983
• 负责人: Delgrande, James
• 金额: $ 2.99万
• 依托单位: Simon Fraser University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2019
• 资助国家: 加拿大
• 起止时间: 2019-01-01 至 2020-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=688204
• 关键词: Belief; change; knowledge; based; agents

In Knowledge Representation in Artificial Intelligence, an agent's knowledge will generally be incomplete, inaccurate, and will evolve over time. This will be the case whether the agent is a robot in a physical domain, or a software agent on the web, or a diagnostic agent dealing with a corpus of medical information. On the one hand, an agent must be able to incorporate new information, perhaps correcting or filling in its erroneous or incomplete knowledge. On the other hand, an agent must deal as best it can with the information it has, by drawing plausible conclusions or otherwise dealing with incomplete information.******My research program focusses on these issues, specifically on managing belief change and on the closely-related issues of defeasible and preferential reasoning. While a great deal of work has been carried out in these areas, significant challenges remain: there are fundamental issues that have not been fully addressed or that are not fully understood; applications of belief change theories in practical settings are limited; and work remains in developing belief change theories within a dynamic environment.******Research in the previous grant period focussed on belief change, with emphasis on non-classical logics and fragments of classical logic, and on belief change in an action domain. For the next grant period, I will focus primarily on belief change, while also addressing the related topic of using defeasible reasoning for dealing with incomplete knowledge. Three interrelated projects will be undertaken. The first covers formal aspects of belief change and its application in realistic settings. I will look at the specific problems of dealing with (ir)relevant information and in revising in a first-order setting; these are arguably the two major unaddressed (or incompletely addressed) problems in belief change. I also will continue ongoing work in applying belief change in description logics (essentially, fragments of first-order logic), where the goal will be to develop an application for updating a large knowledge base (tentatively SNOMED CT) based on "commonsense" principles. The second project will address topics in qualitative, defeasible, reasoning: a new approach to nonmonotonic reasoning will be developed that is intended to be suitable for description logics; and second, a preference-based approach to deontic reasoning, dealing with instructing an agent what it should do, will be developed and implemented. The third topic continues work from the previous grant period, where the goal is to provide a qualitative, high-level specification of an agent in an action domain where actions may fail or have unanticipated or nondeterministic effects, sensors may not be reliable, and the agent's beliefs may be incorrect.

在人工智能中的知识表示中，代理的知识通常是不完整的、不准确的，并且会随着时间的推移而演变。无论代理是物理领域中的机器人，还是网络上的软件代理，还是处理医疗信息语料库的诊断代理，都将是这种情况。一方面，智能体必须能够整合新信息，可能会纠正或填充其错误或不完整的知识。另一方面，代理必须尽可能地处理它所拥有的信息，通过得出合理的结论或以其他方式处理不完整的信息。******我的研究项目主要集中在这些问题上，特别是在管理信念变化以及与之密切相关的可失败推理和优先推理问题上。虽然在这些领域进行了大量工作，但仍然存在重大挑战：有些根本问题没有得到充分解决或没有得到充分了解；信念改变理论在实际环境中的应用是有限的；在动态环境中发展信念改变理论的工作仍在继续。******上一个资助期的研究主要集中在信念变化上，重点是非经典逻辑和经典逻辑的片段，以及行动域的信念变化。在下一个资助期，我将主要关注信念的改变，同时也将讨论使用可推翻推理来处理不完整知识的相关主题。将进行三个相互关联的项目。第一部分涵盖了信仰变化的形式方面及其在现实环境中的应用。我将着眼于处理（ir）相关信息和在一阶环境下修正的具体问题；这可以说是信仰改变中未解决（或未完全解决）的两个主要问题。我还将继续在描述逻辑（本质上是一阶逻辑的片段）中应用信念变化，其目标是开发一个基于“常识”原则更新大型知识库（暂定为SNOMED CT）的应用程序。第二个项目将涉及定性、可否定性推理的主题：将开发一种适用于描述逻辑的非单调推理的新方法；其次，一种基于偏好的道义推理方法将被开发和实施，这种方法将指导agent应该做什么。第三个主题继续前一个授权期的工作，其目标是在行动领域提供一个定性的、高层次的代理规范，其中行动可能失败或具有意外或不确定的影响，传感器可能不可靠，代理的信念可能不正确。