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.

References

  1. Almukdad, A. and Nelson, D. (1984). Constructible falsity and inexact predicates. Journal of Symbolic Logic, 49:231-233.
  2. Gurevich, Y. (1977). Intuitionistic logic with strong negation. Studia Logica, 36:49-59.
  3. Kamide, N. (2010). A proof system for temporal reasoning with sequential information. In Proceedings of the 20th Brazilian Symposium on Artificial Intelligence (SBIA 2010), Lecture Notes in Artificial Intelligence 6404, pages 283-292.
  4. Kamide, N. (2013a). An extended LTL for inconsistencytolerant reasoning with hierarchical information: Verifying students' learning processes. International Journal of e-Education, e-Business, e-Management and eLearning, 3 (3):234-238.
  5. Kamide, N. (2013b). Modeling and verifying inconsistency-tolerant temporal reasoning with hierarchical information: Dealing with students' learning processes. In Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics (SMC 2013), pages 1859-1864.
  6. Kamide, N. and Kaneiwa, K. (2009). Extended full computation-tree logic with sequence modal operator: representing hierarchical tree structures. In Proceedings of the 22nd Australasian Joint Conference on Artificial Intelligence, Lecture Notes in Artificial Intelligence 5866, pages 485-494.
  7. Kamide, N. and Wansing, H. (2011). A paraconsistent linear-time temporal logic. Fundamenta Informaticae, 106 (1):1-23.
  8. Kamide, N. and Wansing, H. (2012). Proof theory of nelson's paraconsistent logic: A uniform perspective. Theoretical Computer Science, 415:1-38.
  9. Kaneiwa, K. and Kamide, N. (2010). Sequence-indexed linear-time temporal logic: Proof system and application. Applied Artificial Intelligence, 24:896-913.
  10. Kaneiwa, K. and Kamide, N. (2011). Conceptual modeling in full computation-tree logic with sequence modal operator. International Journal of Intelligent Systems, 26 (7):636-651.
  11. Kawai, H. (1987). Sequential calculus for a first order infinitary temporal logic. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 33:423-432.
  12. Nelson, D. (1949). Constructible falsity. Journal of Symbolic Logic, 14:16-26.
  13. Pnueli, A. (1977). The temporal logic of programs. In Proceedings of the 18th IEEE Symposium on Foundations of Computer Science, pages 46-57.
  14. Priest, G. (2002). Paraconsistent logic, Handbook of Philosophical Logic (Second Edition), Vol. 6, D. Gabbay and F. Guenthner (eds.). Kluwer Academic Publishers, Dordrecht, pp. 287-393.
  15. Rautenberg, W. (1979). Klassische und nicht-klassische Aussagenlogik. Vieweg, Braunschweig.
  16. Sistla, A. and Clarke, E. (1985). The complexity of propositional linear temporal logics. Journal of the ACM, 32 (3):733-749.
  17. Vorob'ev, N. (1952). A constructive propositional calculus with strong negation (in Russian). Doklady Akademii Nauk SSR, 85:465-468.
  18. Wansing, H. (1993). The logic of information structures. In Lecture Notes in Computer Science, volume 681, pages 1-163.
Download


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