Automated reasoning in quantified modal and temporal logics

Claudio Castellini

首页> 外文期刊>AI communications >Automated reasoning in quantified modal and temporal logics

【24h】

Automated reasoning in quantified modal and temporal logics

机译：量化模态和时间逻辑中的自动推理

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

This paper is a summary of the author's PhD thesis, concerned with automated reasoning in quantified modal and temporal logics. The relevant contributions are: (ⅰ) a sound and complete set of sequent calculi for quantified modal logics is devised; (ⅱ) the approach is extended to the quantified temporal logic of linear, discrete time and a framework for doing automated reasoning via Proof Planning in it is developed; (ⅲ) a set of promising experimental results is shown, obtained by applying the framework to the problem of Feature Interactions in telecommunication systems.

机译：本文是作者博士论文的摘要，涉及定量模态和时间逻辑中的自动推理。相关的贡献是：（ⅰ）为量化的模态逻辑设计了一套健全而完整的后续演算；（ⅱ）该方法扩展到线性，离散时间的量化时间逻辑，并开发了通过证明计划进行自动推理的框架；（ⅲ）显示了一组有希望的实验结果，这些结果是通过将该框架应用于电信系统中的功能交互问题而获得的。

著录项

来源
《AI communications》 |2006年第2期|p.183-185|共3页
作者
Claudio Castellini;
展开▼
作者单位

LIRA-Lab/DIST, University of Genova, Italy;

展开▼
收录信息美国《科学引文索引》(SCI);美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类人工智能理论;
关键词
automated reasoning; quantified modal logics; quantified temporal logics; proof planning; feature interactions;

机译：自动推理;量化模态逻辑;量化时间逻辑;证明计划;特征交互;

相似文献

外文文献
中文文献
专利

1. Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-Satisfiability [J] . Sebastiani R., Vescovi M. The Journal of Artificial Intelligence Research . 2009,第4期

机译：通过SAT编码进行模态和描述逻辑中的自动推理：K（m）/ ALC可满足性的案例研究
2. Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K{sub}m/ALC-Satisfiability [J] . Roberto Sebastiani, Michele Vescovi The Journal of Artificial Intelligence Research . 2009,第Null期

机译：通过SAT编码进行模态和描述逻辑中的自动推理：K {sub} m / ALC可满足性的案例研究
3. Multi-dimensional modal logic as a framework for spatio-temporal reasoning [J] . Bennett B., Cohn AG., Wolter F., Applied Intelligence: The International Journal of Artificial Intelligence, Neural Networks, and Complex Problem-Solving Technologies . 2002,第3期

机译：多维模态逻辑作为时空推理的框架
4. Using Temporal Logic for Spatial Reasoning: Temporalized Propositional Neighborhood Logic [C] . Antonio Morales, Isabel Navarrete, Guido Sciavicco International Conference on Computer Aided Systems Theory(EUROCAST 2007); 20070212-16; Las Palmas de Gran Canaria(ES) . 2007

机译：使用时态逻辑进行空间推理：时态化命题邻域逻辑
5. A MODAL TEMPORAL LOGIC FOR REASONING ABOUT CHANGING DATABASES WITH APPLICATIONS TO NATURAL LANGUAGE QUESTION ANSWERING (ARTIFICIAL INTELLIGENCE). [D] . MAYS, ERIC KEENER. 1984

机译：一种模态时态逻辑，用于推理变更数据库，并将其应用于自然语言问题回答（人工智能）。
6. Fuzzy-logic manual and semi-automated 2SD-based approaches for quantification of myocardial necrosis from late contrast enhancement magnetic resonance images: comparison with biochemical assessment of infarct size and left ventricular volumes and function early after myocardial infarction [O] . Nicolas Baron 2011

机译：基于模糊逻辑手动和半自动基于2SD的方法从晚期对比增强磁共振图像中定量心肌坏死：与心肌梗塞后早期梗死面积左心室容积和功能的生化评估进行比较
7. Automated Reasoning in Quantified Modal and Temporal Logics [O] . Castellini Claudio 2005

机译：量化模态和时间逻辑中的自动推理

Automated reasoning in quantified modal and temporal logics

摘要

著录项

相似文献

相关主题

期刊订阅