Incremental knowledge acquisition for non-monotonic reasoning (Contributo in atti di convegno)

Type

• Prodotto della ricerca (Classe)
• Contributo in atti di convegno (Classe)

Label

• Incremental knowledge acquisition for non-monotonic reasoning (Contributo in atti di convegno) (literal)

Anno

• 1994-01-01T00:00:00+01:00 (literal)

Alternative label

• Sebastiani, Fabrizio; Straccia, Umberto (1994)
  Incremental knowledge acquisition for non-monotonic reasoning
  in 8th European Knowledge Acquisition Workshop
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Sebastiani, Fabrizio; Straccia, Umberto (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni

• Proceedings of the 8th European Workshop in Knowledge Acquisition, EKAW 1994 - Position papers volume (literal)

Note

• DBLP (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• ISTI-CNR (literal)

Titolo

• Incremental knowledge acquisition for non-monotonic reasoning (literal)

Abstract

• The use of conventional non-monotonic reasoning tools in real-sized knowledge-based applications is hindered by the fact that the knowledge acquisition (KA) phase cannot be accomplished in the incremental way that is instead typical of knowledge base management systems based on monotonic logics. Some researchers have proposed (non-monotonic) languages for the representation of Multiple Inheritance Networks with Exceptions (MINEs) that do not suffer from incrementality problems. However, such languages are formally inadequate, as their semantic status is somewhat questionable. In this paper we discuss an approach to non-monotonic reasoning which does allow the phase of KA to be accomplished incrementally, and at the same time relies on a solid and widely acknowledged formal apparatus such as First Order Logic (FOL). We have obtained this by specifying a (non-monotonic) function that maps MINEs into sets of FOL formulae. We have shown that the mapping function we discuss is sound and complete, in the sense that each conclusion that can be derived from a MINE is also derivable from the set of FOL formulae resulting from its translation via the mapping function, and vice-versa. (literal)

Prodotto di

• Digital Libraries (ICT.P08.010.002) (Modulo)
• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)

Autore CNR

• FABRIZIO SEBASTIANI (Unità di personale interno)
• UMBERTO STRACCIA (Unità di personale interno)

Incoming links:

Autore CNR di

• UMBERTO STRACCIA (Unità di personale interno)
• FABRIZIO SEBASTIANI (Unità di personale interno)

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Digital Libraries (ICT.P08.010.002) (Modulo)