LOGICHE NON CLASSICHE PER LA RAPPRESENTAZIONE DELLA CONOSCENZA…非.pdfVIP

LOGICHE NON-CLASSICHE PER LA RAPPRESENTAZIONE DELLA CONOSCENZA E IL RAGIONAMENTO NON-CLASSICAL LOGICS FOR KNOWLEDGE REPRESENTATION AND REASONING Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, and Camilla B. Schwind SOMMARIO/ABSTRACT munity, in the context of knowledge representation. In the following section, we describe the activity of our group in Riassumiamo brevemente la nostra attivit`a di ricerca nel this area, concerning the use of modal, temporal, condi- campo delle logiche non-classiche iniziata negli anni ’90. tional and non-monotonic logics for Reasoning about Ac- In particolare, descriviamo la nostra ricerca riguardante tions and Change and for Belief Revision as well as in the l’applicazione delle logiche non-classiche alla rappresen- specification and verification of multi-agent systems. tazione della conoscenza e lo sviluppo di metodi di prova In section 3 we describe our activity regarding proof per logiche non-monotone e condizionali. methods for non-classical logics and, in particular, for KLM non-monotonic logics and for Conditional Logics. We briefly outline our research activity in the field of non- classical logics started in the 90s. In particular, we de- scribe our research in the application of non-classical log- 2 Knowledge Representation ics to knowledge representation and in the development of As mentioned above, our activity in Knowledge Represen- proof methods for non-monotonic and conditional logics. tation has been mainly concerned with the formalization of