Recovery of (non)monotonic theories.
Recovery of a theory T is needed if it does not have a model under the given semantics Sem, i.e., if the theory is Sem-inconsistent. In general, to recover an inconsistent theory T, a transformation R is applied to T and T is replaced by a consistent theory R(T). If a classical semantics is used, it...
| Published in: | Artificial intelligence. 106, 1 (1998). |
|---|---|
| Main Author: | |
| Other Authors: | |
| Format: | Article |
| Language: | English |
| Subjects: |