Goto

Collaborating Authors

 Information Technology


Readings in Artificial Intelligence and Software Engineering

Classics

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.«




Knowledge representation and reasoning

Classics

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




Default Reasoning, Nonmonotonic Logics, and the Frame Problem

Classics

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



On the Representation and Estimation of Spatial Uncertainty

Classics

"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.


Universal Subgoaling and Chunking: The Automatic Generation and Learning of Goal Hierarchies

Classics

"Chunking was first proposed as a model of human memory by Miller (1956), and has since become a major component of theories of cognition. More recently it has been proposed that a theory of human learning based on chunking ..." Kluwer Academic Publishers, Norwell, MA, USA.