Inconsistency and Sequentiality in LTL

Norihiro Kamide

2015

Abstract

Inconsistency-tolerant temporal reasoning with sequential (ordered or hierarchical) information is of gaining increasing importance in the areas of computer science applications such as medical informatics. A logical system for representing such reasoning is required for obtaining a theoretical basis for such applications. In this paper, a new logic called a paraconsistent sequential linear-time temporal logic (PSLTL) is introduced extending the standard linear-time temporal logic (LTL). PSLTL can appropriately represent inconsistency-tolerant temporal reasoning with sequential information. The cut-elimination, complexity and completeness theorems for PSLTL are proved as the main results of this paper.

Paper Citation

in Harvard Style

Kamide N. (2015). Inconsistency and Sequentiality in LTL . In Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-758-074-1, pages 46-54. DOI: 10.5220/0005180800460054

in Bibtex Style

@conference{icaart15,
author={Norihiro Kamide},
title={Inconsistency and Sequentiality in LTL},
booktitle={Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2015},
pages={46-54},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005180800460054},
isbn={978-989-758-074-1},
}

in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - Inconsistency and Sequentiality in LTL
SN - 978-989-758-074-1
AU - Kamide N.
PY - 2015
SP - 46
EP - 54
DO - 10.5220/0005180800460054