A theory of nonmonotonic inheritance based on annotated logic

DOI10.1016/0004-3702(93)90033-8MaRDI QIDQ685338zbMATH OpenOpenAlexFDO

Authors Krishnaprasad Thirunarayan, Michael Kifer

Publication date 9 January 1994

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0004-3702(93)90033-8

zbMATH Keywords

networks with nonmonotonic multiple inheritance

Mathematics Subject Classification ID

Artificial intelligence (68T99)

Review text

We propose a logical language for representing networks with nonmonotonic multiple inheritance. The language is based on a variant of annotated logic. The use of annotated logic provides a rich setting that allows to disambiguate networks whose topology does not provide enough information to decide how properties are to be inherited. The proposed formalism handles inheritance via strict as well as defeasible links. We provide a formal account of the language, describe its semantics, and show how a unique intended model can be associated with every inheritance specification written in the language. Finally, we present an algorithm that correctly propagates inherited properties according to the given semantics. The algorithm is also complete in the sense that it computes the set of all properties that must be inherited by any given individual object, and then terminates.

Recommendations

Cites work

Cited in

(9)

This page was built for publication: A theory of nonmonotonic inheritance based on annotated logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q685338)