Chapter

Computational Logic: Logic Programming and Beyond

Volume 2408 of the series Lecture Notes in Computer Science pp 253-288

Date:

Meta-reasoning: A Survey

  • Stefania CostantiniAffiliated withDipartimento di Informatica, Università degli Studi di L’Aquila

* Final gross prices may vary according to local VAT.

Get Access

Abstract

We present the basic principles and possible applications of systems capable of meta-reasoning and reflection. After a discussion of the seminal approaches, we outline our own perception of the state of the art, mainly but not only in computational logic and logic programming. We review relevant successful applications of meta-reasoning, and the basic underlying semantic principles.