A Formal Model for Metacognitive Reasoning in Intelligent Systems

被引：0
|
作者：
Caro, Manuel F. [1 ]
Josyula, Darsana P. [2 ]
Jimenez, Jovani A. [3 ]
机构：
[1] Univ Cordoba Monteria, Dept Informat Educ, Monteria, Colombia
[2] Bowie State Univ, Dept Comp Sci, Bowie, MD USA
[3] Univ Nacl Colombia, Dept Ciencias Computac & Decis, Medellin, Colombia
来源：
INTERNATIONAL JOURNAL OF COGNITIVE INFORMATICS AND NATURAL INTELLIGENCE | 2014年 / 8卷 / 03期
关键词：
Artificial Intelligence; Cognitive Reasoning; Intelligent Tutoring System; Meta-Level Control; Metacognitive Reasoning;
D O I：
10.4018/IJCINI.2014070105
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This paper presents a formal model of metacognitive reasoning in intelligent systems (IS). The proposed model was named fM2 and uses predicate logic to represent a cycle of reasoning about failures generated in reasoning tasks in an IS. fM2 has mechanisms such as introspective monitoring and meta-level control to perform metacognitive reasoning. fM2 was implemented and validated on an intelligent tutoring system named FUNPRO. The performance metrics of FUNPRO indicate the capacity of fM2 to drastically decrease the reasoning failures produced in the recommendations of FUNPRO. Thus, this paper demonstrates the efficacy of fM2 as a valid tool to improve the performance of the reasoning processes of IS.
引用
收藏
页码：70 / 86
页数：17
相关论文
共 50 条
  • [31] Formal Reasoning About Privacy and Trust in Loyalty Systems
    Decroix, Koen
    Lapon, Jorn
    Lemaire, Laurens
    De Decker, Bart
    Naessens, Vincent
    BUSINESS INFORMATION SYSTEMS WORKSHOPS, BIS 2015, 2015, 228 : 211 - 223
  • [32] METACOGNITIVE STRATEGIES IN CHILDRENS REASONING
    CHALMERS, M
    MCGONIGLE, B
    BULLETIN OF THE BRITISH PSYCHOLOGICAL SOCIETY, 1984, 37 (FEB): : A26 - A26
  • [33] INFORMATION AND REASONING IN INTELLIGENT DECISION SUPPORT SYSTEMS
    HOLLNAGEL, E
    INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1987, 27 (5-6): : 665 - 678
  • [34] Formal Contextual Ontologies for Intelligent Information Systems
    Arara, Ahmed Ab.
    Laurini, Robert
    PROCEEDINGS OF WORLD ACADEMY OF SCIENCE, ENGINEERING AND TECHNOLOGY, VOL 5, 2005, 5 : 303 - 306
  • [35] QUANTLOG - A SYSTEM FOR APPROXIMATE REASONING IN INCONSISTENT FORMAL SYSTEMS
    SUBRAHMANIAN, VS
    UMRIGAR, ZD
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 310 : 746 - 747
  • [36] Formal Development of Policing Functions for Intelligent Systems
    Bogdiukiewicz, C.
    Butler, M.
    Hoang, T. S.
    Paxton, M.
    Snook, J.
    Waldron, X.
    Wilkinson, T.
    2017 IEEE 28TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2017, : 194 - 204
  • [37] Intelligent systems and formal methods in software engineering
    Beckert, Bernhard
    Hoare, Tony
    Hahnle, Reiner
    Smith, Douglas R.
    Green, Cordell
    Ranise, Silvio
    Tinelli, Cesare
    Ball, Thomas
    Rajamani, Sriram K.
    IEEE INTELLIGENT SYSTEMS, 2006, 21 (06) : 71 - 81
  • [38] A Formal Approach to Design and Security Verification of Operating Systems for Intelligent Transportation Systems Based on Object Model
    Qian, Zhenjiang
    Zhong, Shan
    Sun, Gaofei
    Xing, Xiaoshuang
    Jin, Yong
    IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2023, 24 (12) : 15459 - 15467
  • [39] A general methodology for developing intelligent CAE systems - A model-based reasoning approach
    Zhang, WJ
    Zhang, D
    JOURNAL OF MATERIALS PROCESSING TECHNOLOGY, 1996, 61 (1-2) : 148 - 153
  • [40] Adaptive Training of the Metacognitive Skill of Knowledge Monitoring in Intelligent Tutoring Systems
    Kautzmann, Tiago Roberto
    Carlotto, Talvany
    Jaques, Patricia A.
    INTELLIGENT TUTORING SYSTEMS, ITS 2016, 2016, 9684 : 301 - 306
12345