Abstract
Computer programs are a very attractive way to represent knowledge about the world. A program is more than just objects and relations. It naturally provides information about evolution of a system in time. Therefore, programs can be considered the most universal data structures. The main problem with such representation is that it is much more difficult to deal with programs than with usual data structures. Metacomputations are a powerful tool for program analysis and transformations. This paper describes artificial general intelligence from metacomputational point of view. It shows that many methods of metacomputations e.g. supercompilation and Futamura projections can be applied to AGI problems.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Turchin, V.F.: The Phenomenon of Science. Columbia University Press, New York (1977)
Glück, R., Klimov, A.: Metacomputation as a Tool for Formal Linguistic Modeling. In: Cybernetics and Systems 1994, pp. 1563–1570. World Scientific (1994)
Futamura, Y.: Partial evaluation of computation process - an approach to a compiler-compiler. Systems, Computers, Controls 2(5), 45–50 (1971)
Romanenko, A.Y.: Inversion and metacomputation. In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pp. 12–22. ACM Press (1991)
Turchin, V.F.: The concept of a supercompiler. ACM Transactions on Programming Languages and Systems (TOPLAS) 8(3), 292–325 (1986)
Sørensen, M.H.: Turchin’s Supercompiler Revisited: an Operational Theory of Positive Information Propagation. Master’s thesis, Københavns Universitet, Datalogisk Institut (1994)
Turchin, V.F.: Equivalent Transformations of Recursive Functions defined in REFAL. In: Teoria Yasykov i Methody Postroenia System Programirowania. Trudy Symp. Kiev-Alushta, pp. 31–42 (1972) (in Russian)
Abramov, S.M.: Metacomputation and Logic Programming. In: Semiotic Aspects of Formalization of the Intellectual Activity. All-union School-workshow ‘Borjomi 1988’, Moscow (1988) (in Russian)
Kahn, K.: Partial Evaluation, Programming Methodology, and Artificial Intelligence. AI Magazine 5(1), 53–57 (1984)
Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice Hall (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Khudobakhshov, V. (2013). Metacomputations and Program-Based Knowledge Representation. In: Kühnberger, KU., Rudolph, S., Wang, P. (eds) Artificial General Intelligence. AGI 2013. Lecture Notes in Computer Science(), vol 7999. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39521-5_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-39521-5_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39520-8
Online ISBN: 978-3-642-39521-5
eBook Packages: Computer ScienceComputer Science (R0)