论文信息 - Solving Problems in Robotics with Semantic Networks

Solving Problems in Robotics with Semantic Networks

Robot problems are examined in the context of semantic networks which are used to represent the state of a problem and the operators useful for solving it. Graph transformation algorithms are discussed as an aid to problem solving. Although these form only a small subset of the first-order predicate calculus based systems, considerations such as subgoal circularity, partially specified states and multiple manipulators sharing the same environment may warrant this simplification.

Krishna K. Agarwal

[1] A F Sanders,et al. Empirical Explorations of SYNCHEM , 1977, Science.

[2] Nils J. Nilsson,et al. Problem-solving methods in artificial intelligence , 1971, McGraw-Hill computer science series.

[3] Richard Fikes,et al. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[4] Nils J. Nilsson,et al. Artificial Intelligence , 1974, IFIP Congress.

[5] Krishna K. Agarwal,et al. Application of chemical transforms in EYNCHEMZ: a computer program for organic synthesis route discovery , 1978, Comput. Chem..

[6] Alton Franklin Sanders. Some applications of graph theory to the design of a heuristic program for the discovery of organic synthesis. , 1976 .

[7] James R. Slagle. Artificial intelligence : the heuristic programming approach , 1971 .

[8] L. Rowell Huesmann,et al. The thinking computer : mind inside matter , 1977 .

[9] Sasa Presern,et al. An Intelligent Tactile Sensor-An On-Line Hierarchical Object and Seam Analyzer , 1983, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[10] George W. Ernst,et al. GPS : a case study in generality and problem solving , 1971 .

[11] H. Gelernter,et al. Realization of a geometry theorem proving machine , 1995, IFIP Congress.

[12] Krishna Kumar Agarwal. Transformation and canonization algorithms for graph representable structures with applications to a heuristic program for the synthesis of organic molecules. , 1976 .