In Reasoning about Actions and Plans: Proc. 1986 Workshop, pp. 47–82.

This report contains the following discussions: the defense program simulation of rocky flats plant; spatial representation and reasoning for automated mesh generation; INEL support to modernization efforts at the aberdeen proving ground; artificial intelligence applications at the ICPP; an expert system for tuning particle beam accelerators; quality control expert system; an easily maintained knowledge-based system for interactive delivery of detailed technical information; workload scheduling in DOE production complex; turning operations planning system; a nuclear power plant operator advisor based on artificial intelligence technology; a impact of artificial intelligence on the new production reactor; using expert systems in treaty verification; knowledge-basedmore » systems technology transfer in Oak Ridge; applications of AI to nuclear power plants; knowledge-based computer security systems; robotic grasping of unknown objects: a knowledge-based approach; applying expertise to data in the geologist's assistant expert system; feature recognition based automatic part classification and coding; object-oriented inventories for simulation of manufacturing process; expert system at AWE; plating expert system; inspection process planning expert; troubleshooting local area networks at Savannah River Site; maintenance importance generator; joint theater level simulator; a system for authoring of tutorials including video capture and annotation, links to manuals, and links to executable code; a personal computer based expert system for documenting compliance with the National Environmental Protection Act; spatial representation and reasoning for automated mesh generation; robotic grasping of unknown objects: a knowledge-based approach; and synthesis of engineering anticipatory systems.«

In AAAI-86, pp. 1041–1045.

Machine Learning, 1, 145–176.

See also:A Fundamental Tradeoff in Knowledge Representation and Reasoning. Slides. Department of Computer and Information Science. Norwegian University of Science and Technology. IT3706 - Knowledge Representation and Modelling, 2005.Knowledge Representation and Reasoning. Morgan Kaufmann, 2004.Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 1989.Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (1st ed.). James Allen, Ronald J. Brachman, Erik Sandewall, Hector J. Levesque, Ray Reiter, and Richard Fikes (Eds.). Morgan Kaufmann Publishers Inc., San Francisco, CA, USA.Annual Review of Computer Science Vol. 1: 255-287

AI Magazine 6(4):40-62

Addison-Wesley

Co-winner of The 2005 AAAI Classic Paper Awards. Summary of Significance by Hector Levesque. Proc. AAAI-86

IEEE Expert, 1[#3]:23-29

"This paper describes a general method for estimating the nominal relationship and expected error (covariance) between coordinate frames representing the relative locations of ob jects. The frames may be known only indirectly through a series of spatial relationships, each with its associated error, arising from diverse causes, including positioning errors, measurement errors, or tolerances in part dimensions. This estimation method can be used to answer such questions as whether a camera attached to a robot is likely to have a particular reference object in its field of view. The calculated estimates agree well with those from an independent Monte Carlo simulation. The method makes it possible to decide in advance whether an uncertain relationship is known accu rately enough for some task and, if not, how much of an improvement in locational knowledge a proposed sensor will provide. The method presented can be generalized to six degrees offreedom and provides a practical means of esti mating the relationships ( position and orientation) among objects, as well as estimating the uncertainty associated with the relationships." Int. J. Robotics Research, 5 (4), 56-68.