Volume 3 Number 3 (Jun. 2013)
Home > Archive > 2013 > Volume 3 Number 3 (Jun. 2013) >
IJEEEE 2013 Vol.3(3): 234-238 ISSN: 2010-3654
DOI: 10.7763/IJEEEE.2013.V3.230

An Extended LTL for Inconsistency-Tolerant Reasoning with Hierarchical Information: Verifying Students' Learning Processes

Norihiro Kamide
Abstract— In this paper, a new extended linear-time temporal logic (LTL), called sequential paraconsistent LTL (SPLTL), is introduced for formalizing inconsistency-tolerant reasoning with hierarchical information. A theorem for embedding SPLTL into LTL is proved, and SPLTL is shown to be decidable. Some illustrative examples for verifying Students' learning processes are presented using SPLTL.

Index Terms— Decidability, linear-time temporal logic, paraconsistent logic, students’ learning processes.

Norihiro Kamide is with Faculty of Information Technology and Business, Cyber University, Japan Cyber Educational Institute, Ltd. Izumishibakouen Building 4F, 1-6-8 Shibakouen, Minato-ku, Tokyo 105-0011, Japan (e-mail: drnkamide08@kpd.biglobe.ne.jp).

Cite: Norihiro Kamide, " An Extended LTL for Inconsistency-Tolerant Reasoning with Hierarchical Information: Verifying Students' Learning Processes," International Journal of e-Education, e-Business, e-Management and e-Learning vol. 3, no. 3, pp. 234-238, 2013.

General Information

ISSN: 2010-3654 (Online)
Abbreviated Title: Int. J. e-Educ. e-Bus. e-Manag. e-Learn.
Frequency: Quarterly
Editor-in-Chief: Prof. Kuan-Chou Chen
Executive Editor: Ms. Nancy Lau
Abstracting/ Indexing: EBSCO, Google Scholar, Electronic Journals Library, QUALIS, ProQuest, EI (INSPEC, IET)
E-mail: ijeeee@iap.org
  • May 14, 2019 News!

    Vol.7, No.4-Vol.8, No.2 have been indexed by EI (Inspec).   [Click]

  • Apr 03, 2020 News!

    IJEEEE Vol 10, No 2 is available online!    [Click]

  • Apr 01, 2020 News!

    The papers published in Vol 10, No 1 have all received dois from Crossref

  • Jan 09, 2020 News!

    IJEEEE Vol 10, No 1 is available online!    [Click]

  • Sep 09, 2019 News!

    The papers published in Vol 9, No 4 have all received dois from Crossref

  • Read more>>