Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Programming in Prolog (3rd ed.)
Programming in Prolog (3rd ed.)
The mathematics of inheritance systems
The mathematics of inheritance systems
Reasoning about change: time and causation from the standpoint of artificial intelligence
Reasoning about change: time and causation from the standpoint of artificial intelligence
Readings in nonmonotonic reasoning
Readings in nonmonotonic reasoning
A skeptical theory of inheritance in nonmonotonic semantic networks
Artificial Intelligence
Representations of commonsense knowledge
Representations of commonsense knowledge
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Resolving ambiguity in nonmonotonic inheritance hierarchies
Artificial Intelligence
The complexity of path-based defeasible inheritance
Artificial Intelligence
Some direct theories of nonmonotonic inheritance
Handbook of logic in artificial intelligence and logic programming (vol. 3)
The problem with solutions to the frame problem
The robot's dilemma revisited
Default Reasoning: Causal and Conditional Theories
Default Reasoning: Causal and Conditional Theories
Modeling Legal Arguments: Reasoning with Cases and Hypotheticals
Modeling Legal Arguments: Reasoning with Cases and Hypotheticals
A logic-based model of intention formation and action for multi-agent subcontracting
Artificial Intelligence
A logic-based model of intention formation and action for multi-agent subcontracting
Artificial Intelligence
Bridging possibilistic conditional knowledge bases and partially ordered bases
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Hi-index | 0.00 |
Nonmonotonic reasoning is virtually absent from industry and has been so since its inception; the result is that the field is becoming marginalized within AI. I argue that this is because researchers in the area focus exclusively on commonsense problems which are irrelevant to industry and because few efficient algorithms and/or tools have been developed. A sensible strategy is thus to focus on industry problems and to develop solutions within tractable subtheories of nonmonotonic logic. I examine one of the few examples of nonmonotonic reasoning in industry -- inheritance of business rules in the medical insurance domain -- and show how the paradigm of inheritance with exceptions can be extended to a broader and more powerful kind of nonmonotonic reasoning. Finally I discuss the underlying lessons that can be generalized to other industry problems.