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]

  • Jul 19, 2019 News!

    IJEEEE Vol 9, No 4 is available online!    [Click]

  • Jul 18, 2019 News!

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

  • Jun 03, 2019 News!

    IJEEEE Vol. 9, No. 3 is available online!    [Click]

  • May 21, 2019 News!

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

  • Read more>>