Episodic Memory Mechanisms of Pro5Lang, a Target Language for Program Synthesis for Artificial General Intelligence

Abstract

This paper describes Pro5Lang, a target language for program synthesis for artificial general intelligence with an associative memory mechanism. This language has the features of logic programming languages and machine languages. The associative memory stores only proven propositions that are obtained in the process of proof search. This proposed mechanism is also a hypothetical computational model that clearly explains one of the major roles of episodic memory in the brain. We preliminarily examined the expressive power of Pro5Lang and its suitability as a target language for synthesis by writing several test programs.