Proceedings of the 3d Conference on Artificial General Intelligence (2010)

A Theoretical Framework to Formalize AGI-Hard Problems

Authors
Pedro Demasi, Jayme L. Szwarcfiter, Adriano J. O. Cruz
Corresponding Author
Pedro Demasi
Available Online June 2010.
DOI
10.2991/agi.2010.14How to use a DOI?
Abstract

The main goal of the Artificial General Intelligence field (AGI) to create human level intelligence is known as a very ambitious one. On the way to the field development there are many difficult problems to solve, like natural language translation, for example, which seem to share some 'hardness' properties. The terms 'AI-Complete' and 'Hard' by analogy with the terms 'NP-Complete' and 'Hard' from computational complexity theory (CLRS01), have been informally used to classify them although there are also works that propose some kind of formal definition. This work proposes a theoretical framework with formal definitions to distinguish these problems and discuss its use in practical applications and how their properties can be used in order to achieve improvements in the AGI field.

Copyright
© 2010, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

Volume Title
Proceedings of the 3d Conference on Artificial General Intelligence (2010)
Series
Advances in Intelligent Systems Research
Publication Date
June 2010
ISBN
10.2991/agi.2010.14
ISSN
1951-6851
DOI
10.2991/agi.2010.14How to use a DOI?
Copyright
© 2010, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - CONF
AU  - Pedro Demasi
AU  - Jayme L. Szwarcfiter
AU  - Adriano J. O. Cruz
PY  - 2010/06
DA  - 2010/06
TI  - A Theoretical Framework to Formalize AGI-Hard Problems
BT  - Proceedings of the 3d Conference on Artificial General Intelligence (2010)
PB  - Atlantis Press
SP  - 64
EP  - 65
SN  - 1951-6851
UR  - https://doi.org/10.2991/agi.2010.14
DO  - 10.2991/agi.2010.14
ID  - Demasi2010/06
ER  -