G. Amati, L. C. Aiello, and F. Pirri, Definability and commonsense reasoning. Artif. Intell. 93(1--2), 169--199, 1997. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Extending Classical Logic with Inductive Definitions - Denecker (2000) (1 citation) (Correct)
....(Denecker 1995; Denecker De Schreye 1995; Van Belleghem, Denecker, De Schreye 1997) this view was extended to abductive logic programs and open logic programs and the relation with description logics was shown. In the context of non monotonic reasoning, Reiter (Reiter 1996) and Amati et al. (Amati, Carlucci Aiello, Pirri 1997) observed that an important method for analysis and computation in common sense knowledge representation is to compile non monotonic theories into first order definitions (i.e. Clark completions) They argue that the advantages of this compilation are that it clarifies the meaning of the original ....
....principles such as circumscription and default logic. The use of definitions for such forms of common sense knowledge requires a more rigorous methodology of a priori analysis and restructuring of the knowledge on the problem domain. As mentioned earlier, Reiter (Reiter 1996) and Amati et al. (Amati, Carlucci Aiello, Pirri 1997) observe that compilation of non monotonic theories into first order definitions (in Beth s style) can produce theories that clarify the meaning of the original theories and are computationally more attractive. Using the more general notion of inductive definitions in ID logic, this compilation of ....
Amati, G.; Carlucci Aiello, L.; and Pirri, F. 1997. Definability and commonsense reasoning. Artificial Intelligence Journal 93:1 -- 30. Abstract of this paper appeared also in Third Symposium on Logical Formalization of Commonsense Reasoning, Stanford, USA, 96.
Only-Knowing: Taking It beyond Autoepistemic Reasoning - Lakemeyer, Levesque (2005) (Correct)
No context found.
G. Amati, L. C. Aiello, and F. Pirri, Definability and commonsense reasoning. Artif. Intell. 93(1--2), 169--199, 1997.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC