Title :
Toward a Theory of Problem Solving Based on Resource Bounded Computation and Process Algebras
Author :
Eberbach, Eugene
Author_Institution :
Rensselaer Polytech. Inst., Troy
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;
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
DOI :
10.1109/ISDA.2007.18
