Logo des Repositoriums

Künstliche Intelligenz 38(1-2) - August 2024

https://dl.gi.de/handle/20.500.12116/45371
Auflistung nach:

Auflistung Künstliche Intelligenz 38(1-2) - August 2024 nach Schlagwort "Axiomatization"

1 - 1 von 1
  • Zeitschriftenartikel
    Report on “Axiomatizing Conditional Normative Reasoning”
    (KI - Künstliche Intelligenz: Vol. 38, No. 0, 2024) Parent, Xavier
    This is a report on the project “Axiomatizing Conditional Normative Reasoning” (ANCoR, M 3240-N) funded by the Austrian Science Fund (FWF). The project aims to deepen our understanding of conditional normative reasoning by providing an axiomatic study of it at the propositional but also first-order level. The focus is on a particular framework, the so-called preference-based logic for conditional obligation, whose main strength has to do with the treatment of contrary-to-duty reasoning and reasoning about exceptions. The project considers not only the meta-theory of this family of logics but also its mechanization.