Welcome to the InfoSci Platform
Reference Hub3
A Formal Model for Metacognitive Reasoning in Intelligent Systems

A Formal Model for Metacognitive Reasoning in Intelligent Systems

Manuel F. Caro, Darsana P. Josyula, Jovani A. Jiménez
Copyright: © 2014 |Volume: 8 |Issue: 3 |Pages: 17
ISSN: 1557-3958|EISSN: 1557-3966|EISBN13: 9781466653276|DOI: 10.4018/IJCINI.2014070105
Cite Article Cite Article

MLA

Caro, Manuel F., et al. "A Formal Model for Metacognitive Reasoning in Intelligent Systems." IJCINI vol.8, no.3 2014: pp.70-86. http://doi.org/10.4018/IJCINI.2014070105

APA

Caro, M. F., Josyula, D. P., & Jiménez, J. A. (2014). A Formal Model for Metacognitive Reasoning in Intelligent Systems. International Journal of Cognitive Informatics and Natural Intelligence (IJCINI), 8(3), 70-86. http://doi.org/10.4018/IJCINI.2014070105

Chicago

Caro, Manuel F., Darsana P. Josyula, and Jovani A. Jiménez. "A Formal Model for Metacognitive Reasoning in Intelligent Systems," International Journal of Cognitive Informatics and Natural Intelligence (IJCINI) 8, no.3: 70-86. http://doi.org/10.4018/IJCINI.2014070105

Export Reference

Mendeley
Favorite Full-Issue Download

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.