An Optimal Tableau Decision Procedure for Converse-PDL

机译：CONVERSE-PDL的最佳Tableau决策程序

获取原文

页面导航

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

摘要

We give a novel tableau calculus and an optimal (ExpTime) tableau decision procedure based on the calculus for the satisfiability problem of propositional dynamic logic with converse. Our decision procedure is formulated with global caching and can be implemented together with useful optimization techniques.

机译：我们提供了一种新颖的Tableau微积分和最佳（EXPTIME）Tableau决定程序，基于对逆转的命题动态逻辑的可满足问题的微积分。我们的决策程序是通过全球缓存制定的，可以与有用的优化技术一起实施。

著录项

来源
《International Conference on Knowledge and Systems Engineering》|2009年||共8页
会议地点
作者
Linh Anh Nguyen; Andrzej Szalas;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类 TP182-53;
关键词

相似文献

外文文献
中文文献
专利

1. Tableau reductions: Towards an optimal decision procedure for the modal necessity [J] . Golinska-Pilarek Joanna, Munoz-Velaseo Emilio, Mora Angel Journal of Applied Logic . 2016,第sepa期

机译：Tableau减少：为模式必要性寻求最佳决策程序
2. Relational dual tableau decision procedures and their applications to modal and intuitionistic logics [J] . Joanna Golińska-Pilarek, Taneli Huuskonen, Emilio Mu?oz-Velasco Annals of Pure and Applied Logic . 2014,第2期

机译：关系双表格决策程序及其在模态和直觉逻辑中的应用
3. A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities [J] . Serenella Cerrito, Marta Cialdea Mayer Journal of Automated Reasoning . 2013,第2期

机译：基于Tableau的具有绑定，逆向和全局模态的混合逻辑表达片段的决策程序
4. An Optimal Tableau Decision Procedure for Converse-PDL [C] . Nguyen Linh Anh, Szalas Andrzej Knowledge and Systems Engineering, 2009. KSE '09 . 2009

机译：反向PDL的最佳Tableau决策程序
5. Optimal learning: Computational procedures for Bayes-adaptive Markov decision processes. [D] . Duff, Michael O'Gordon. 2002

机译：最佳学习：贝叶斯自适应马尔可夫决策过程的计算程序。
6. Optimality of the Holm procedure among general step-down multiple testing procedures [O] . Alexander Y. Gordon, Peter Salzman -1

机译：通用降压多次测试程序中Holm程序的最优性
7. An optimal tableau decision procedure for converse-PDL [O] . Linh Anh Nguyen, et al. 2009

机译：反向PDL的最佳画面决策程序

An Optimal Tableau Decision Procedure for Converse-PDL

摘要

著录项

相似文献

相关主题

期刊订阅