A Framework for Heterogeneous Reasoning in Formal and Informal Domains
A Framework for Heterogeneous Reasoning in Formal and Informal Domains
复制标题
正式和非正式领域的异构推理框架
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
M. Jamnik
中科院分区：
文献类型：
--
作者：
Matej Urbas;M. Jamnik
异构推理是指混合使用图解语言和图解语言以及推理步骤的定理证明。我们引入了一个异构的逻辑，使一个简单而灵活的方式来扩展逻辑现有的通用定理证明与表示从完全不同的，可能不是正式的域。我们使用我们的异构逻辑的框架，使不同的推理工具集成到新的异构推理系统。我们的实现这个框架是MixR -我们展示了它的灵活性和可扩展性与一些例子。
Heterogeneous reasoning refers to theorem proving with mixed diagrammatic and sentential languages and inference steps. We introduce a heterogeneous logic that enables a simple and flexible way to extend logics of existing general-purpose theorem provers with representations from entirely different and possibly not formalised domains. We use our heterogeneous logic in a framework that enables integrating different reasoning tools into new heterogeneous reasoning systems. Our implementation of this framework is MixR – we demonstrate its flexibility and extensibility with a few examples.