loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Norihiro Kamide 1 and Juan Pedro Altamirano Bernal 2

Affiliations: 1 Teikyo University, Faculty of Science and Engineering, Department of Information and Electronic Engineering, Toyosatodai 1-1, Utsunomiya-shi, Tochigi 320-8551 and Japan ; 2 Panamerican University, Faculty of Engineering, Department of Electronic Engineering and Digital Systems, Josemaria Escriva de Balaguer No. 101, CP. 20190 Aguascalientes, Aguascalientes and Mexico

Keyword(s): Probabilistic Temporal Logic, Inconsistency-tolerant Temporal Logic, Hierarchical Temporal Logic, Locative Temporal Logic, Probabilistic Model Checking, Inconsistency-tolerant Model Checking, Hierarchical Model Checking.

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

Abstract: A locative inconsistency-tolerant hierarchical probabilistic computation tree logic (LIHpCTL) is introduced in this paper to establish the logical foundation of a new model checking paradigm. This logic is an extension of several previously proposed extensions of the standard temporal logic known as CTL, which is widely used for model checking. The extended model checking paradigm proposed is intended to appropriately verify locative (spatial), inconsistent, hierarchical, probabilistic (randomized), and time-dependent concurrent systems. Additionally, a survey of various studies on probabilistic, inconsistency-tolerant, and hierarchical temporal logics and their applications in model checking is conducted.

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 34.227.112.145

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. and Bernal, J. (2019). Towards Locative Inconsistency-tolerant Hierarchical Probabilistic CTL Model Checking: Survey and Future Work. In Proceedings of the 11th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART; ISBN 978-989-758-350-6; ISSN 2184-433X, SciTePress, pages 869-878. DOI: 10.5220/0007683808690878

@conference{icaart19,
author={Norihiro Kamide. and Juan Pedro Altamirano Bernal.},
title={Towards Locative Inconsistency-tolerant Hierarchical Probabilistic CTL Model Checking: Survey and Future Work},
booktitle={Proceedings of the 11th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART},
year={2019},
pages={869-878},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007683808690878},
isbn={978-989-758-350-6},
issn={2184-433X},
}

TY - CONF

JO - Proceedings of the 11th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART
TI - Towards Locative Inconsistency-tolerant Hierarchical Probabilistic CTL Model Checking: Survey and Future Work
SN - 978-989-758-350-6
IS - 2184-433X
AU - Kamide, N.
AU - Bernal, J.
PY - 2019
SP - 869
EP - 878
DO - 10.5220/0007683808690878
PB - SciTePress