We use cookies to improve your experience with our site.
Xu Dianxiang, Zheng Guoliang. Towards a Declarative Semantics of Inheritance with Exceptions[J]. Journal of Computer Science and Technology, 1996, 11(1): 61-71.
Citation: Xu Dianxiang, Zheng Guoliang. Towards a Declarative Semantics of Inheritance with Exceptions[J]. Journal of Computer Science and Technology, 1996, 11(1): 61-71.

Towards a Declarative Semantics of Inheritance with Exceptions

  • This paper presents a declarative semantics of compositional inheritancein an object-oriented logic programming' framework wit h explicit exceptions,based on the iterated least Aspoint semantics to normal logic programs. Tak-ing logic objects with exceptions as a ldnd of nonmonotonic theory, the nonmonotonicity of inheritance is achieved, which is of importance for modelingincomplete knowledge and requirement specffications in both artificial intelli-gence and softwa-re engineering.
  • loading

Catalog

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return