Ben Raphael’s research while affiliated with Machine Intelligence Research Institute and other places

What is this page?


This page lists works of an author who doesn't have a ResearchGate profile or hasn't added the works to their profile yet. It is automatically generated from public (personal) data to further our legitimate goal of comprehensive and accurate scientific recordkeeping. If you are this author and want this page removed, please let us know.

Publications (3)


Themes in automatic problem solving
  • Article

May 1973

·

19 Reads

·

1 Citation

Computer

·

P.E. Hart

·

Ben Raphael

A major theme in artificial intelligence research has been the quest for methods for common-sense reasoning about actions and their effects. Such methods, when implemented as computer programs, are called automatic problem solvers, and are the subject of this papers.



RESEARCH IN ADVANCED FORMAL THEOREM-PROVING TECHNIQUES
  • Article
  • Full-text available

19 Reads

Download

Citations (1)


... A physical version of his abstract world, Shakey's "real environment," was constructed for him within SRI's facilities. Resembling a poorly designed open office layout with linoleum floors, low walls, and an acoustical ceiling with fluorescent lighting laid out to minimize shadows, the space was designed for Fig. 9 A diagram of Shakey and his components (Nilsson 1984;Nilsson et al. 1969;Raphael et al. 1971) the benefit of Shakey's vision system, with paint colors and other high-contrast finishes (especially the dark baseboard) to help his fledgling image processing and edge-detection algorithms. The objects that Shakey was tasked with navigating around, moving, and organizing were rectangular or wedge-shaped and painted in alternating specular paint colors on each face, also to emphasize their edges. ...

Reference:

Robot excess: machine histories and a hermeneutics of movement
Research and applications: Artificial intelligence
  • Citing Article
  • April 1971