A Formal Model for Metacognitive Reasoning in Intelligent Systems

Manuel F. Caro, Darsana P. Josyula and Jovani A. Jiménez
Additional contact information
Manuel F. Caro: Departamento de Informática Educativa, Universidad de Córdoba, Montería, Montería, Colombia
Darsana P. Josyula: Department of Computer Science, Bowie State University, Bowie, MD, USA
Jovani A. Jiménez: Departamento de Ciencias de la Computación y la Decisión, Universidad Nacional de Colombia, Medellín, Medellín, Colombia

International Journal of Cognitive Informatics and Natural Intelligence (IJCINI), 2014, vol. 8, issue 3, 70-86

Abstract: 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.

Date: 2014
References: Add references at CitEc
Citations:

Downloads: (external link)
https://services.igi-global.com/resolvedoi/resolve ... 18/IJCINI.2014070105 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jcini0:v:8:y:2014:i:3:p:70-86

Access Statistics for this article

International Journal of Cognitive Informatics and Natural Intelligence (IJCINI) is currently edited by Kangshun Li

More articles in International Journal of Cognitive Informatics and Natural Intelligence (IJCINI) from IGI Global
Bibliographic data for series maintained by Journal Editor ().