A Theoretical Framework to Formalize AGI-Hard Problems

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)

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  -