Logics for New-Generation AI

Book published by College Publications (2022)

Dynamic Deontic Logic for Permitted Announcements

in 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022 (2022)

In this paper, we introduce and study a dynamic deontic logic for permitted announcements. In our logic framework, it is permitted to announce something if announcing it would not lead to forbidden ... [more ▼]

In this paper, we introduce and study a dynamic deontic logic for permitted announcements. In our logic framework, it is permitted to announce something if announcing it would not lead to forbidden knowledge. It is shown that the logic is not compact, and we propose a sound and weakly complete Hilbert-style axiomatisation. We also study the computational complexity of the model checking problem and the decidability of the satisfiability problem. Finally, we introduce a neighbourhood semantics with a strongly complete axiomatisation. [less ▲]

Intelligent Human-input-based Blockchain Oracle (IHiBO)

in Proceedings of the 14th International Conference on Agents and Artificial Intelligence, ICAART 2022, Volume 1 (2022)

Argumentation in Trust Services within a Blockchain Environment

in Leiva, Luis A.; Pruski, Cedric; Najjar, Amro (Eds.) et al Proceedings of the 33rd Benelux Conference on Artificial Intelligence and the 30th Belgian Dutch Conference on Machine Learning (BNAIC/BENELEARN 2021) (2021)

Both argumentation and trust concern multi-lateral uncertainties, while argumentation owns the ability to enhance trust in many ways. In the field of trust service where the trustee administers financial ... [more ▼]

Both argumentation and trust concern multi-lateral uncertainties, while argumentation owns the ability to enhance trust in many ways. In the field of trust service where the trustee administers financial assets on behalf of principals, trust is an indispensable element. Often, the trustees withhold the investment plans and of which the decision-making process from their principals such that these services lack of transparency， documentation, traceability, and inclusive decision-making mechanisms. In this paper, we integrate formal argumentation within a blockchain framework. Both argumentation and blockchain have distinctive features that complement each other. They together make the decision-making of the trustees transparent and traceable in order to gain trust and confidence in principals. We introduce three possible architectures and we evaluate and compare them considering different technical, financial, and legal aspects. Specifically, we discuss the role of argumentation in building trust between trustees and their principals. [less ▲]

Cause of Action and the Right to Know

in Legal Knowledge and Information Systems (2021)

A Logical Analysis of Freedom of Thought

in Deontic Logic and Normative Systems (2021)

Interpretations of Support Among Arguments

in Proceedings of the 33rd International Conference on Legal Knowledge and Information Systems (JURIX 2020) (2020, December)

The theory of formal argumentation distinguishes and unifies various notions of attack, support and preference among arguments, and principles are used to classify the semantics of various kinds of ... [more ▼]

The theory of formal argumentation distinguishes and unifies various notions of attack, support and preference among arguments, and principles are used to classify the semantics of various kinds of argumentation frameworks. In this paper, we consider the case in which we know that an argument is supporting another one, but we do not know yet which kind of support it is. Most common in the literature is to classify support as deductive, necessary, or evidentiary. Alternatively, support is characterized using principles. We discuss the interpretation of support using a legal divorce action. Technical results and proofs can be found in an accompanying technical report. [less ▲]

Artificial Intelligence in Space

E-print/Working paper (2020)

Legal Data Actions

in Jusletter IT (2020)

On the Formal Structure of Rules in Conflict of Laws

in Legal Knowledge and Information Systems 2019 (proceedings) (2019, December)

Law has different methods and principles to resolve conflicts between norms, most of these come from Roman Law, they are well-known and much discussed. There is a whole branch of law, though, which is ... [more ▼]

Law has different methods and principles to resolve conflicts between norms, most of these come from Roman Law, they are well-known and much discussed. There is a whole branch of law, though, which is much less discussed while having been created exactly in order to resolve special conflicts: conflict of laws. This system within Private International Law is dedicated to providing metarules in legal situations where more than one national legal systems’ rules could be applied: CoL rules indirectly settle the situation by declaring which one’s should. The formal representation of how these rules work contributes not only to the modelling of this branch of law but also provides methodologies for concerns arising from other conflicting normative systems, such as ethically sensitive situations where there are multiple stakeholders with different moral backgrounds. [less ▲]