Architectural Design; Automated Reasoning; Defeasible Logic; Non-Monotonic Reasoning; Computer Science (all); Industrial and Manufacturing Engineering; Materials Science (miscellaneous); Business and International Management
Abstract :
[en] We present the architecture of Houdini-2.0, a reasoning system that computes the extension of a defeasible deontic theory given as input, the process of computing the consequences of the rules expressed in the theory itself. The decision process is a sceptical, non-monotonic, and it allows us to determine which prescriptive behaviours are in force (obligations, permissions, prohibitions) along with propositional ones. The system is based on pre-existing algorithmic solutions, and it is implemented as an online platform to deploy the results of a computation in several use cases, including those that pertain legal domain.
Disciplines :
Computer science
Author, co-author :
Cristani, Matteo; Department of Computer Science, University of Verona, Verona, Italy
Governatori, Guido; Brisbane, Australia
Olivieri, Francesco; Brisbane, Australia
PASETTO, Luca ; University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS) ; Department of Computer Science, University of Verona, Verona, Italy
Tubini, Francesco; Department of Computer Science, University of Verona, Verona, Italy
Veronese, Celeste; Department of Computer Science, University of Verona, Verona, Italy
Villa, Alessandro; Department of Computer Science, University of Verona, Verona, Italy
Zorzi, Edoardo; Department of Computer Science, University of Verona, Verona, Italy ; Department of Computer Science, ETH Zurich, Zurich, Switzerland
External co-authors :
yes
Language :
English
Title :
The architecture of a reasoning system for Defeasible Deontic Logic
Publication date :
2023
Event name :
27th International Conference on Knowledge Based and Intelligent Information and Engineering Sytems (KES 2023)
Cristani, M., Governatori, G., Olivieri, F., Pasetto, L., Tubini, F., Veronese, C., Villa, A., Zorzi, E., 2022a. Houdini (unchained): An effective reasoner for defeasible logic, in: AI3@AI*IA, CEUR-WS.org.
Cristani, M., Olivieri, F., Pasetto, L., Tomazzoli, C., Workneh, T.C., 2022b. Impact logic: Reasoning with resources and losses, in: KES, Elsevier. pp. 3856-3864. URL: https://doi.org/10.1016/j.procs.2022.09.447.
Cristani, M., Olivieri, F., Rotolo, A., 2017. Changes to temporary norms, in: ICAIL, ACM. pp. 39-48. URL: https://doi.org/10.1145/3086512.3086517.
Cristani, M., Olivieri, F., Tomazzoli, C., 2016. Automatic synthesis of best practices for energy consumptions, in: IMIS, IEEE Computer Society. pp. 154-161. URL: https://doi.org/10.1109/IMIS.2016.79.
Governatori, G., Olivieri, F., 2021. Unravel legal references in defeasible deontic logic, in: ICAIL, ACM. pp. 69-78. URL: https://doi.org/10.1145/3462757.3466080.
Governatori, G., Olivieri, F., Rotolo, A., Cristani, M., 2022. Inference to the stable explanations, in: LPNMR, Springer. pp. 245-258. URL: https://doi.org/10.1007/978-3-031-15707-3_19.
Governatori, G., Olivieri, F., Rotolo, A., Scannapieco, S., 2013. Computing strong and weak permissions in defeasible logic. J. Philos. Log. 42, 799-829. URL: https://doi.org/10.1007/s10992-013-9295-1.
Governatori, G., Olivieri, F., Scannapieco, S., Rotolo, A., Cristani, M., 2016. The rationale behind the concept of goal. Theory Pract. Log. Program. 16, 296-324. doi:10.1017/S1471068416000053.
Islam, M.B., Governatori, G., 2018. RuleRS: A rule-based architecture for decision support systems. AI and Law 26, 315-344. URL: doi.org/10.1007/s10506-018-9218-0.
Kravari, K., Bassiliades, N., 2015. A survey of agent platforms. JASSS 18, 11. URL: 10.18564/jasss.2661.
Lam, H.P., Governatori, G., 2009. The making of SPINdle, in: Governatori, G., Hall, J., Paschke, A. (Eds.), Rule Representation, Interchange and Reasoning on the Web, Springer. pp. 315-322. URL: 10.1007/978-3-642-04985-9_29.
Maher, M.J., Tachmazidis, I., Antoniou, G., Wade, S., Cheng, L., 2020. Rethinking defeasible reasoning: A scalable approach. Theory and Practice of Logic Programming 20, 552âĂŞ586. URL: 10.1017/S1471068420000010.
Nute, D., 2003. Defeasible logic, in: Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), p. 151 âĂŞ 169. doi:10.1007/3-540-36524-9_13.
Olivieri, F., Governatori, G., Cristani, M., van Beest, N., Tosatto, S.C., 2018. Resource-driven substructural defeasible logic, in: PRIMA, Springer. pp. 594-602. URL: https://doi.org/10.1007/978-3-030-03098-8_46.
Olivieri, F., Governatori, G., Cristani, M., Sattar, A., 2021. Computing defeasible meta-logic, in: JELIA, Springer. pp. 69-84. URL: https://doi.org/10.1007/978-3-030-75775-5_6.
Olivieri, F., Governatori, G., Scannapieco, S., Cristani, M., 2013. Compliant business process design by declarative specifications, in: PRIMA, Springer. pp. 213-228. URL: https://doi.org/10.1007/978-3-642-44927-7_15.
Rohaninezhad, M., Arif, S.M., Azman Mohd Noah, S., 2015. A grounder for spindle defeasible logic reasoner. Expert Systems with Applications 42, 7098-7109. doi:10.1016/j.eswa.2015.04.065.