Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297798660> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W4297798660 abstract "Logical formalisms provide a natural and concise means for specifying and reasoning about preferences. In this paper, we propose lexicographic logic, an extension of classical propositional logic that can express a variety of preferences, most notably lexicographic ones. The proposed logic supports a simple new connective whose semantics can be defined in terms of finite lists of truth values. We demonstrate that, despite the well-known theoretical limitations that pose barriers to the quantitative representation of lexicographic preferences, there exists a subset of the rational numbers over which the proposed new connective can be naturally defined. Lexicographic logic can be used to define in a simple way some well-known preferential operators, like $A$ and if possible $B$, and $A$ or failing that $B$. Moreover, many other hierarchical preferential operators can be defined using a systematic approach. We argue that the new logic is an effective formalism for ranking query results according to the satisfaction level of user preferences." @default.
- W4297798660 created "2022-10-01" @default.
- W4297798660 creator A5027179931 @default.
- W4297798660 creator A5036246549 @default.
- W4297798660 creator A5038937008 @default.
- W4297798660 creator A5078140903 @default.
- W4297798660 date "2020-12-20" @default.
- W4297798660 modified "2023-09-26" @default.
- W4297798660 title "Lexicographic Logic: a Many-valued Logic for Preference Representation" @default.
- W4297798660 doi "https://doi.org/10.48550/arxiv.2012.10940" @default.
- W4297798660 hasPublicationYear "2020" @default.
- W4297798660 type Work @default.
- W4297798660 citedByCount "0" @default.
- W4297798660 crossrefType "posted-content" @default.
- W4297798660 hasAuthorship W4297798660A5027179931 @default.
- W4297798660 hasAuthorship W4297798660A5036246549 @default.
- W4297798660 hasAuthorship W4297798660A5038937008 @default.
- W4297798660 hasAuthorship W4297798660A5078140903 @default.
- W4297798660 hasBestOaLocation W42977986601 @default.
- W4297798660 hasConcept C114614502 @default.
- W4297798660 hasConcept C136119220 @default.
- W4297798660 hasConcept C154945302 @default.
- W4297798660 hasConcept C159254197 @default.
- W4297798660 hasConcept C171018156 @default.
- W4297798660 hasConcept C17744445 @default.
- W4297798660 hasConcept C199360897 @default.
- W4297798660 hasConcept C199539241 @default.
- W4297798660 hasConcept C202444582 @default.
- W4297798660 hasConcept C2524010 @default.
- W4297798660 hasConcept C2776359362 @default.
- W4297798660 hasConcept C33923547 @default.
- W4297798660 hasConcept C41008148 @default.
- W4297798660 hasConcept C69562738 @default.
- W4297798660 hasConcept C80444323 @default.
- W4297798660 hasConcept C94625758 @default.
- W4297798660 hasConceptScore W4297798660C114614502 @default.
- W4297798660 hasConceptScore W4297798660C136119220 @default.
- W4297798660 hasConceptScore W4297798660C154945302 @default.
- W4297798660 hasConceptScore W4297798660C159254197 @default.
- W4297798660 hasConceptScore W4297798660C171018156 @default.
- W4297798660 hasConceptScore W4297798660C17744445 @default.
- W4297798660 hasConceptScore W4297798660C199360897 @default.
- W4297798660 hasConceptScore W4297798660C199539241 @default.
- W4297798660 hasConceptScore W4297798660C202444582 @default.
- W4297798660 hasConceptScore W4297798660C2524010 @default.
- W4297798660 hasConceptScore W4297798660C2776359362 @default.
- W4297798660 hasConceptScore W4297798660C33923547 @default.
- W4297798660 hasConceptScore W4297798660C41008148 @default.
- W4297798660 hasConceptScore W4297798660C69562738 @default.
- W4297798660 hasConceptScore W4297798660C80444323 @default.
- W4297798660 hasConceptScore W4297798660C94625758 @default.
- W4297798660 hasLocation W42977986601 @default.
- W4297798660 hasOpenAccess W4297798660 @default.
- W4297798660 hasPrimaryLocation W42977986601 @default.
- W4297798660 hasRelatedWork W1482040357 @default.
- W4297798660 hasRelatedWork W1585363700 @default.
- W4297798660 hasRelatedWork W2041526687 @default.
- W4297798660 hasRelatedWork W2085628186 @default.
- W4297798660 hasRelatedWork W2119361337 @default.
- W4297798660 hasRelatedWork W2294842961 @default.
- W4297798660 hasRelatedWork W2891074990 @default.
- W4297798660 hasRelatedWork W3113742451 @default.
- W4297798660 hasRelatedWork W4293179750 @default.
- W4297798660 hasRelatedWork W2610412389 @default.
- W4297798660 isParatext "false" @default.
- W4297798660 isRetracted "false" @default.
- W4297798660 workType "article" @default.