David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Minds and Machines 2 (3):267-282 (1992)
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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Ted Poston (2007). Foundational Evidentialism and the Problem of Scatter. Abstracta 3 (2):89-106.
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.
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.
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.
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.
Vincenzo Tagliasco, Towards an Artificial User: The “What” Problem for an Architecture Capable of Developing New Goals.
Craig Callender & Jonathan Cohen (2006). There is No Special Problem About Scientific Representation. Theoria 21 (1):67-85.
Marvin Croy (2000). Problem Solving, Working Backwards, and Graphic Proof Representation REVIEWS. Teaching Philosophy 23 (2):169-187.
Added to index2009-01-28
Total downloads7 ( #198,658 of 1,140,333 )
Recent downloads (6 months)1 ( #140,127 of 1,140,333 )
How can I increase my downloads?