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

Controller
Controllers
Exponent
Workflow Management
Decrease
Stochasticity
Polynomial time
State Space
Optimal Solution
Polynomials
Real-time
Data storage equipment
Communication
Requirements
Interaction
Intelligence
Cyber Physical System
Learning
Framework

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

The cyber-physical system approach towards artificial general intelligence : the problem of verification. / Tősér, Zoltán; Lőrincz, A.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9205 Springer Verlag, 2015. p. 373-383 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9205).

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

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, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9205, Springer Verlag, pp. 373-383, 8th International Conference on Artificial General Intelligence, AGI 2015, Berlin, Germany, 7/22/15. https://doi.org/10.1007/978-3-319-21365-1_38
Tősér Z, Lőrincz A. 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. Springer Verlag. 2015. p. 373-383. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-319-21365-1_38
Tősér, Zoltán ; Lőrincz, A. / The cyber-physical system approach towards artificial general intelligence : the problem of verification. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9205 Springer Verlag, 2015. pp. 373-383 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{bce4af052f0b43af9d3eca81588df92f,
title = "The cyber-physical system approach towards artificial general intelligence: the problem of verification",
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.",
author = "Zolt{\'a}n Tős{\'e}r and A. Lőrincz",
year = "2015",
doi = "10.1007/978-3-319-21365-1_38",
language = "English",
isbn = "9783319213644",
volume = "9205",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "373--383",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

T1 - The cyber-physical system approach towards artificial general intelligence

T2 - the problem of verification

AU - Tősér, Zoltán

AU - Lőrincz, A.

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84952802285&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84952802285&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-21365-1_38

DO - 10.1007/978-3-319-21365-1_38

M3 - Conference contribution

SN - 9783319213644

VL - 9205

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 373

EP - 383

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

PB - Springer Verlag

ER -