Loading...
Assisted Normative Reasoning with Aristotelian Diagrams
Title / Series / Name
Publication Volume
Publication Issue
Pages
Keywords
Algorithmic graph theory
Aristotelian diagrams
assisted reasoning
automated deduction
normative reasoning
QA75 Electronic computers. Computer science
BC Logic
Aristotelian diagrams
assisted reasoning
automated deduction
normative reasoning
QA75 Electronic computers. Computer science
BC Logic
URI
https://hdl.handle.net/20.500.14018/27266
Abstract
We design a framework for assisted normative reasoning based on Aristotelian diagrams and algorithmic graph theory which can be employed to address heterogeneous tasks of deductive reasoning. Here we focus on two problems of normative determination: we show that the algorithms used to address these problems are computationally efficient and their operations are traceable by humans. Finally, we discuss an application of our framework to a scenario regulated by the GDPR.
Topic
Publisher
Place of Publication
Type
Book chapter
Date
2023-12-07
Language
ISBN
9781643684727
Identifiers
10.3233/FAIA230949