Toward a Theory of Problem Solving Based on Resource Bounded Computation and Process Algebras

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.