Istituto di Scienza e Tecnologie dell'Informazione     
Sebastiani F., Straccia U. Incremental knowledge acquisition for non-monotonic reasoning. In: Computers and Artificial Intelligence, vol. 13 (4) pp. 377 - 396. SAP, 1994.
The use of conventional non-monotonic reasoning tools in real-sized knowledge-based applications is hindered by the fact that the knowledge acquisition phase cannot be accomplished in the incremental way that is instead typical or knowledge base management systems based on monotonic logics. As a result, some researchers have departed from orthodox non-monotonic formalisms and proposed languages for the representation of Multiple Inheritance Networks with Exceptions (MINEs). Such languages do not suffer from the problem of incrementality in knowledge acquisition, but are inadequate both from a formal and from an empirical point of view. In fact, they are not endowed with a formal semantics, and the intuitions that underlie their inferential mechanisms are far from being widely agreed upon. In this paper we discuss an approach to non-monotonic reasoning which does allow the phase or knowledge acquisition to be accomplished in an incremental and modular way, but 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 or 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. Keywords: compositionality, knowledge representation
Subject Compositionality
Knowledge representation
Knowledge acquisition
Multiple inheritance
Non-monotonic reasoning
H.3.3 Information Search and Retrieval

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional