Solving the Qualification Problem

Authors:
Quoc Bao Vo;Norman Y. Foo
Affiliations:
-;-
Venue:
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Year:
2001

Citing 13
Cited 3

Applications of circumscription to formalizing common-sense knowledge

Artificial Intelligence
Nonmonotonic logic and temporal projection

Artificial Intelligence
Reasoning about action II: the qualification problem

Artificial Intelligence
A simple solution to the Yale shooting problem

Proceedings of the first international conference on Principles of knowledge representation and reasoning
The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression

Artificial intelligence and mathematical theory of computation
Provably correct theories of action

Journal of the ACM (JACM)
Ramification and causality

Artificial Intelligence
An abstract, argumentation-theoretic approach to default reasoning

Artificial Intelligence
Solving the frame problem: a mathematical investigation of the common sense law of inertia

Solving the frame problem: a mathematical investigation of the common sense law of inertia
Resoning about action in polynomial time

Artificial Intelligence
The Qualification Problem: A solution to the problem of anomalous models

Artificial Intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems

Knowlege in action: logical foundations for specifying and implementing dynamical systems
Epistemological problems of artificial intelligence

IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2

Solving the Ramification Problem: Causal Propagation in an Argumentation-Theoretic Approach

PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Semantics for a theory of defeasible reasoning

Annals of Mathematics and Artificial Intelligence
Reasoning about action: an argumentation-theoretic approach

Journal of Artificial Intelligence Research

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a uniform nonmonotonic solution for the problem of reasoning about action on the basis of argumentation-theoretic approach in a series of paper. This paper is the first one in which we solve the frame and the qualification problems in a simplifying setting without domain constraints or ramifications. Our theory is provably correct relative to a sensible minimisation policy introduced on top of a temporal propositional logic.