The Frame Problem in Artificial Intelligence: Proceedings of the 1987 Workshop focuses on the approaches, principles, and concepts related to the frame problem in artificial intelligence (AI).
The selection first tackles the definition of the frame problem, circumscription approaches and criticisms, modal logic approaches, and syntactic consistency approaches. The text then takes a look at two frame problems, frame problem in AI, and the frame problem in AI histories, including frame problem defined, mathematical frame problem, commonsense frame problem, and the problems of qualification and extended prediction and their relation to the frame problem.
The publication examines tense-logic-based mitigation of the frame problem, unframing the frame problem, a truth maintenance based approach to the frame problem, and qualification problem. Topics include possible worlds, qualification and possible worlds, epistemological issues, truth maintenance, contradiction handling, application of intensional logic, development and implementation of chronolog, and approaches to solving the frame problem.
The selection is a dependable source of data for researchers interested in the frame problem.
Definition of the Frame Problem
The Frame Problem Today (Abstract Only)
What is the frame problem?
The Two Frame Problems
The Frame Problem in AI (Abstract Only)
The Frame Problem in Histories (Abstract Only)
Circumscription Approaches and Criticisms
Formal Theories of Action
Many Agents Are Better than One
The Logic of Frames with Exceptions
A Note on Non-Monotonic Reasoning
AI, Logic, and the Frame Problem
Modal Logic Approaches
Action Theory and the Frame Problem
A Modal Logic for the Representation of Knowledge
Action, Reflective Possibility, and the Frame Problem
Doubting Thomas: Action and Belief Revision
Presupposition and Frame Problem in Knowledge Bases
Syntactic Consistency Approaches
Applying Theory Formation to the Planning Problem
Reasoning About Action I: A Possible Worlds Approach
Reasoning About Action II: The Qualification Problem
Choosing Between Competing Extensions
Multiple Extensions, Where is the Problem?
A Truth Maintenance Based Approach To The Frame Problem
Unframing the Frame Problem
Toward a Tensed-Logic-Based Mitigation of the Frame Problem
The Case for Domain-Specific Frame Axioms
Life on a Desert Island: Ongoing Work on Real-Time Reasoning
- No. of pages:
- © Morgan Kaufmann 1987
- 25th December 1987
- Morgan Kaufmann
- eBook ISBN: