Search Results for author:
Found 12 papers, 1 papers with code
Defense semantics of argumentation: revisit
In this paper we introduce a novel semantics, called defense semantics, for Dung's abstract argumentation frameworks in terms of a notion of (partial) defence, which is a triple encoding that one argument is (partially) defended by another argument via attacking the attacker of the first argument.
Towards AI Logic for Social Reasoning
Besides reasoning about the knowledge and actions of individual agents, social AI logic can reason also about social dependencies among agents using the rights, obligations and permissions of the agents.
Artificial intelligence in space
In the next coming years, space activities are expected to undergo a radical transformation with the emergence of new satellite systems or new services which will incorporate the contributions of artificial intelligence and machine learning defined as covering a wide range of innovations from autonomous objects with their own decision-making power to increasingly sophisticated services exploiting very large volumes of information from space.
Intention as Commitment toward Time
The first contribution is a logic for reasoning about intention, time and belief, in which assumptions of intentions are represented by preconditions of intended actions.
SCF2 -- an Argumentation Semantics for Rational Human Judgments on Argument Acceptability: Technical Report
In this paper, we combine both approaches to motivate a new argumentation semantics called SCF2.
Designing Normative Theories for Ethical and Legal Reasoning: LogiKEy Framework, Methodology, and Tool Support
A framework and methodology---termed LogiKEy---for the design and engineering of ethical reasoners, normative theories and deontic logics is presented.
The Jiminy Advisor: Moral Agreements Among Stakeholders Based on Norms and Argumentation
We address the challenge of how the ethical views of such stakeholders can be integrated in the behavior of an autonomous system.
Prioritized Norms in Formal Argumentation
To resolve conflicts among norms, various nonmonotonic formalisms can be used to perform prioritized normative reasoning.
Defense semantics of argumentation: encoding reasons for accepting arguments
In this paper we show how the defense relation among abstract arguments can be used to encode the reasons for accepting arguments.
Reasoning in Non-Probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples
This article aims to achieve two goals: to show that probability is not the only way of dealing with uncertainty (and even more, that there are kinds of uncertainty which are for principled reasons not addressable with probabilistic means); and to provide evidence that logic-based methods can well support reasoning with uncertainty.
A partial taxonomy of judgment aggregation rules, and their properties
The literature on judgment aggregation is moving from studying impossibility results regarding aggregation rules towards studying specific judgment aggregation rules.
Abduction and Dialogical Proof in Argumentation and Logic Programming
We develop a model of abduction in abstract argumentation, where changes to an argumentation framework act as hypotheses to explain the support of an observation.
