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...
| Pubblicato in: | Artificial intelligence. 106, 1 (1998). |
|---|---|
| Autore principale: | |
| Altri autori: | |
| Natura: | Articolo |
| Lingua: | English |
| Soggetti: |