Automating Quantified Conditional Logics in HOL

机译：在HOL中自动执行量化条件逻辑

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

A notion of quantified conditional logics is provided that includes quantification over individual and propositional variables.The former is supported with respect to constant and variable domain semantics.In addition,a sound and complete embedding of this framework in classical higherorder logic is presented.Using prominent examples from the literature it is demonstrated how this embedding enables effective automation of reasoning within (object-level) and about (meta-level) quantified conditional logics with off-the-shelf higherorder theorem provers and model finders.

机译：提供了量化条件逻辑的概念，其中包括对单个变量和命题变量的量化。前者在常量和变量域语义方面受支持。此外，还提出了将该框架合理，完整地嵌入经典高阶逻辑中的方法。文献中的例子证明了这种嵌入如何利用现成的高阶定理证明者和模型发现者有效地自动化（对象级）和（元级）量化条件逻辑内的推理。

著录项

来源
《Proceedings of the Twenty-Third international joint conference on artificial intelligence》|2013年|746-753|共8页
会议地点 Beijing(CN)
作者
Christoph Benzmüller;
展开▼
作者单位

Dep. of Mathematics and Computer Science Freie Universit(a)t Berlin,Germany;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类人工智能理论;
关键词

相似文献

外文文献
中文文献
专利

1. Automating Free Logic in HOL, with an Experimental Application in Category Theory [J] . Benzmueller Christoph, Scott Dana S. Journal of Automated Reasoning . 2020,第1期

机译：在HOL中自动化自由逻辑，并在类别理论中进行实验应用
2. Automating Free Logic in HOL, with an Experimental Application in Category Theory [J] . Journal of neurosurgical sciences . 2020,第1期

机译：在HOL中自动自动逻辑，在类别理论中具有实验应用
3. Embedding and automating conditional logics in classical higher-order logic [J] . C. Benzmueller, D. Gabbay, V. Genovese, Annals of Mathematics and Artificial Intelligence . 2012,第1a4期

机译：在经典高阶逻辑中嵌入和自动化条件逻辑
4. Automating Quantified Conditional Logics in HOL [C] . Christoph Benzmüller International joint conference on artificial intelligence . 2013

机译：自动化HOL中的量化条件逻辑
5. A modal logic for role-based access control within the HOL theorem prover. [D] . Kosiyatrakul, Thumrongsak. 2010

机译：HOL定理证明器中基于角色的访问控制的模态逻辑。
6. LogiKEy workbench: Deontic logics logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset) [O] . Christoph Benzmüller, Ali Farjami, David Fuenmayor, 2020

机译：Logikey Workbench：语言逻辑组合和表现形式的道德和法律推理（Isabelle / HOL DataSet）
7. Embedding and automating conditional logics in classical higher-order logic [O] . Christoph Benzmüller, Dov Gabbay, Valerio Genovese, 2012

机译：在经典的高阶逻辑中嵌入和自动化条件逻辑
8. Conditional Event Algebras and Conditional Probability Logics. Basic Formulationsand a Product Space Approach to Conditional Events [R] . Calabrese, P. G., Goodman, I. R. 1995

机译：条件事件代数和条件概率逻辑。基本配方和有条件事件的产品空间方法

Automating Quantified Conditional Logics in HOL

摘要

著录项

相似文献

相关主题

期刊订阅