DocumentCode
2227770
Title
Toward a Theory of Problem Solving Based on Resource Bounded Computation and Process Algebras
Author
Eberbach, Eugene
Author_Institution
Rensselaer Polytech. Inst., Troy
fYear
2007
fDate
20-24 Oct. 2007
Firstpage
3
Lastpage
8
Abstract
In 1995 Russell and Norvig presented a unified approach to AI as the area based on bounded rational agents using utilities to direct search for problem solving under bounded resources. This paper extends this work further in the direction of the computational theory targeting intractable and undecidable problems and based on resource bounded computation and process algebras.
Keywords
decidability; multi-agent systems; problem solving; process algebra; bounded rational agents; computational theory; intractable problems; problem solving; process algebra; resource bounded computation; undecidable problems; Algebra; Artificial intelligence; Computational modeling; Computer science; Explosions; Intelligent agent; Intelligent systems; Polynomials; Problem-solving; Search methods;
fLanguage
English
Publisher
ieee
Conference_Titel
Intelligent Systems Design and Applications, 2007. ISDA 2007. Seventh International Conference on
Conference_Location
Rio de Janeiro
Print_ISBN
978-0-7695-2976-9
Type
conf
DOI
10.1109/ISDA.2007.18
Filename
4389577
Link To Document