Graduate studies at Western
Minds and Machines 2 (3):267-282 (1992)
|Abstract||In this paper we attempt to develop a problem representation technique which enables the decomposition of a problem into subproblems such that their solution in sequence constitutes a strategy for solving the problem. An important issue here is that the subproblems generated should be easier than the main problem. We propose to represent a set of problem states by a statement which is true for all the members of the set. A statement itself is just a set of atomic statements which are binary predicates on state variables. Then, the statement representing the set of goal states can be partitioned into its subsets each of which becomes a subgoal of the resulting strategy. The techniques involved in partitioning a goal into its subgoals are presented with examples|
|Keywords||Problem-solving strategy problem representation refinement machine learning mechanical discovery|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Ted Poston (2007). Foundational Evidentialism and the Problem of Scatter. Abstracta 3 (2):89-106.
Craig Callender & Jonathan Cohen (2006). There is No Special Problem About Scientific Representation. Theoria 21 (1):67-85.
Vincenzo Tagliasco, Towards an Artificial User: The “What” Problem for an Architecture Capable of Developing New Goals.
Dongming Xu (2010). Beyond Simon's Means-Ends Analysis: Natural Creativity and the Unanswered 'Why' in the Design of Intelligent Systems for Problem-Solving. [REVIEW] Minds and Machines 20 (3):327-347.
Reza Zamani (2010). An Object-Oriented View on Problem Representation as a Search-Efficiency Facet: Minds Vs. Machines. [REVIEW] Minds and Machines 20 (1):103-117.
Zenon Pylyshyn (1996). The Frame Problem Blues. Once More, with Feeling. In K. M. Ford & Z. W. Pylyshyn (eds.), The Robot's Dilemma Revisited: The Frame Problem in Artificial Intelligence. Ablex.
Adam Toon (2010). Models as Make-Believe. In Roman Frigg & Matthew Hunter (eds.), Beyond Mimesis and Convention: Representation in Art and Science. Boston Studies in Philosophy of Science.
Marvin Croy (2000). Problem Solving, Working Backwards, and Graphic Proof Representation REVIEWS. Teaching Philosophy 23 (2):169-187.
Added to index2009-01-28
Total downloads5 ( #170,132 of 739,406 )
Recent downloads (6 months)0
How can I increase my downloads?