## Is Intractability of Non-Monotonic Reasoning a Real Drawback? (1996)

### Cached

### Download Links

- [al.cs.engr.uky.edu]
- [www.dis.uniroma1.it]
- [ftp.dis.uniroma1.it]
- DBLP

### Other Repositories/Bibliography

Venue: | Artificial Intelligence |

Citations: | 42 - 8 self |

### BibTeX

@INPROCEEDINGS{Cadoli96isintractability,

author = {Marco Cadoli and Francesco M. Donini and Marco Schaerf},

title = {Is Intractability of Non-Monotonic Reasoning a Real Drawback?},

booktitle = {Artificial Intelligence},

year = {1996},

pages = {946--951}

}

### OpenURL

### Abstract

Several studies about computational complexity of non-monotonic reasoning (NMR) showed that non-monotonic inference is significantly harder than classical, monotonic inference. This contrasts with the general idea that NMR can be used to make knowledge representation and reasoning simpler, not harder. In this paper we show that, to some extent, NMR fulfills the representation goal. In particular, we prove that non-monotonic formalisms such as circumscription and default logic allow for a much more compact and natural representation of propositional knowledge than propositional calculus. Proofs are based on a suitable definition of compilable inference problem, and on non-uniform complexity classes. Some results about intractability of circumscription and default logic can therefore be interpreted as the price one has to pay for having such an extra-compact representation. On the other hand, intractability of inference and compactness of representation are not equivalent notions: we ex...