Matches in SemOpenAlex for { <https://semopenalex.org/work/W4385374013> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W4385374013 abstract "Order-Sorted Feature (OSF) logic is a knowledge representation and reasoning language based on function-denoting feature symbols and set-denoting sort symbols ordered in a subsumption lattice. OSF logic allows the construction of record-like terms that represent classes of entities and that are themselves ordered in a subsumption relation. The unification algorithm for such structures provides an efficient calculus of type subsumption, which has been applied in computational linguistics and implemented in constraint logic programming languages such as LOGIN and LIFE and automated reasoners such as CEDAR. This work generalizes OSF logic to a fuzzy setting. We give a flexible definition of a fuzzy subsumption relation which generalizes Zadeh's inclusion between fuzzy sets. Based on this definition we define a fuzzy semantics of OSF logic where sort symbols and OSF terms denote fuzzy sets. We extend the subsumption relation to OSF terms and prove that it constitutes a fuzzy partial order with the property that two OSF terms are subsumed by one another in the crisp sense if and only if their subsumption degree is greater than 0. We show how to find the greatest lower bound of two OSF terms by unifying them and how to compute the subsumption degree between two OSF terms, and we provide the complexity of these operations." @default.
- W4385374013 created "2023-07-29" @default.
- W4385374013 creator A5044205742 @default.
- W4385374013 creator A5066756066 @default.
- W4385374013 date "2023-07-27" @default.
- W4385374013 modified "2023-10-16" @default.
- W4385374013 title "Fuzzy order-sorted feature logic" @default.
- W4385374013 doi "https://doi.org/10.48550/arxiv.2307.14669" @default.
- W4385374013 hasPublicationYear "2023" @default.
- W4385374013 type Work @default.
- W4385374013 citedByCount "0" @default.
- W4385374013 crossrefType "posted-content" @default.
- W4385374013 hasAuthorship W4385374013A5044205742 @default.
- W4385374013 hasAuthorship W4385374013A5066756066 @default.
- W4385374013 hasBestOaLocation W43853740131 @default.
- W4385374013 hasConcept C102993220 @default.
- W4385374013 hasConcept C118615104 @default.
- W4385374013 hasConcept C128838566 @default.
- W4385374013 hasConcept C136119220 @default.
- W4385374013 hasConcept C138885662 @default.
- W4385374013 hasConcept C154945302 @default.
- W4385374013 hasConcept C176783269 @default.
- W4385374013 hasConcept C199360897 @default.
- W4385374013 hasConcept C202444582 @default.
- W4385374013 hasConcept C2776401178 @default.
- W4385374013 hasConcept C33923547 @default.
- W4385374013 hasConcept C41008148 @default.
- W4385374013 hasConcept C41895202 @default.
- W4385374013 hasConcept C44616089 @default.
- W4385374013 hasConcept C49937458 @default.
- W4385374013 hasConcept C58166 @default.
- W4385374013 hasConcept C80444323 @default.
- W4385374013 hasConcept C96146094 @default.
- W4385374013 hasConceptScore W4385374013C102993220 @default.
- W4385374013 hasConceptScore W4385374013C118615104 @default.
- W4385374013 hasConceptScore W4385374013C128838566 @default.
- W4385374013 hasConceptScore W4385374013C136119220 @default.
- W4385374013 hasConceptScore W4385374013C138885662 @default.
- W4385374013 hasConceptScore W4385374013C154945302 @default.
- W4385374013 hasConceptScore W4385374013C176783269 @default.
- W4385374013 hasConceptScore W4385374013C199360897 @default.
- W4385374013 hasConceptScore W4385374013C202444582 @default.
- W4385374013 hasConceptScore W4385374013C2776401178 @default.
- W4385374013 hasConceptScore W4385374013C33923547 @default.
- W4385374013 hasConceptScore W4385374013C41008148 @default.
- W4385374013 hasConceptScore W4385374013C41895202 @default.
- W4385374013 hasConceptScore W4385374013C44616089 @default.
- W4385374013 hasConceptScore W4385374013C49937458 @default.
- W4385374013 hasConceptScore W4385374013C58166 @default.
- W4385374013 hasConceptScore W4385374013C80444323 @default.
- W4385374013 hasConceptScore W4385374013C96146094 @default.
- W4385374013 hasLocation W43853740131 @default.
- W4385374013 hasOpenAccess W4385374013 @default.
- W4385374013 hasPrimaryLocation W43853740131 @default.
- W4385374013 hasRelatedWork W1548860908 @default.
- W4385374013 hasRelatedWork W1596719193 @default.
- W4385374013 hasRelatedWork W1597816451 @default.
- W4385374013 hasRelatedWork W204210577 @default.
- W4385374013 hasRelatedWork W2072913622 @default.
- W4385374013 hasRelatedWork W2295374938 @default.
- W4385374013 hasRelatedWork W2762652554 @default.
- W4385374013 hasRelatedWork W2963151688 @default.
- W4385374013 hasRelatedWork W4212945409 @default.
- W4385374013 hasRelatedWork W4301456608 @default.
- W4385374013 isParatext "false" @default.
- W4385374013 isRetracted "false" @default.
- W4385374013 workType "article" @default.