• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文学位 >Designing heterogeneous reasoning systems with a case study on FOL and Euler/Venn reasoning.
【24h】

Designing heterogeneous reasoning systems with a case study on FOL and Euler/Venn reasoning.

机译：以FOL和Euler / Venn推理为例设计异构推理系统。

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

In recent years we have witnessed a growing interest in heterogeneous reasoning systems. A heterogeneous reasoning system incorporates different representation systems, for example, in the case study of this project a sentential and a diagrammatic system. The advantage of heterogeneous systems is that they allow a reasoner to bridge the gaps among various formalisms and construct threads of proof which cross the boundaries of the systems of representation. In doing this, these heterogeneous systems allow the reasoner to take advantage of each component system's ability to express information in its area of expertise while at the same time allowing the reasoner to work with all of their information content together.; The main goal of this work is to design a framework for the definition of heterogeneous rules of inference for a broad class of heterogeneous systems. These rules of inference allow the exchange of information between the system's representations and will be referred to as recast rules. For any given heterogeneous reasoning system, this framework could be used to define many plausible notions of recasting. However in this project, I will primarily discuss a special kind of recasting, called observation, that was inspired by Dretske's notion of secondary seeing. Broadly described, observation is a process of information extraction based upon the explicit information content of a representation.; Once presented, this framework will be used as the basis of a detailed case study of the heterogeneous rules of inference in a FOL and Euler/Venn reasoning system. This case study will consist of both the mathematical theory of the heterogeneous rules of inference as well as an implementation of those rules.
机译：近年来，我们已经看到了对异构推理系统的日益增长的兴趣。异构推理系统包含不同的表示系统，例如，在该项目的案例研究中，句子和图表系统。异构系统的优势在于，它们允许推理者弥合各种形式主义之间的鸿沟，并构建跨越代表系统边界的证据线。在这样做时，这些异构系​​统允许推理机利用每个组件系统在其专业领域表达信息的能力，同时允许推理机一起使用其所有信息内容。这项工作的主要目标是设计一个框架，用于为各种各样的异构系统定义异构推理规则。这些推理规则允许在系统表示之间交换信息，这些规则称为重铸规则。对于任何给定的异构推理系统，此框架均可用于定义许多合理的重铸概念。但是，在这个项目中，我将主要讨论一种特殊的重铸方法，称为观察，它是由Dretske的辅助观察概念启发而来的。概括地说，观察是基于表示的显式信息内容的信息提取过程。一旦提出，该框架将被用作FOL和Euler / Venn推理系统中异构推理规则的详细案例研究的基础。该案例研究将包括异构推理规则的数学理论以及这些规则的实现。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号