Metacomputations and program-based knowledge representation

Authors:
Vitaly Khudobakhshov
Affiliations:
St.-Petersburg State University, St.-Petersburg, Russia
Venue:
AGI'13 Proceedings of the 6th international conference on Artificial General Intelligence
Year:
2013

Citing 3
Cited 0

The concept of a supercompiler

ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Inversion and metacomputation

PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Partial evaluation and automatic program generation

Partial evaluation and automatic program generation

Quantified Score

Hi-index	0.00

Visualization

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.