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 条
  • [41] Formal reasoning in late adulthood: The role of semantic content and metacognitive strategy (vol 2, pg 1, 1995)
    Pollack, RD
    JOURNAL OF ADULT DEVELOPMENT, 1995, 2 (03) : 205 - 205
  • [42] A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems
    Li, Qin
    Wang, Jinxun
    Xu, Qiwen
    Huang, Yanhong
    Zhu, Huibiao
    2015 20TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2015, : 150 - 159
  • [43] Modelling human reasoning in intelligent decision support systems
    Vagin, V. N.
    Yeremeyev, A. P.
    ICEIS 2007: PROCEEDINGS OF THE NINTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS: ARTIFICIAL INTELLIGENCE AND DECISION SUPPORT SYSTEMS, 2007, : 277 - 282
  • [44] Implementation of the temporal reasoning mechanism in modern intelligent systems
    Ereemev, A. P.
    Kurilenko, I. E.
    JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL, 2007, 46 (02) : 279 - 294
  • [45] Intelligent device formal description applied to hybrid systems
    Bayart, M
    Lemaire, E
    INTELLIGENT COMPONENTS AND INSTRUMENTS FOR CONTROL APPLICATIONS 1997 (SICICA'97), 1997, : 563 - 568
  • [46] Implementation of the temporal reasoning mechanism in modern intelligent systems
    A. P. Ereemev
    I. E. Kurilenko
    Journal of Computer and Systems Sciences International, 2007, 46 : 279 - 294
  • [47] Formal Compositional Reasoning of Autonomous Aerial Systems with Complex Algorithms
    Stafford, Milton
    Bhattacharyya, Siddhartha
    Clark, Matthew
    Neogi, Natasha A.
    2020 14TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON2020), 2020,
  • [48] Modelling spatial reasoning systems with shape algebras and formal logic
    Chase, Scott C.
    Artificial Intelligence for Engineering Design, Analysis and Manufacturing: AIEDAM, 1997, 11 (04): : 273 - 285
  • [49] Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems
    Laibinis, Linas
    Troubitsyna, Elena
    Leppanen, Sari
    METHODS, MODELS AND TOOLS FOR FAULT TOLERANCE, 2009, 5454 : 130 - +
  • [50] Index System of Information Systems Survivability: Formal Definitions and Reasoning
    Wang, Huiqiang
    Wang, Jian
    Zhao, Guosheng
    ICICSE: 2008 INTERNATIONAL CONFERENCE ON INTERNET COMPUTING IN SCIENCE AND ENGINEERING, PROCEEDINGS, 2008, : 294 - 297
12345