loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Author: Norihiro Kamide

Affiliation: Teikyo University, Japan

Keyword(s): Linear-time Temporal Logic, Paraconsistent Logic, Sequent Calculus, Completeness Theorem, Cutelimination Theorem.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Knowledge Representation and Reasoning ; Symbolic Systems ; Uncertainty in AI

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 44.198.162.35

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Kamide, N. (2015). Inconsistency and Sequentiality in LTL. In Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART; ISBN 978-989-758-074-1; ISSN 2184-433X, SciTePress, pages 46-54. DOI: 10.5220/0005180800460054

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

TY - CONF

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