Gianni Amati, Luigia Carlucci Aiello, and Fiora Pirri. Denability and commonsense reasoning. Articial Intelligence Journal, 93:1 - 30, 1997. Abstract of this paper appeared also in Third Symposium on Logical Formalization of Commonsense Reasoning, Stanford, USA, 96. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Extending Classical Logic with Inductive De nitions - Denecker (2000) (1 citation) (Correct)
....on concepts. Description logics are based on this idea, and consist of a Tbox to represent de nitional knowledge and an Abox to represent assertional knowledge. In the context of non monotonic reasoning, de nitions have received little attention so far. However, Reiter [27] and Amati et al. [2] observed that an important method for analysis and computation in common sense knowledge representation is to compile non monotonic theories into rst order de nitions (i.e. Clark completions) They argue that the advantages of this compilation are that it clari es the meaning of the original ....
Gianni Amati, Luigia Carlucci Aiello, and Fiora Pirri. Denability and commonsense reasoning. Articial Intelligence Journal, 93:1 - 30, 1997. Abstract of this paper appeared also in Third Symposium on Logical Formalization of Commonsense Reasoning, Stanford, USA, 96.
Extending Classical Logic with Inductive Definitions - Denecker (2000) (1 citation) (Correct)
....and investigates a conservative extension of classical logic with a less general non monotonic closure principle: the principle of de nition and inductive de nition. In the context of non monotonic reasoning, de nitions have received little attention so far. However, Reiter [32] and Amati et al. [3] observed that an important method for analysis and computation in common sense knowledge representation is to compile non monotonic theories into rst order de nitions (i.e. Clark completions) They argue that the advantages of this compilation are that it clari es the meaning of the original ....
....nonmonotonic principles such as circumscription and default logic. The use of de nitions 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 [32] and Amati et al. [3] observe that compilation of non monotonic theories into rst order de nitions (in Beth s style) can produce theories that clarify the meaning of the original theories and are computationally more attractive. Are these advantages maintained if instead of rst order de nitions, ID logic de nitions ....
Gianni Amati, Luigia Carlucci Aiello, and Fiora Pirri. Denability and commonsense reasoning. Articial Intelligence Journal, 93:1 - 30, 1997. Abstract of this paper appeared also in Third Symposium on Logical Formalization of Commonsense Reasoning, Stanford, USA, 96.
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