|
|||||
|
|
Considerations on default logic: an alternative approach1 |
|
| Authors: | Witold &#x ukaszewicz |
| Affiliation: | Witold Łukaszewicz |
| Abstract: | In the following paper we analyze Reiter's default logic and suggest modifying the notion of an extension for default theories. This modification leads to two important properties which are not guaranteed in Reiter's formalism: the existence of extensions and semimonotonicity. |
| Keywords: | knowledge representation nonmonotonic reasoning default reasoning repré sentation des connaissances raisonnement non monotone raisonnement implicite |