Results 61-80 of 256.
Bookmark and Share    
Full Text
Peer Reviewed
See detailCumulative Aggregation
Ambrossio, Diego Agustin UL; Parent, Xavier UL; van der Torre, Leon UL

in Deontic Logic and Normative Systems (2016)

From any two conditional obligations “X if A” and “Y if B”, cumulative aggregation derives the combined obligation “X ∪ Y if A ∪ (B\X)”, whereas simple aggregation derives the obligation “X ∪ Y if A ∪ B” ... [more ▼]

From any two conditional obligations “X if A” and “Y if B”, cumulative aggregation derives the combined obligation “X ∪ Y if A ∪ (B\X)”, whereas simple aggregation derives the obligation “X ∪ Y if A ∪ B”. We propose FC systems consisting of cumulative aggregation together with factual detachment, and we give a representation result for FC systems, as well as for FA systems consisting of simple aggregation together with factual detachment. We relate FC and FA systems to each other and to input/output logics recently introduced by Parent and van der Torre. [less ▲]

Detailed reference viewed: 110 (13 UL)
Full Text
Peer Reviewed
See detailPresent and Future of Formal Argumentation
van der Torre, Leon UL; Giacomin, Massimiliano; Liao, Beishui et al

in Dagstuhl Reports (2016)

This report documents the program and the outcomes of Dagstuhl Perspectives Workshop 15362 “Present and Future of Formal Argumentation”. The goal of this Dagstuhl Perspectives Workshop was to gather the ... [more ▼]

This report documents the program and the outcomes of Dagstuhl Perspectives Workshop 15362 “Present and Future of Formal Argumentation”. The goal of this Dagstuhl Perspectives Workshop was to gather the world leading experts in formal argumentation in order to develop a SWOT (Strength, Weaknesses, Opportunities, Threats) analysis of the current state of the research in this field and to draw accordingly some strategic lines to ensure its successful development in the future. A critical survey of the field has been carried out through individual presentations and collective discussions. Moreover, working group activity lead to identify several open problems in argumentation. [less ▲]

Detailed reference viewed: 130 (11 UL)
Full Text
Peer Reviewed
See detailPrioritized Norms and Defaults in Formal Argumentation
Liao, Beishui; Oren, Nir; van der Torre, Leon UL et al

in Deontic Logic and Normative Systems (2016) (2016)

Deontic logic sentences define what an agent ought to do when faced with a set of norms. These norms may come into conflict such that a priority ordering over them is necessary to resolve these conflicts ... [more ▼]

Deontic logic sentences define what an agent ought to do when faced with a set of norms. These norms may come into conflict such that a priority ordering over them is necessary to resolve these conflicts. Dung's seminal paper raised the - so far open - challenge of how to use formal argumentation to represent non monotonic logics, highlighting argumentation's value in exchanging, communicating and resolving possibly conflicting viewpoints in distributed scenarios. In this paper, we propose a formal framework to study various properties of prioritized non monotonic reasoning in formal argumentation, in line with this idea. More precisely, we show how a version of prioritized default logic and Brewka-Eiter's construction in answer set programming can be obtained in argumentation via the weakest and last link principles. We also show how to represent Hansen's recent construction for prioritized normative reasoning by adding arguments using weak contraposition via permissive norms, and their relationship to Caminada's "hang yourself" arguments. [less ▲]

Detailed reference viewed: 118 (10 UL)
Full Text
Peer Reviewed
See detailEunomos, a legal document and knowledge management system for the Web to provide relevant, reliable and up-to-date information on the Law
Boella, Guido; Di Caro, Luigi; Humphreys, Llio UL et al

in Artificial Intelligence and Law (2016)

Detailed reference viewed: 282 (20 UL)
Full Text
Peer Reviewed
See detailComplaint Ontology Pattern - COP
Santos, Cristiana; Pruski, Cédric; da Silveira, Marcos et al

in Workshop on Ontology and Semantic Web Patterns, Kobe 18 October 2016 (2016)

In this paper we present an ontology design pattern to conceptualize complaints - an important domain still uncovered by ODPs. The proposed Complaint Ontology Pattern (COP) has been designed based on the ... [more ▼]

In this paper we present an ontology design pattern to conceptualize complaints - an important domain still uncovered by ODPs. The proposed Complaint Ontology Pattern (COP) has been designed based on the analysis of free text complaints from available complaint datasets (banking, air transport, automobile) among other knowledge sources. We present a detailed use case from consumer disputes. We evaluate the pattern by annotating the complaints from our use case and by discussing how COP aligns to existing ontologies. [less ▲]

Detailed reference viewed: 120 (5 UL)
Full Text
Peer Reviewed
See detailRetalis Language for Information Engineering in Autonomous Robot Software
Ziafati, Pouyan UL; dastani, mehdi; meyer, john-jules et al

in IfCoLog Journal of Logics and their Applications (2015), 2(2), 85

Detailed reference viewed: 113 (12 UL)
Full Text
Peer Reviewed
See detailConsistency Conditions for Beliefs and Intentions
Van Zee, Marc UL; Doder, Dragan UL; Dastani, Mehdi et al

Scientific Conference (2015)

Icard et al. introduce a semantics for actions over time, provide an axiomatization for this logic, and use this logic to define coherence conditions for a belief- intention database. First, we show ... [more ▼]

Icard et al. introduce a semantics for actions over time, provide an axiomatization for this logic, and use this logic to define coherence conditions for a belief- intention database. First, we show incompleteness of their axiomatization and we adapt their semantics and provide a complete axiomatization for it. Second, we show that Icard et al.’s definition of coherence is too weak, and we define a stronger notion of coherence us- ing our new logic [less ▲]

Detailed reference viewed: 135 (6 UL)
Full Text
Peer Reviewed
See detailAGM Revision of Beliefs about Action and Time
Van Zee, Marc UL; Doder, Dragan UL; Dastani, Mehdi et al

in Proceedings of the International Joint Conference on Artificial Intelligence (2015)

The AGM theory of belief revision is based on propositional belief sets. In this paper we develop a logic for revision of temporal belief bases, contain- ing expressions about temporal propositions (to ... [more ▼]

The AGM theory of belief revision is based on propositional belief sets. In this paper we develop a logic for revision of temporal belief bases, contain- ing expressions about temporal propositions (to- morrow it will rain), possibility (it may rain tomor- row), actions (the robot enters the room) and pre- and post-conditions of these actions. We prove the Katsuno-Mendelzon and the Darwiche-Pearl repre- sentation theorems by restricting the logic to for- mulas representing beliefs up to certain time. We illustrate our belief change model through several examples [less ▲]

Detailed reference viewed: 142 (9 UL)
Full Text
Peer Reviewed
See detailMapping Recitals to Normative Provisions in EU Legislation to Assist Legal Interpretation
Humphreys, Llio UL; Santos, Cristiana; Di Caro, Luigi et al

in Proceedings of the 28th International Conference on Legal Knowledge and Information Systems (2015)

Detailed reference viewed: 163 (6 UL)
Full Text
Peer Reviewed
See detailAlgorithms for tractable compliance problems
Colombo Tosatto, Silvano UL; Kelsen, Pierre UL; Ma, Qin UL et al

in Frontiers of Computer Science (2015), 9(1), 55-74

In general the problem of verifying whether a structured business process is compliant with a given set of regulations is NP-hard. The present paper focuses on identifying a tractable subset of this ... [more ▼]

In general the problem of verifying whether a structured business process is compliant with a given set of regulations is NP-hard. The present paper focuses on identifying a tractable subset of this problem, namely verifying whether a structured business process is compliant with a single global obligation. Global obligations are those whose validity spans for the entire execution of a business process. We identify two types of obligations: achievement and maintenance. In the present paper we firstly define an abstract framework capable to model the problem and secondly we define procedures and algorithms to deal with the compliance problem of checking the compliance of a structured business process with respect to a single global obligation. We show that the algorithms proposed in the paper run in polynomial time. [less ▲]

Detailed reference viewed: 185 (16 UL)
Full Text
Peer Reviewed
See detailClassifying and Extracting Elements of Norms for Ontology Population using Semantic Role Labelling
Humphreys, Llio UL; Boella, Guido; Robaldo, Livio UL et al

in The 15th International Conference on Artificial Intelligence & Law — San Diego, June 8-12, 2015 (2015)

Detailed reference viewed: 292 (23 UL)
Full Text
Peer Reviewed
See detailReasoning on Robot Knowledge from Discrete and Asynchronous Observations
Ziafati, Pouyan UL; Elrakaiby, Yehia UL; van der Torre, Leon UL et al

in AAAI Spring Symposium 2014: Knowledge Representation and Reasoning in Robotics, Stanford, USA, 2015 (2014, March)

Robot knowledge of the world is created from discrete and asynchronous events received from its perception components. Proper representation and maintenance of robot knowledge is crucial to enable the use ... [more ▼]

Robot knowledge of the world is created from discrete and asynchronous events received from its perception components. Proper representation and maintenance of robot knowledge is crucial to enable the use of robot knowledge for planning, user-interaction, etc. This paper identifies some of the main issues related to the representation, maintenance and querying of robot knowledge based on discrete asynchronous events such as event-history management and synchronization, and introduces a language for simplifying developers’ job at making a suitable representation of robot knowledge. [less ▲]

Detailed reference viewed: 360 (42 UL)
Full Text
Peer Reviewed
See detailCombining Regulative and Constitutive Norms in Input/Output Logic
Sun, Xin UL; van der Torre, Leon UL

in 12th International Conference on Deontic Logic and Normative Systems (2014)

Detailed reference viewed: 59 (6 UL)
Full Text
Peer Reviewed
See detailSing and Dance!
van der Torre, Leon UL; Parent, Xavier UL

in Sing and Dance! (2014)

Makinson and van der Torre [13] introduce a number of input/output (I/O) logics to reason about conditional norms. The key idea is to make obligations relative to a given set of conditional norms. The ... [more ▼]

Makinson and van der Torre [13] introduce a number of input/output (I/O) logics to reason about conditional norms. The key idea is to make obligations relative to a given set of conditional norms. The meaning of the normative concepts is, then, given in terms of a set of procedures yielding outputs for inputs. Using the same methodology, Stolpe[19,20] has developed some more I/O logics to include systems without the rule of weakening of the output (or principle of inheritance). We extend Stolpe’s account in two directions. First, we show how to make it support reasoning by cases−a common form of reasoning. Second, we show how to inject a new (as we call it, “aggregative”) form of cumulative transitivity, which we think is more suitable for normative reasoning. The main outcomes of the paper are soundness and completeness theorems for the proposed systems with respect to their intended semantics. [less ▲]

Detailed reference viewed: 109 (6 UL)
Full Text
Peer Reviewed
See detailCollective Intention Revision from a Database Perspective
Van Zee, Marc UL; Dastani, Mehdi; van der Torre, Leon UL

Scientific Conference (2014)

Detailed reference viewed: 157 (3 UL)
Peer Reviewed
See detailIntuitionistic basis for IOL
Parent, Xavier UL; van der Torre, Leon UL; Gabbay, Dov M. UL

in Hansson, Sven Ove (Ed.) David Makinson's outsanding contribution to non-classical logic (2014)

Detailed reference viewed: 129 (20 UL)
Full Text
Peer Reviewed
See detailAn ASPIC-based legal argumentation framework for deontic reasoning
van der Torre, Leon UL; Villata, Serena

in Computational Models of Argument (2014)

In the last years, argumentation theory has been exploited to reason about norms, argue about enforced obligations and permissions, and establish the validity of norms seen as argumentative claims. In ... [more ▼]

In the last years, argumentation theory has been exploited to reason about norms, argue about enforced obligations and permissions, and establish the validity of norms seen as argumentative claims. In this paper, we start from the dynamic legal argumentation framework recently proposed by Prakken and Sartor, and we extend their ASPIC-based system by introducing deontic modalities, to include also normative concepts like factual and deontic detachment, and normative dynamics. Properties of the original and proposed legal argumentation system are presented and discussed, and related to deontic logic and logics of normative systems. [less ▲]

Detailed reference viewed: 78 (3 UL)
Full Text
Peer Reviewed
See detailToward a Linguistic Interpretation of Deontic Paradoxes
Sun, Xin UL; Gabbay, Dov M. UL; Robaldo, Livio UL et al

in 12th International Conference Deontic Logic and Normative Systems (2014)

Detailed reference viewed: 150 (8 UL)
Full Text
Peer Reviewed
See detailA Critical Analysis of Legal Requirements Engineering from the Perspective of Legal Practice
Boella, Guido; Humphreys, Llio UL; Muthuri, Robert UL et al

in Seventh IEEE Workshop on Requirements Engineering and Law (2014)

This paper reviews existing approaches to representing legal knowledge for legal requirements engineering. Legal requirement methodologies are rarely developed together with legal practitioners, with the ... [more ▼]

This paper reviews existing approaches to representing legal knowledge for legal requirements engineering. Legal requirement methodologies are rarely developed together with legal practitioners, with the result that often approaches are based on a simplified view of law which prevents their acceptance by legal practitioners. In this paper, we analyse how legal practitioners build legal knowledge and possibilities for existing approaches in RELaw to mirror legal practice. [less ▲]

Detailed reference viewed: 169 (4 UL)