Matches in SemOpenAlex for { <https://semopenalex.org/work/W2785147867> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2785147867 abstract "Most of the knowledge Representation formalisms developed for representing prescriptive norms can be categorized as either suitable for representing either low level or high level norms.We argue that low level norm representations do not advance the cause of autonomy in agents in the sense that it is not the agent itself that determines the normative position it should be at a particular time, on the account of a more general rule. In other words an agent on some external system for a nitty gritty prescriptions of its obligations and prohibitions. On the other hand, high level norms which have an explicit description of a norm's precondition and have some form of implication, do not as they exist in the literature do not support generalized inferences about violation like low level norm representations do. This paper presents a logical formalism for the representation of high level norms in open societies that enable violation inferences that detail the situation in which the norm violation took place and the identity of the norm violation. Norms are formalized as logic programs whose heads specify what an agent is obliged or permitted to do when a situation arises and within what time constraint of the situation.Each norm is also assigned an identity using some reification scheme. The body of each logic program describes the nature of the situation in which the agent is expected to act or desist from acting. This kind of violation is novel in the literature." @default.
- W2785147867 created "2018-02-02" @default.
- W2785147867 creator A5039356976 @default.
- W2785147867 creator A5078767511 @default.
- W2785147867 date "2018-01-20" @default.
- W2785147867 modified "2023-09-27" @default.
- W2785147867 title "Knowledge Representation for High-Level Norms and Violation Inference in Logic Programming" @default.
- W2785147867 cites W117632214 @default.
- W2785147867 cites W1552644025 @default.
- W2785147867 cites W1557893839 @default.
- W2785147867 cites W1569615824 @default.
- W2785147867 cites W2032334877 @default.
- W2785147867 cites W2101472771 @default.
- W2785147867 cites W2111984259 @default.
- W2785147867 hasPublicationYear "2018" @default.
- W2785147867 type Work @default.
- W2785147867 sameAs 2785147867 @default.
- W2785147867 citedByCount "0" @default.
- W2785147867 crossrefType "posted-content" @default.
- W2785147867 hasAuthorship W2785147867A5039356976 @default.
- W2785147867 hasAuthorship W2785147867A5078767511 @default.
- W2785147867 hasConcept C111472728 @default.
- W2785147867 hasConcept C136119220 @default.
- W2785147867 hasConcept C138885662 @default.
- W2785147867 hasConcept C144237770 @default.
- W2785147867 hasConcept C171018156 @default.
- W2785147867 hasConcept C17744445 @default.
- W2785147867 hasConcept C191795146 @default.
- W2785147867 hasConcept C192465680 @default.
- W2785147867 hasConcept C199360897 @default.
- W2785147867 hasConcept C199539241 @default.
- W2785147867 hasConcept C201377581 @default.
- W2785147867 hasConcept C202444582 @default.
- W2785147867 hasConcept C2524010 @default.
- W2785147867 hasConcept C33923547 @default.
- W2785147867 hasConcept C41008148 @default.
- W2785147867 hasConcept C44725695 @default.
- W2785147867 hasConcept C65414064 @default.
- W2785147867 hasConcept C94625758 @default.
- W2785147867 hasConceptScore W2785147867C111472728 @default.
- W2785147867 hasConceptScore W2785147867C136119220 @default.
- W2785147867 hasConceptScore W2785147867C138885662 @default.
- W2785147867 hasConceptScore W2785147867C144237770 @default.
- W2785147867 hasConceptScore W2785147867C171018156 @default.
- W2785147867 hasConceptScore W2785147867C17744445 @default.
- W2785147867 hasConceptScore W2785147867C191795146 @default.
- W2785147867 hasConceptScore W2785147867C192465680 @default.
- W2785147867 hasConceptScore W2785147867C199360897 @default.
- W2785147867 hasConceptScore W2785147867C199539241 @default.
- W2785147867 hasConceptScore W2785147867C201377581 @default.
- W2785147867 hasConceptScore W2785147867C202444582 @default.
- W2785147867 hasConceptScore W2785147867C2524010 @default.
- W2785147867 hasConceptScore W2785147867C33923547 @default.
- W2785147867 hasConceptScore W2785147867C41008148 @default.
- W2785147867 hasConceptScore W2785147867C44725695 @default.
- W2785147867 hasConceptScore W2785147867C65414064 @default.
- W2785147867 hasConceptScore W2785147867C94625758 @default.
- W2785147867 hasLocation W27851478671 @default.
- W2785147867 hasOpenAccess W2785147867 @default.
- W2785147867 hasPrimaryLocation W27851478671 @default.
- W2785147867 hasRelatedWork W121460717 @default.
- W2785147867 hasRelatedWork W141996976 @default.
- W2785147867 hasRelatedWork W1480951599 @default.
- W2785147867 hasRelatedWork W1485761009 @default.
- W2785147867 hasRelatedWork W156434297 @default.
- W2785147867 hasRelatedWork W158119300 @default.
- W2785147867 hasRelatedWork W1608075531 @default.
- W2785147867 hasRelatedWork W17937900 @default.
- W2785147867 hasRelatedWork W2087011951 @default.
- W2785147867 hasRelatedWork W2297457960 @default.
- W2785147867 hasRelatedWork W2346620774 @default.
- W2785147867 hasRelatedWork W2531022270 @default.
- W2785147867 hasRelatedWork W2782125757 @default.
- W2785147867 hasRelatedWork W2809759337 @default.
- W2785147867 hasRelatedWork W2901832152 @default.
- W2785147867 hasRelatedWork W3005070945 @default.
- W2785147867 hasRelatedWork W3131395924 @default.
- W2785147867 hasRelatedWork W3135484419 @default.
- W2785147867 hasRelatedWork W3169027247 @default.
- W2785147867 hasRelatedWork W2739924944 @default.
- W2785147867 isParatext "false" @default.
- W2785147867 isRetracted "false" @default.
- W2785147867 magId "2785147867" @default.
- W2785147867 workType "article" @default.