The cyber-physical system approach towards artificial general intelligence: the problem of verification

Zoltán Tősér, A. Lőrincz

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

Abstract

Cyber-Physical Systems have many components including physical ones with heavy demands on workflow management; a real-time problem. Furthermore, the complexity of the system involves some degree of stochasticity, due to interactions with the environment. We argue that the factored version of the event-learning framework (ELF) being able to exploit robust controllers (RCs) can meet the requirements. We discuss the factored ELF (fELF) as the interplay between episodic and procedural memories, two key components of AGI. Our illustration concerns a fELF with RCs and is a mockup of an explosive device removal task. We argue that (i) the fELF limits the exponent of the state space and provides solutions in polynomial time, (ii) RCs decrease the number of variables and thus decrease the said exponent further, while the solution stays ϵ-optimal, (iii) solutions can be checked/verified by the execution being linear in the number of states visited, and (iv) communication can be restricted to instructions between subcomponents of an AGI system.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
Pages373-383
Number of pages11
Volume9205
ISBN (Print)9783319213644
DOIs
Publication statusPublished - 2015
Event8th International Conference on Artificial General Intelligence, AGI 2015 - Berlin, Germany
Duration: Jul 22 2015Jul 25 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9205
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other8th International Conference on Artificial General Intelligence, AGI 2015
CountryGermany
CityBerlin
Period7/22/157/25/15

    Fingerprint

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Tősér, Z., & Lőrincz, A. (2015). The cyber-physical system approach towards artificial general intelligence: the problem of verification. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9205, pp. 373-383). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9205). Springer Verlag. https://doi.org/10.1007/978-3-319-21365-1_38