Work

A family of defeasible reasoning logics and its implementation

Year: 2000
Type: conference-paper
Abstract: Defeasible reasoning is a direction in nonmonotonic reasoning that is based on the use of rules that may be defeated by other rules. It is a simple, but often more efficient approach than other nonmonotonic reasoning systems. This paper presents a family of defeasible reasoning formalisms built around Nute's defeasible logic. We describe the motivations of these formalisms and derive some basic properties and interrelationships. We also describe a query answering system that supports these formalisms and is available on the World Wide Web.
Institution: Griffith University
Language: English
Open Access status: green
OpenAlex ID: W1519321178
FWCI: 3.163
Cites: 22
Cited by: 80
Related to: 10