258 research outputs found
Non-monotonic reasoning with normative conflicts in multi-agent deontic logic
We present two multi-agent deontic logics that consistently accommodate various types of normative conflicts. Its language features modal operators for obligation and permission, and for the realization of individual and collective actions. The logic is non-classical since it makes use of a paraconsistent and paracomplete negation connective. Moreover, it is non-monotonic due to its definition within the adaptive logics framework for defeasible reasoning. The logic is equipped with a defeasible proof theory and semantics
A structured argumentation framework for detaching conditional obligations
We present a general formal argumentation system for dealing with the
detachment of conditional obligations. Given a set of facts, constraints, and
conditional obligations, we answer the question whether an unconditional
obligation is detachable by considering reasons for and against its detachment.
For the evaluation of arguments in favor of detaching obligations we use a
Dung-style argumentation-theoretical semantics. We illustrate the modularity of
the general framework by considering some extensions, and we compare the
framework to some related approaches from the literature.Comment: This is our submission to DEON 2016, including the technical appendi
Pointwise intersection in neighbourhood modal logic
We study the logic of neighbourhood models with pointwise intersection, as a
means to characterize multi-modal logics. Pointwise intersection takes us from
a set of neighbourhood sets (one for each member of a set
, used to interpret the modality ) to a new neighbourhood set
, which in turn allows us to interpret the operator .
Here, is in the neighbourhood for if and only if equals the
intersection of some . We show that the
notion of pointwise intersection has various applications in epistemic and
doxastic logic, deontic logic, coalition logic, and evidence logic. We then
establish sound and strongly complete axiomatizations for the weakest logic
characterized by pointwise intersection and for a number of variants, using a
new and generally applicable technique for canonical model construction.Comment: Submitted to Advances in Modal Logic 201
OWL-POLAR : A Framework for Semantic Policy Representation and Reasoning
Peer reviewedPreprin
Detection and resolution of normative conflicts in multi-agent systems : a literature survey
Peer reviewedPostprin
Defeasible Logic: Agency, Intention and Obligation
We propose a computationally oriented non-monotonic multi-modal logic arising from the combination of agency, intention and obligation. We argue about the defeasible nature of these notions and then we show how to represent and reason with them in the setting of defeasible logic
Interaction between Normative Systems and Cognitive Agents in Temporal Modal Defeasible Logic
While some recent frameworks on cognitive agents addressed the combination of mental attitudes with deontic concepts, they commonly ignore the representation of time. An exception is [1]that manages also some temporal aspects both with respect to cognition and normative provisions. We propose in this paper an extension of the logic presented in [1]with temporal intervals
BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic
In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe agents and agent types in Defeasible Logic. We argue, in particular, that the introduction of obligations can provide a new reading of the concepts of intention and intentionality. Then we examine the notion of social agent (i.e., an agent where obligations prevail over intentions) and discuss some computational and philosophical issues related to it. We show that the notion of social agent either requires more complex computations or has some philosophical drawbacks
- …