| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 398906 | International Journal of Approximate Reasoning | 2007 | 13 Pages |
Abstract
The Lang–Marquis framework for reasoning in the presence of inconsistencies, which is based on the so-called forget operation, is generalized here. Despite extending the original proposal, a simpler structure is used. A notion of equivalence is introduced which is proven to provide extensionality for the framework. Some other formal properties are also given which illustrate the versatility of the definitions.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
