FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2914947277> ?p ?o ?g. }

• W2914947277 abstract "The notion of inheritance is fundamental to Knowledge Representation Systems. Inheritance networks are structures employed to represent prototypical knowledge. Reasoning with inheritance networks has been ad hoc in the past because their semantics were not well-understood. Only recently have researchers tried to provide a semantics for them. This has been done either through a translation into a general logical formalism or by special path-based techniques. The former approach requires the specification of an algorithmic transformation of the network into a set of sentences in a logic language. The intuitions about inheritance are captured indirectly through the semantics of the logic language. The user must know the logical formalism and the details of the translation algorithm to understand the meaning of the network. In the second approach, the semantics is given by characterizing sets of inheritance paths in the network. This specification is very complex, and has subtle side effects making it difficult for the user to fully understand the semantics.This dissertation introduces a general framework for specifying declarative semantics of inheritance networks directly in terms of the network. This provides a model-theoretic specification of the meaning that is easy to understand and use. Furthermore, this framework gives a uniform way to compare different proposals for inheritance.To study the formal properties of credulous and skeptical theory of inheritance, I developed logical semantics for these networks. The credulous theory is based on the circumscriptive translation. For the skeptical theory, I have proposed an evidence-based logic obtained by amalgamating concepts from logic-programming and multi-valued logics.This dissertation generalizes traditional networks to so-called preferential networks. This allows specification of information to resolve ambiguity that arises because of the topology of the network, but which is not inherent in the problem being modelled. I also show that the understanding of inheritance as the flow of individuals up the network to acquire properties better captures intuitions about inheritance than the view of properties flowing downwards. My theories exhibit locality and form the basis for the design and implementation of efficient inheritance algorithms." @default.
• W2914947277 created "2019-02-21" @default.
• W2914947277 creator A5055338447 @default.
• W2914947277 creator A5059918476 @default.
• W2914947277 creator A5060617658 @default.
• W2914947277 date "1989-01-01" @default.
• W2914947277 modified "2023-09-24" @default.
• W2914947277 title "The semantics of inheritance networks" @default.
• W2914947277 hasPublicationYear "1989" @default.
• W2914947277 type Work @default.
• W2914947277 sameAs 2914947277 @default.
• W2914947277 citedByCount "3" @default.
• W2914947277 crossrefType "journal-article" @default.
• W2914947277 hasAuthorship W2914947277A5055338447 @default.
• W2914947277 hasAuthorship W2914947277A5059918476 @default.
• W2914947277 hasAuthorship W2914947277A5060617658 @default.
• W2914947277 hasConcept C104317684 @default.
• W2914947277 hasConcept C142362112 @default.
• W2914947277 hasConcept C146499914 @default.
• W2914947277 hasConcept C150607116 @default.
• W2914947277 hasConcept C153349607 @default.
• W2914947277 hasConcept C156325763 @default.
• W2914947277 hasConcept C184337299 @default.
• W2914947277 hasConcept C185592680 @default.
• W2914947277 hasConcept C199360897 @default.
• W2914947277 hasConcept C200065993 @default.
• W2914947277 hasConcept C200568363 @default.
• W2914947277 hasConcept C207648694 @default.
• W2914947277 hasConcept C2780902518 @default.
• W2914947277 hasConcept C41008148 @default.
• W2914947277 hasConcept C55493867 @default.
• W2914947277 hasConcept C558565934 @default.
• W2914947277 hasConcept C61151141 @default.
• W2914947277 hasConcept C73301696 @default.
• W2914947277 hasConcept C73752529 @default.
• W2914947277 hasConcept C80444323 @default.
• W2914947277 hasConcept C89497691 @default.
• W2914947277 hasConceptScore W2914947277C104317684 @default.
• W2914947277 hasConceptScore W2914947277C142362112 @default.
• W2914947277 hasConceptScore W2914947277C146499914 @default.
• W2914947277 hasConceptScore W2914947277C150607116 @default.
• W2914947277 hasConceptScore W2914947277C153349607 @default.
• W2914947277 hasConceptScore W2914947277C156325763 @default.
• W2914947277 hasConceptScore W2914947277C184337299 @default.
• W2914947277 hasConceptScore W2914947277C185592680 @default.
• W2914947277 hasConceptScore W2914947277C199360897 @default.
• W2914947277 hasConceptScore W2914947277C200065993 @default.
• W2914947277 hasConceptScore W2914947277C200568363 @default.
• W2914947277 hasConceptScore W2914947277C207648694 @default.
• W2914947277 hasConceptScore W2914947277C2780902518 @default.
• W2914947277 hasConceptScore W2914947277C41008148 @default.
• W2914947277 hasConceptScore W2914947277C55493867 @default.
• W2914947277 hasConceptScore W2914947277C558565934 @default.
• W2914947277 hasConceptScore W2914947277C61151141 @default.
• W2914947277 hasConceptScore W2914947277C73301696 @default.
• W2914947277 hasConceptScore W2914947277C73752529 @default.
• W2914947277 hasConceptScore W2914947277C80444323 @default.
• W2914947277 hasConceptScore W2914947277C89497691 @default.
• W2914947277 hasLocation W29149472771 @default.
• W2914947277 hasOpenAccess W2914947277 @default.
• W2914947277 hasPrimaryLocation W29149472771 @default.
• W2914947277 hasRelatedWork W100882334 @default.
• W2914947277 hasRelatedWork W1410707168 @default.
• W2914947277 hasRelatedWork W1496631421 @default.
• W2914947277 hasRelatedWork W1569208917 @default.
• W2914947277 hasRelatedWork W1581346998 @default.
• W2914947277 hasRelatedWork W1595497122 @default.
• W2914947277 hasRelatedWork W1748981348 @default.
• W2914947277 hasRelatedWork W1967115134 @default.
• W2914947277 hasRelatedWork W2012899205 @default.
• W2914947277 hasRelatedWork W2073557729 @default.
• W2914947277 hasRelatedWork W2075331075 @default.
• W2914947277 hasRelatedWork W2137586949 @default.
• W2914947277 hasRelatedWork W2162564004 @default.
• W2914947277 hasRelatedWork W216690065 @default.
• W2914947277 hasRelatedWork W2179744405 @default.
• W2914947277 hasRelatedWork W2400957619 @default.
• W2914947277 hasRelatedWork W2778489400 @default.
• W2914947277 hasRelatedWork W2947956724 @default.
• W2914947277 hasRelatedWork W3158620252 @default.
• W2914947277 hasRelatedWork W3185474140 @default.
• W2914947277 isParatext "false" @default.
• W2914947277 isRetracted "false" @default.
• W2914947277 magId "2914947277" @default.
• W2914947277 workType "article" @default.