{"type":"ScholarlyArticle","title":"On the Declarative Semantics of Inheritance Networks","authors":[{"name":"Krishnaprasad Thirunarayan","slug":"krishnaprasad-thirunarayan","given":"Krishnaprasad","family":"Thirunarayan","affiliation":""},{"name":"Michael Kifer","slug":"michael-kifer","given":"Michael","family":"Kifer","affiliation":""},{"name":"David Scott Warren","slug":"david-scott-warren","given":"David Scott","family":"Warren","affiliation":""}],"abstract":"Usually, semantics of inheritance networks is specified indirectly through a translation into one of the standard logical formalisms. Since such translation involves an algorithmic aspect, which is usually complex, these approaches to inheritance are not truly declarative. We provide a general framework for specifying a direct semantics of inheritance networks. Because the networks are not expressive enough to capture all intuitions behind inheritance, a number of significantly different semantics have been proposed. Our approach allows us to give direct semantics to a number of different proposals found in the literature, and clarifies the relationships among them. It also provides a yardstick for measuring adequacy oftranslation into logical formalisms of various intuitions about inheritance.","doi":null,"url":"https://ijcai.org/proceedings/1989/176","pdf":"https://ijcai.org/proceedings/1989/0176.pdf","markdown":"https://ijcai.org/proceedings/1989/176.md","bibtex":"https://ijcai.org/proceedings/1989/bibtex/176","volume":{"slug":"1989","title":"Proceedings of the Eleventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1989","url":"https://ijcai.org/proceedings/1989/","year":1989,"location":"Detroit, Michigan, USA","dates":"August 20-25 1989","editors":"N. S. Sridharan","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Commonsense Reasoning","track":"Commonsense Reasoning","number":176,"pages":{"first":1099,"last":1102},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}