审慎 STIT 理论的替代公理化及其复杂性
计算机科学中的逻辑
2011-04-29 v1
摘要
我们提出了 Xu 对 Chellas STIT 公理化的两种替代方案。第一种方案还提供了对审慎 STIT（deliberative STIT）的替代公理化。第二种方案基于历史必然算子可以定义为行动算子的缩写、因而可以从 Chellas STIT 的逻辑中消去的思想。第二种公理化还使我们能够确定：在不包含时态算子的情形下，判定 STIT 公式可满足性问题在单智能体情况下是 NP-完全的，在多智能体情况下是 NEXPTIME-完全的，这对审慎 STIT 和 Chellas STIT 均成立。
引用
@article{arxiv.0704.3238,
title = {Alternative axiomatics and complexity of deliberative STIT theories},
author = {Philippe Balbiani and Andreas Herzig and Nicolas Troquard},
journal= {arXiv preprint arXiv:0704.3238},
year = {2011}
}
备注
Submitted to the Journal of Philosophical Logic; 13 pages excluding annex