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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Hill, P.M., Gallagher, J.: Meta-programming in logic programming. In Gabbay, D., Hogger, C.J., Robinson, J.A., eds.: Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 5, Oxford University Press (1995)
Barklund, J.: Metaprogramming in logic. In Kent, A., Williams, J.G., eds.: Encyclopedia of Computer Science and Technology. Volume 33. M. Dekker, New York (1995) 205–227
Lanzarone, G.A.: Metalogic programming. In Sessa, M.I., ed.: 1985–1995 Ten Years of Logic Programming in Italy. Palladio (1995) 29–70
Abramson, H., Rogers, M.H., eds.: Meta-Programming in Logic Programming, Cambridge, Mass., THE MIT Press (1989)
Bruynooghe, M., ed.: Proc. of the Second Workshop on Meta-Programming in Logic, Leuven (Belgium), Dept. of Comp. Sci., Katholieke Univ. Leuven (1990)
Pettorossi, A., ed.: Meta-Programming in Logic. LNCS 649, Berlin, Springer-Verlag (1992)
Fribourg, L., Turini, F., eds.: Logic Program Synthesis and Transformation-Meta-Programming in Logic. LNCS 883, Springer-Verlag (1994)
Barklund, J., Costantini, S., van Harmelen, F., eds.: Proc. Workshop on Meta Programming and Metareasonong in Logic, post-JICSLP96 workshop, Bonn (Germany), UPMAIL technical Report No. 127 (Sept. 2, 1996), Computing Science Dept., Uppsala Univ. (1996)
Apt, K., Turini, F., eds.: Meta-Logics and Logic Programming. The MIT Press, Cambridge, Mass. (1995)
Maes, P., Nardi, D., eds.: Meta-Level Architectures and Reflection, Amsterdam, North-Holland (1988)
Kiczales, G., ed.: Meta-Level Architectures and Reflection, Proc. Of the First Intnl. Conf. Reflection 96, Xerox PARC (1996)
Cointe, A., ed.: Meta-Level Architectures and Reflection, Proc. Of the Second Intnl. Conf. Reflection 99. LNCS 1616, Berlin, Springer-Verlag (1999)
Smorinski, C.: The incompleteness theorem. In Barwise, J., ed.: Handbook of Mathematical Logic. North-Holland (1977) 821–865
Smullyan, R.: Diagonalization and Self-Reference. Oxford University Press (1994)
Kripke, S.A.: Semantical considerations on modal logic. In: Acta Philosophica Fennica. Volume 16. (1963) 493–574
Carlucci Aiello, L., Cialdea, M., Nardi, D., Schaerf, M.: Modal and meta languages: Consistency and expressiveness. In Apt, K., Turini, F., eds.: Meta-Logics and Logic Programming. The MIT Press, Cambridge, Mass. (1995) 243–266
Aiello, M., Weyhrauch, L.W.: Checking proofs in the metamathematics of first order logic. In: Proc. Fourth Intl. Joint Conf. on Artificial Intelligence, Tbilisi, Georgia, Morgan Kaufman Publishers (1975) 1–8
Bundy, A., Welham, B.: Using meta-level inference for selective application of multiple rewrite rules in algebraic manipulation. Artificial Intelligence 16 (1981) 189–212
Weyhrauch, R.W.: Prolegomena to a theory of mechanized formal reasoning. Artificial Intelligence (1980) 133–70
Carlucci Aiello, L., Cecchi, C., Sartini, D.: Representation and use of metaknowledge. Proc. of the IEEE 74 (1986) 1304–1321
Carlucci Aiello, L., Levi, G.: The uses of metaknowledge in AI systems. In: Proc. European Conf. on Artificial Intelligence. (1984) 705–717
Davis, R., Buchanan, B.: Meta-level knowledge: Overview and applications. In: Procs. Fifth Int. Joint Conf. On Artificial Intelligence, Los Altos, Calif., Morgan Kaufmann (1977) 920–927
Maes, P.: Computational Reflection. PhD thesis, Vrije Universiteit Brussel, Faculteit Wetenschappen, Dienst Artificiele Intelligentie, Brussel (1986)
Genesereth, M.R.: Metalevel reasoning. In: Logic-87-8, Logic Group, Stanford University (1987)
Carlucci Aiello, L., Levi, G.: The uses of metaknowledge in AI systems. In Maes, P., Nardi, D., eds.: Meta-Level Architectures and Reflection. North-Holland, Amsterdam (1988) 243–254
Carlucci Aiello, L., Nardi, D., Schaerf, M.: Yet Another Solution to the Three Wisemen Puzzle. In Ras, Z.W., Saitta, L., eds.: Methodologies for Intelligent Systems 3: ISMIS-88, Elsevier Science Publishing (1988) 398–407
Carlucci Aiello, L., Nardi, D., Schaerf, M.: Reasoning about Knowledge and Ignorance. In: Proceedings of the International Conference on Fifth Generation Computer Systems 1988: FGCS-88, ICOT Press (1988) 618–627
Genesereth, M.R., Nilsson, J.: Logical Foundations of Artificial Intelligence. Morgan Kaufmann, Los Altos, California (1987)
Russell, S.J., Wefald, E.: Do the right thing: studies in limited rationality (Chapter 2: Metareasoning Architectures). The MIT Press (1991)
Carlucci Aiello, L., Cialdea, M., Nardi, D.: A meta level abstract description of diagnosis in Intelligent Tutoring Systems. In: Proceedings of the Sixth International PEG Conference, PEG-91. (1991) 437–442
Carlucci Aiello, L., Cialdea, M., Nardi, D.: Reasoning about Student Knowledge and Reasoning. Journal of Artificial Intelligence and Education 4 (1993) 397–413
Damásio, C., Nejdl, W., Pereira, L.M., Schroeder, M.: Model-based diagnosis preferences and strategies representation with logic meta-programming. In Apt, K., Turini, F., eds.: Meta-Logics and Logic Programming. The MIT Press, Cambridge, Mass. (1995) 267–308
Barklund, J., Costantini, S., Dell’Acqua, P., Lanzarone, G.A.: Reflection Principles in Computational Logic. Journal of Logic and Computation 10 (2000)
Barklund, J.: What is a meta-variable in Prolog? In Abramson, H., Rogers, M.H., eds.: Meta-Programming in Logic Programming. The MIT Press, Cambridge, Mass. (1989) 383–98
Hill, P.M., Lloyd, J.W.: Analysis of metaprograms. In Abramson, H., Rogers, M.H., eds.: Meta-Programming in Logic Programming, Cambridge, Mass., THE MIT Press (1988) 23–51
Barklund, J., Costantini, S., Dell’Acqua, P., Lanzarone, G.A.: Semantical properties of encodings in logic programming. In Lloyd, J.W., ed.: Logic Programming-Proc. 1995 Intl. Symp., Cambridge, Mass., MIT Press (1995) 288–302
van Harmelen, F.: Definable naming relations in meta-level systems. In Pettorossi, A., ed.: Meta-Programming in Logic. LNCS 649, Berlin, Springer-Verlag (1992) 89–104
Cervesato, I., Rossi, G.: Logic meta-programming facilities in’ Log. In Pettorossi, A., ed.: Meta-Programming in Logic. LNCS 649, Berlin, Springer-Verlag (1992) 148–161
Costantini, S.: Semantics of a metalogic programming language. Intl. Journal of Foundation of Computer Science 1 (1990)
Perlis, D.: Languages with self-reference I: foundations (or: we can have everything in first-order logic!). Artificial Intelligence 25 (1985) 301–322
Perlis, D.: Languages with self-reference II. Artificial Intelligence 34 (1988) 179–212
Konolige, K.: Reasoning by introspection. In Maes, P., Nardi, D., eds.: Meta-Level Architectures and Reflection. North-Holland, Amsterdam (1988) 61–74
Genesereth, M.R.: Introspective fidelity. In Maes, P., Nardi, D., eds.: Meta-Level Architectures and Reflection. North-Holland, Amsterdam (1988) 75–86
van Harmelen, F., Wielinga, B., Bredeweg, B., Schreiber, G., Karbach, W., Reinders, M., Voss, A., Akkermans, H., Bartsch-Spörl, B., Vinkhuyzen, E.: Knowledgelevel reflection. In: Enhancing the Knowledge Engineering Process-Contributions from ESPRIT. Elsevier Science, Amsterdam, The Netherlands (1992) 175–204
Carlucci Aiello, L., Weyhrauch, R.W.: Using Meta-theoretic Reasoning to do Algebra. Volume 87 of Lecture Notes in Computer Science., Springer Verlag (1980) 1–13
Bowen, K.A., Kowalski, R.A.: Amalgamating language and metalanguage in logic programming. In Clark, K.L., Tärnlund, S.Å., eds.: Logic Programming. Academic Press, London (1982) 153–172
McCarthy, J.e.a.: (The LISP 1.5 Programmer’s Manual)
Levi, G., Ramundo, D.: A formalization of metaprogramming for real. In Warren, D.S., ed.: Logic Programming-Procs. of the Tenth International Conference, Cambridge, Mass., The MIT Press (1993) 354–373
Subrahmanian, V.S.: Foundations of metalogic programming. In Abramson, H., Rogers, M.H., eds.: Meta-Programming in Logic Programming, Cambridge, Mass., The MIT Press (1988) 1–14
Martens, B., De Schreye, D.: Why untyped nonground metaprogramming is not (much of) a problem. J. Logic Programming 22 (1995)
Sterling, L., Shapiro, E.Y., eds.: The Art of Prolog. The MIT Press, Cambridge, Mass. (1986)
Kowalski, R.A.: Meta matters. invited presentation at Second Workshop on Meta-Programming in Logic META90 (1990)
Kowalski, R.A.: Problems and promises of computational logic. In Lloyd, J.W., ed.: Computational Logic. Springer-Verlag, Berlin (1990) 1–36
Smith, B.C.: Reflection and semantics in Lisp. Technical report, Xerox Parc ISL-5, Palo Alto (CA) (1984)
Lemmens, I., Braspenning, P.: A formal analysis of smithinsonian computational reflection. (In Cointe, P., ed.: Proc. Reflection’ 99) 135–137
Casaschi, G., Costantini, S., Lanzarone, G.A.: Realizzazione di un interprete riflessivo per clausole di Horn. In Mello, P., ed.: Gulp89, Proc. 4th Italian National Symp. on Logic Programming, Bologna (1989 (in italian)) 227–241
Friedman, D.P., Sobel, J.M.: An introduction to reflection-oriented programming. In Kiczales, G., ed.: Meta-Level Architectures and Reflection, Proc. Of the First Intnl. Conf. Reflection 96, Xerox PARC (1996)
Attardi, G., Simi, M.: Meta-level reasoning across viewpoints. In O’Shea, T., ed.: Proc. European Conf. on Artificial Intelligence, Amsterdam, North-Holland (1984) 315–325
Hill, P.M., Lloyd, J.W.: The Gödel Programming Language. The MIT Press, Cambridge, Mass. (1994)
Bowers, A.F., Gurr, C.: Towards fast and declarative meta-programming. In Apt, K.R., Turini, F., eds.: Meta-Logics and Logic Programming. The MIT Press, Cambridge, Mass. (1995) 137–166
Giunchiglia, F., Cimatti, A.: Introspective metatheoretic reasoning. In Fribourg, L., Turini, F., eds.: Logic Program Synthesis and Transformation-Meta-Programming in Logic. LNCS 883 (1994) 425–439
Giunchiglia, F., Traverso, A.: A metatheory of a mechanized object theory. Artificial Intelligence 80 (1996) 197–241
Giunchiglia, F., Serafini, L.: Multilanguage hierarchical logics, or: how we can do without modal logics. Artificial Intelligence 65 (1994) 29–70
Costantini, S., Lanzarone, G.A.: A metalogic programming language. In Levi, G., Martelli, M., eds.: Proc. 6th Intl. Conf. on Logic Programming, Cambridge, Mass., The MIT Press (1989) 218–233
Costantini, S., Lanzarone, G.A.: A metalogic programming approach: language, semantics and applications. Int. J. of Experimental and Theoretical Artificial Intelligence 6 (1994) 239–287
Konolige, K.: An autoepistemic analysis of metalevel reasoning in logic programming. In Pettorossi, A., ed.: Meta-Programming in Logic. LNCS 649, Barlin, Springer-Verlag (1992)
Dell’Acqua, P.: Development of the interpreter for a metalogic programming language. Degree thesis, Univ. degli Studi di Milano, Milano (1989 (in italian))
Maes, P.: Concepts and experiments in computational reflection. In: Proc. Of OOPSLA’87. ACM SIGPLAN NOTICES (1987) 147–155
Kiczales, G., des Rivieres, J., Bobrow, D.G.: The Art of Meta-Object Protocol. The MIT Press (1991)
Malenfant, J., Lapalme, G., Vaucher, G.: Objvprolog: Metaclasses in logic. In: Proc. Of ECOOP’89, Cambridge Univ. Press (1990) 257–269
Malenfant, J., Lapalme, G., Vaucher, G.: Metaclasses for metaprogramming in prolog. In Bruynooghe, M., ed.: Proc. of the Second Workshop on Meta-Programming in Logic, Dept. of Comp. Sci., Katholieke Univ. Leuven (1990) 272–83
Stroud, R., Welch, I.: the evolution of a reflective java extension. LNCS 1616, Berlin, Springer-Verlag (1999)
Jiang, Y.J.: Ambivalent logic as the semantic basis of metalogic programming: I. In Van Hentenryck, P., ed.: Proc. 11th Intl. Conf. on Logic Programming, Cambridge, Mass., THE MIT Press (1994) 387–401
Kalsbeek, M., Jiang, Y.: A vademecum of ambivalent logic. In Apt, K., Turini, F., eds.: Meta-Logics and Logic Programming. The MIT Press, Cambridge, Mass. (1995) 27–56
Kalsbeek, M.: Correctness of the vanilla meta-interpreter and ambivalent syntax. In Apt, K., Turini, F., eds.: Meta-Logics and Logic Programming. The MIT Press, Cambridge, Mass. (1995) 3–26
Christiansen, H.: A complete resolution principle for logical meta-programming languages. In Pettorossi, A., ed.: Meta-Programming in Logic. LNCS 649, Barlin, Springer-Verlag (1992) 205–234
Christiansen, H.: Efficient and complete demo predicates for definite clause languages. Datalogiske Skrifter, Technical Report 51, Dept. of Computer Science, Roskilde University (1994)
Brogi, A., Mancarella, P., Pedreschi, D., Turini, F.: Composition operators for logic theories. In Lloyd, J.W., ed.: Computational Logic. Springer-Verlag, Berlin (1990) 117–134
Brogi, A., Contiero, S.: Composing logic programs by meta-programming in Gödel. In Apt, K., Turini, F., eds.: Meta-Logics and Logic Programming. The MIT Press, Cambridge, Mass. (1995) 167–194
Brogi, A., Turini, F.: Meta-logic for program composition: Semantic issues. In Apt, K., Turini, F., eds.: Meta-Logics and Logic Programming. The MIT Press, Cambridge, Mass. (1995) 83–110
Barklund, J., Boberg, K., Dell’Acqua, P.: A basis for a multilevel metalogic programming language. In Fribourg, L., Turini, F., eds.: Logic Program Synthesis and Transformation-Meta-Programming in Logic. LNCS 883, Berlin, Springer-Verlag (1994) 262–275
Barklund, J., Boberg, K., Dell’Acqua, P., Veanes, M.: Meta-programming with theory systems. In Apt, K., Turini, F., eds.: Meta-Logics and Logic Programming. The MIT Press, Cambridge, Mass. (1995) 195–224
Shoham, Y., McDermott, D.: Temporal reasoning. In Encyclopedia of Artificial Intelligence (ed. Shapiro, S. C.) pp. 967–981, 1987.
Kowalski, R.A., Sergot, M.: A logic-based calculus of events. New Generation Computing 4 (1986) 67–95
McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence 4 (1969) 463–502
Kowalski, R.A.: Database updates in the event calculus. J. Logic Programming (1992) 121–146
Kowalski, R.A., Sadri, F.: The situation calculus and event calculus compared. In: Proc. 1994 Intl. Logic Programming Symp. (1994) 539–553
Kowalski, R.A., Sadri, F.: Reconciling the event calculus with the situation calculus. J. Logic Programming 31 (1997) 39–58
Provetti, A.: Hypothetical reasoning: From situation calculus to event calculus. Computational Intelligence Journal 12 (1996) 478–498
Díaz, O., Paton, N.: Stimuli and business policies as modeling constructs: their definition and validation through the event calculus. In: Proc. of CAiSE’97. (1997) 33–46
Sripada, S.: Efficient implementation of the event calculus for temporal database applications. In Lloyd, J.W., ed.: Proc. 12th Intl. Conf. on Logic Programming, Cambridge, Mass., The MIT Press (1995) 99–113
Pfenning, F.: The practice of logical frameworks. In Kirchner, H., ed.: Trees in Algebra and Programming-CAAP’ 96. LNCS 1059, Linkoping, Sweden, Springer-Verlag (1996) 119–134
Clavel, M.G., Eker, S., Lincoln, P., Meseguer, J.: Principles of Maude. In Proc. First Intl Workshop on Rewriting Logic, volume 4 of Electronic Notes in Th. Comp. Sc. (ed. Meseguer, J.), 1996.
Clavel, M.G., Duran, F., Eker, S., Lincoln, P., Marti-Oliet, N., Meseguer, J., Quesada, J.: Maude as a metalanguage. In Proc. Second Intl. Workshop on Rewriting Logic, volume 15 of Electronic Notes in Th. Comp. Sc., 1998.
Clavel, M.G., Meseguer, J.: Axiomatizing reflective logics and languages. In Kiczales, G., ed.: Proc. Reflection’ 96, Xerox PARC (1996) 263–288
Costantini, S., Lanzarone, G.A., Sbarbaro, L.: A formal definition and a sound implementation of analogical reasoning in logic programming. Annals of Mathematics and Artificial Intelligence 14 (1995) 17–36
Costantini, S., Dell’Acqua, P., Lanzarone, G.A.: Reflective agents in metalogic programming. In Pettorossi, A., ed.: Meta-Programming in Logic. LNCS 649, Berlin, Springer-Verlag (1992) 135–147
Martin, D.L., Cheyer, A.J., Moran, D.B.: The open agent architecture: a framework for building distributed software systems. Applied Artificial Intelligence 13(1–2) (1999) 91–128
Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In Fikes, R., Sandewall, E., eds.: Proceedings of Knowledge Representation and Reasoning (KR&R-91), Morgan Kaufmann Publishers: San Mateo, CA (1991) 473–484
Rao, A.S., Georgeff, M.: BDI Agents: from theory to practice. In: Proceedings of the First International Conference on Multi-Agent Systems (ICMAS-95), San Francisco, CA (1995) 312–319
J., D., Subrahmanian, V., Pick, G.: Meta-agent programs. J. Logic Programming 45 (2000)
Kim, J.S., Kowalski, R.A.: An application of amalgamated logic to multi-agent belief. In Bruynooghe, M., ed.: Proc. of the Second Workshop on Meta-Programming in Logic, Dept. of Comp. Sci., Katholieke Univ. Leuven (1990) 272–83
Kim, J.S., Kowalski, R.A.: A metalogic programming approach to multi-agent knowledge and belief. In Lifschitz, V., ed.: Artificial Intelligence and Mathematical Theory of Computation, Academic Press (1991)
Kowalski, R.A., Sadri, F.: Towards a unified agent architecture that combines rationality with reactivity. In: Proc. International Workshop on Logic in Databases. LNCS 1154, Berlin, Springer-Verlag (1996)
Kowalski, R.A., Sadri, F.: From logic programming towards multi-agent systems. In Annals of Mathematics and Artificial Intelligence, Vol. 25, pp. 391–410, 1999.
Dell’Acqua, P., Sadri, F., Toni, F.: Combining introspection and communication with rationality and reactivity in agents. In Dix, J., Cerro, F.D., Furbach, U., eds.: Logics in Artificial Intelligence. LNCS 1489, Berlin, Springer-Verlag (1998)
Fung, T.H., R. A. Kowalski, R.A.: The IFF proof procedure for abductive logic programming. J. Logic Programming 33 (1997) 151–165
Dell’Acqua, P., Sadri, F., Toni, F.: Communicating agents. In: Proc. International Workshop on Multi-Agent Systems in Logic Programming, in conjunction with ICLP’99, Las Cruces, New Mexico (1999)
Costantini, S.: Towards active logic programming. In Brogi, A., Hill, P., eds.: Proc. of 2nd International Workshop on Component-based Software Development in Computational Logic (COCL’99). PLI’99, Paris, France, http://www.di.unipi.it/brogi/ResearchActivity/COCL99/proceedings/index.html (1999)
Gärdenfors, P.: Belief revision: a vademecum. In Pettorossi, A., ed.: MetaProgramming in Logic. LNCS 649, Berlin, Springer-Verlag (1992) 135–147
Gärdenfors, P., Roth, H.: Belief revision. In Gabbay, D., Hogger, C., Robinson, J., eds.: Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 4. Clarendon Press (1995) 36–119
Dell’Acqua, P., Pereira, L.M.: Updating agents. (1999)
Lamma, E., Riguzzi, F., Pereira, L.M.: Agents learning in a three-valued logical setting. In Panayiotopoulos, A., ed.: Workshop on Machine Learning and Intelligent Agents, in conjunction with Machine Learning and Applications, Advanced Course on Artificial Intelligence (ACAI’99), Chania (Greece) (1999) (Also available at http://centria.di.fct.unl.pt/~lmp/).
Brewka, G.: Declarative representation of revision strategies. In Baral, C., Truszczynski, M., eds.: NMR’2000, Proc. Of the 8th Intl. Workshop on Non-Monotonic Reasoning. (2000)
McCarthy, J.: First order theories of individual concepts and propositions. Machine Intelligence 9 (1979) 129–147
Lloyd, J.W.: Foundations of Logic Programming, Second Edition. Springer-Verlag, Berlin (1987)
Dell’Acqua, P.: Reflection principles in computational logic. PhD Thesis, Uppsala University, Uppsala (1998)
Dell’Acqua, P.: SLD-Resolution with reflection. PhL Thesis, Uppsala University, Uppsala (1995)
Jaffar, J., Lassez, J.L., Maher, M.J.: A theory of complete logic programs with equality. J. Logic Programming 3 (1984) 211–223
Martens, B., De Schreye, D.: Two semantics for definite meta-programs, using the non-ground representation. In Apt, K., Turini, F., eds.: Meta-Logics and Logic Programming. The MIT Press, Cambridge, Mass. (1995) 57–82
Falaschi, M.and Levi, G., Martelli, M., Palamidessi, C.: A new declarative semantics for logic languages. In Kowalski, R. A.and Bowen, K.A., ed.: Proc. 5th Intl. Conf. Symp. on Logic Programming, Cambridge, Mass., MIT Press (1988) 993–1005
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Costantini, S. (2002). Meta-reasoning: A Survey. In: Kakas, A.C., Sadri, F. (eds) Computational Logic: Logic Programming and Beyond. Lecture Notes in Computer Science(), vol 2408. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45632-5_11
Download citation
DOI: https://doi.org/10.1007/3-540-45632-5_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43960-8
Online ISBN: 978-3-540-45632-2
eBook Packages: Springer Book Archive