"Research in Knowledge Representation at DIS:
Some results in Nonmonotonic Reasoning"
DIS, Universita' di Roma La Sapienza
| aiello |  |
dis.uniroma1.it |
|---|
Tuesday, August 25, 1998
2:00 - 3:00 p.m.
The the first part of the talk is an overview of the research topics dealt with by the Artificial Intelligence Group at DIS, the Department of Computer and System Sciences of the University of Rome La Sapienza. Some results will be reviewed and current research programs will be outlined.
The second part of the talk focuses on results in commonsense reasoning.
Much research has gone on (since the early eighties) on nonmonotonic reasoning, viewed as a form of common sense reasoning. I'll illustrate some of the research I have done with coworkers about Default Logic (DL, the logic for default reasoning proposed by Reiter in 1980), and discuss how to provide it with a proof theory and semantics.
I'll also illustrate how the setting we have provided for defining a semantics for DL, lends itself to deal with the explicit definability of concepts corresponding to natural kinds.