Elf: a language for logic definition and verified metaprogramming
Proceedings of the Fourth Annual Symposium on Logic in computer science
ABCL: an object-oriented concurrent system
ABCL: an object-oriented concurrent system
Cyc: toward programs with common sense
Communications of the ACM
The Kalman filter: an introduction to concepts
Autonomous robot vehicles
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Artificial Intelligence - Special issue on knowledge representation
An architecture for adaptive intelligent systems
Artificial Intelligence - Special volume on computational research on interaction and agency, part 1
Reasoning about meta level activities in open distributed systems
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
Monte Carlo localization: efficient position estimation for mobile robots
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Encyclopedia of Artificial Intelligence
Encyclopedia of Artificial Intelligence
AI's Greatest Trends and Controversies
IEEE Intelligent Systems
Introspective Metatheoretic Reasoning
LOPSTR '94/META '94 Proceedings of the 4th International Workshops on Logic Programming Synthesis and Transformation - Meta-Programming in Logic
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
FreshML: programming with binders made simple
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
A Semantic Framework for Modeling and Reasoning about Reflective Middleware
IEEE Distributed Systems Online
Definition and complexity of some basic metareasoning problems
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Estimating the absolute position of a mobile robot using position probability grids
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Hi-index | 0.00 |
Metaresoning is again under focus in the AI community. Here in this paper, a new classification for types of metareasoning has been proposed. In recent years, only the ones that are here named as pre-metareasoning and para-metareasoning have been studied. The first one is for predicting the best computation path for having better performance programs. The second, mostly known as interruptible anytime algorithm, is to limit the computation time externally when the approximate answer is better than nothing. One other type of metareasoning (called here as post-metareasoning) is discussed in a case study. It has been shown as an effective method for reducing error in self-localization. Based on the measurements in the case study, the post-metareasoning argued as useful when the effectiveness of reasoning methods are not known by the designer or when the system learns the reasoning methods and should evaluate and use the best one automatically. As the post-metareasoning is based on the results of different isolated reasoning methods, it is possible to be handled in parallel. The speed of post-metareasoning in such a case is determined by the time required by the slowest reasoning method and the post-metaresoning itself.