Semantica basata sulle preferenze per obblighi condizionali sconfiggibili

Questo articolo introduce un quadro semantico a due livelli incentrato sulle preferenze per modellare obblighi condizionali sconfiggibili, rispondendo a una preoccupazione sollevata da Horty. Migliora la semantica delle preferenze in stile Hansson-Lewis all'interno della logica deontica diadica incorporando un approccio di ragionamento non monotono che consente la revoca di obblighi precedentemente stabiliti alla luce di nuove informazioni conflittuali. Il quadro utilizza due ordinamenti distinti—idealità e normalità—per superare le limitazioni riscontrate nei metodi precedenti, ciascuno con il proprio sistema di classificazione. La componente non monotona esamina vari postulati, come il rafforzamento dell'antecedente e l'inclusione. Inoltre, viene tracciato un collegamento con la logica input/output (I/O) vincolata, uno standard riconosciuto per il ragionamento normativo basato su una metodologia alternativa. Questo articolo rientra in Computer Science > Logic in Computer Science ed è accessibile su arXiv.