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 条
  • [21] Formal reasoning in Japanese older adults: The role of metacognitive strategy, task content, and social factors
    Takahashi, M
    Overton, WE
    JOURNAL OF ADULT DEVELOPMENT, 1996, 3 (02) : 81 - 91
  • [22] Machine Learning-based Intelligent Formal Reasoning and Proving System
    Chen, Shengqing
    Huang, Xiaojian
    Fang, Jiaze
    Liang, Jia
    2017 INTERNATIONAL SYMPOSIUM ON APPLICATION OF MATERIALS SCIENCE AND ENERGY MATERIALS (SAMSE 2017), 2018, 322
  • [23] A refinement and abstraction method of the SPZN formal model for intelligent networked vehicles systems
    Liu, Yang
    Fan, Yingqi
    Zhao, Ling
    Mi, Bo
    KSII TRANSACTIONS ON INTERNET AND INFORMATION SYSTEMS, 2024, 18 (01): : 64 - 88
  • [24] Formal model for intelligent route planning
    Spichkova, Maria
    Simic, Milan
    Schmidt, Heinz
    KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS 19TH ANNUAL CONFERENCE, KES-2015, 2015, 60 : 1299 - 1308
  • [25] Using formal reasoning on a model of tasks for FreeRTOS
    Cheng, Shu
    Woodcock, Jim
    D'Souza, Deepak
    FORMAL ASPECTS OF COMPUTING, 2015, 27 (01) : 167 - 192
  • [26] Modeling students' metacognitive errors in two intelligent tutoring systems
    Roll, I
    Baker, RS
    Aleven, V
    McLaren, BM
    Koedinger, KR
    USER MODELING 2005, PROCEEDINGS, 2005, 3538 : 367 - 376
  • [27] Knowledge Representation and Reasoning for Intelligent Software Systems
    Vassev, Emil
    Hinchey, Mike
    COMPUTER, 2011, 44 (08) : 96 - 99
  • [28] The Handbook on Reasoning-based Intelligent Systems
    Favorskaya, Margarita N.
    INTELLIGENT DECISION TECHNOLOGIES-NETHERLANDS, 2014, 8 (03): : 251 - 252
  • [29] Using plausible reasoning for developing intelligent systems
    Khandzad, B
    Ashoori, E
    Oroumchian, F
    Araabi, BN
    APPLICATIONS AND SCIENCE IN SOFT COMPUTING, 2004, : 203 - 212
  • [30] Formal goal generation for intelligent control systems
    Dapoigny, R
    Barlatier, P
    Foulloy, L
    Benoit, E
    INNOVATIONS IN APPLIED ARTIFICIAL INTELLIGENCE, 2005, 3533 : 712 - 721
12345