@inproceedings{a5c36ab6ba2c42fa84cc8755d37b20b5,
title = "Computability of Diagrammatic Theories for Normative Positions",
abstract = "Normative positions are sometimes illustrated in diagrams, in particular in didactic contexts. Traditional examples are the Aristotelian polygons of opposition for deontic modalities (squares, triangles, hexagons, etc.), and the Hohfeldian squares for obligative and potestative concepts. Relying on previous work, we show that Hohfeld's framework can be used as a basis for developing several Aristotelian polygons and more complex diagrams. Then, we illustrate how logical theories of increasing strength can be built based on these diagrams, and how those theories enable us to determine in a computably efficient way whether a set of normative positions can be derived from another set of normative positions.",
keywords = "Computable Normative Theories, Diagrams, Hohfeldian relationships, Normative Positions, Polygons of Opposition",
author = "Matteo Pascucci and Giovanni Sileno",
note = "Publisher Copyright: {\textcopyright} 2021 The authors and IOS Press.; 34th International Conference on Legal Knowledge and Information Systems, JURIX 2021 ; Conference date: 08-12-2021 Through 10-12-2021",
year = "2021",
month = dec,
day = "2",
doi = "10.3233/FAIA210333",
language = "English",
series = "Frontiers in Artificial Intelligence and Applications",
publisher = "IOS Press BV",
pages = "171--180",
editor = "Erich Schweighofer",
booktitle = "Legal Knowledge and Information Systems - JURIX 2021",
}