Filters








26 Hits in 2.2 sec

Rule-Based Agents in Temporalised Defeasible Logic [chapter]

Guido Governatori, Vineet Padmanabhan, Antonino Rotolo
2006 Lecture Notes in Computer Science  
This paper provides a framework based on temporal defeasible logic to reason about deliberative rule-based cognitive agents.  ...  We show that for rule-based cognitive agents deliberation is more than just deriving conclusions in terms of their mental components.  ...  In our model we have temporal rules for beliefs, desires, intentions and obligations as in (1) and a machinery based on defeasible logic (DL) to reason about such temporal rules.  ... 
doi:10.1007/978-3-540-36668-3_6 fatcat:k7ngkr4qrfaoxdiudhnj4eag4m

Rule-Based Agents in Temporalised Defeasible Logic [chapter]

Guido Governatori, Vineet Padmanabhan, Antonino Rotolo
Lecture Notes in Computer Science  
This paper provides a framework based on temporal defeasible logic to reason about deliberative rule-based cognitive agents.  ...  We show that for rule-based cognitive agents deliberation is more than just deriving conclusions in terms of their mental components.  ...  In our model we have temporal rules for beliefs, desires, intentions and obligations as in (1) and a machinery based on defeasible logic (DL) to reason about such temporal rules.  ... 
doi:10.1007/11801603_6 dblp:conf/pricai/GovernatoriPR06 fatcat:i3sctw4lq5ee5cxxlrjgggjf3q

Computing Temporal Defeasible Logic [chapter]

Guido Governatori, Antonino Rotolo
2013 Lecture Notes in Computer Science  
Introduction Defeasible Logic (DL) [22, 3] is historically the first of a family of approaches based on the idea of logic programming without negation as failure.  ...  We investigate the complexity of temporal defeasible logic, and propose an efficient algorithm to compute the extension of any theory.  ...  Temporal Defeasible Logic (TDL) Consider a set P of atomic propositional literals.  ... 
doi:10.1007/978-3-642-39617-5_13 fatcat:qx7jtl2nmbg2rkq4hsgh5evkfa

Temporalised normative positions in defeasible logic

Guido Governatori, Antonino Rotolo, Giovanni Sartor
2005 Proceedings of the 10th international conference on Artificial intelligence and law - ICAIL '05  
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.  ...  We propose a computationally oriented non-monotonic multi-modal logic arising from the combination of temporalised agency and temporalised normative positions.  ...  These concepts will be embedded in a nonmonotonic and computationally-oriented framework based on Defeasible Logic (DL).  ... 
doi:10.1145/1165485.1165490 dblp:conf/icail/GovernatoriRS05 fatcat:afyhks3rmbhubkosu37dt5jxxu

Time and defeasibility in FIPA ACL semantics

Guido Boella, Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo, Leendert van der Torre
2011 Journal of Applied Logic  
This paper addresses such issues in defeasible logic, and shows how to express a semantics for ACLs in order to make nonmonotonic inferences on the basis of speech acts. 2008 IEEE/WIC/ACM International  ...  Most agent communication languages, however, ignore these issues, due to the difficulty to combine them in a single formalism.  ...  This paper shows how a temporal extension of defeasible logic (DL) can express FIPA-ACL semantics. The logic captures essential properties of speech acts.  ... 
doi:10.1016/j.jal.2011.09.006 fatcat:enzmepppifbafio3yrtycs6do4

Time and Defeasibility in FIPA ACL Semantics

Guido Boella, Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo, Leendert van der Torre
2008 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology  
This paper addresses such issues in defeasible logic, and shows how to express a semantics for ACLs in order to make nonmonotonic inferences on the basis of speech acts. 2008 IEEE/WIC/ACM International  ...  Most agent communication languages, however, ignore these issues, due to the difficulty to combine them in a single formalism.  ...  This paper shows how a temporal extension of defeasible logic (DL) can express FIPA-ACL semantics. The logic captures essential properties of speech acts.  ... 
doi:10.1109/wiiat.2008.275 dblp:conf/iat/BoellaGHRRT08 fatcat:gxeywmfkvrdhbgaxvlravzxkry

Changes to temporary norms

Matteo Cristani, Francesco Olivieri, Antonino Rotolo
2017 Proceedings of the 16th edition of the International Conference on Articial Intelligence and Law - ICAIL '17  
This results in four novel operators that anticipate and extend norms in two dierent combined ways, by preserving or not the eects of the norms in the period of time generated by the temporal modications  ...  In this paper we address the problem of modifying temporary norms that are represented by means of the combination of two known formalisms in the current literature.  ...  Specically, in Section 2 we briey recall some aspects of defeasible logic, and then provide a sketch of temporal defeasible logic, and in Section 3 we discuss some properties of these logics.  ... 
doi:10.1145/3086512.3086517 dblp:conf/icail/CristaniOR17 fatcat:r5ph6bjg75h3bcmsjfzfuk2x4i

Designing Electronic Markets for Defeasible-based Contractual Agents [article]

Adrian Groza
2013 arXiv   pre-print
Knowledge representation and the reasoning capabilities of the agents are based on an extended version of temporal defeasible logic.  ...  In order to decide which remedy provides maximum welfare within an electronic market, a simulation environment called DEMCA (Designing Electronic Markets for Contractual Agents) was developed.  ...  The agent's strategy is defined by the function program, which points to a set of temporalised defeasible rules coded in the TeDeLo (Temporal Defeasible Logic) framework.  ... 
arXiv:1304.5545v1 fatcat:alkc24t4djd7jnzj2clmqficdu

Agreeing on Defeasible Commitments [chapter]

Ioan Alfred Letia, Adrian Groza
2006 Lecture Notes in Computer Science  
Social commitments are developed for multi-agent systems according to the current practice in law regarding contract formation and breach.  ...  Deafeasible commitments are used to provide a useful link between multi-agent systems and legal doctrines.  ...  We define a framework by using the temporalised normative positions in defeasible logic [4] to introduce defeasible commitments for representing contract laws [5] in the model of the life cycle of  ... 
doi:10.1007/11961536_11 fatcat:f7ye2g23y5fzxidubmzwmfrpgu

On the Equivalence of Defeasible Deontic Logic and Temporal Defeasible Logic [chapter]

Marc Allaire, Guido Governatori
2014 Lecture Notes in Computer Science  
In this paper we formally prove that compliance results derived from temporal defeasible logic are equivalent to the ones obtained in the standard defeasible deontic logic.  ...  In order to do so we first introduce an operator allowing us to translate rules from the standard to the temporal framework.  ...  The presentation in this section is based on [21] which introduces new notations, semantics and concepts to deal with time in defeasible deontic logic.  ... 
doi:10.1007/978-3-319-13191-7_7 fatcat:nyt7ghsc5vd7zjekoqaij7mlwi

A Semantic Web Based Architecture for e-Contracts in Defeasible Logic [chapter]

Guido Governatori, Duy Pham Hoang
2005 Lecture Notes in Computer Science  
We motivate the choice for the logic and we show how to extend RuleML to capture the notions relevant to describe e-contracts for a monitoring perspective in Defeasible Logic.  ...  The architecture extends the DR-device architecture by a deontic defeasible logic of violation.  ...  Acknowledgements This work was partially supported by the UQ Early Career Researcher Grant no. 2004001458 on "A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies".  ... 
doi:10.1007/11580072_12 fatcat:6yjydbgxv5dmhppeerjnnuuuem

Probabilistic rule-based argumentation for norm-governed learning agents

Régis Riveret, Antonino Rotolo, Giovanni Sartor
2012 Artificial Intelligence and Law  
Part of this work has been carried out in the scope of the EC co-funded project SMART (FP7-287583). Defeasible & Ergonomic Logic −→ Rule-Based Argumentation  ...  This paper proposes an approach to investigate normgoverned learning agents which combines a logic-based formalism with an equation-based counterpart.  ...  Part of this work has been carried out in the scope of the EC co-funded project SMART (FP7-287583).  ... 
doi:10.1007/s10506-012-9134-7 fatcat:vik7vty7djfflapaonqyh7kpjq

DR-CONTRACT: an architecture for e-contracts in defeasible logic

Guido Governatori, Duy Hoang Pham
2009 International Journal of Business Process Integration and Management  
We motivate the choice for the logic and we show how to extend RuleML to capture the notions relevant to describe e-contracts for a monitoring perspective in Defeasible Logic. and NICTA.  ...  His current research interests include modal and nonclassical logics, defeasible reasoning and its application to normative reasoning and e-commerce, agent systems, and business process modeling for regulatory  ...  However, proposes an extension of Defeasible Logic that can represent and reason with temporalised normative positions.  ... 
doi:10.1504/ijbpim.2009.030985 fatcat:ulf5ena7rfbo7bdn6mgsjkw6zy

Designing for Compliance: Norms and Goals [chapter]

Guido Governatori, Francesco Olivieri, Simone Scannapieco, Matteo Cristani
2011 Lecture Notes in Computer Science  
From the definition of this new kind of logic, two main issues arises whether a theory is compliant or not: (a) how to revise a non compliant theory to obtain a new compliant one; (b) in case the theory  ...  We address the problem of define a modal defeasible theory able to capture intuitions as "being compliant" with a set of norms and a set of goals. We will treat norms and goals as modalised literals.  ...  In Section 2 we formalise the framework adopted, based on a particular type of Modal Defeasible Logic.  ... 
doi:10.1007/978-3-642-24908-2_29 fatcat:5rzj7h4hhvcgrnk376f3k7vzqe

Computing Strong and Weak Permissions in Defeasible Logic

Guido Governatori, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco
2013 Journal of Philosophical Logic  
In this paper we propose an extension of Defeasible Logic to represent and compute three concepts of defeasible permission.  ...  In particular, we discuss different types of explicit permissive norms that work as exceptions to opposite obligations.  ...  Temporalised normative positions in defeasible logic. In ICAIL , pages -. ACM Press, . [ ] G. Governatori and S. Sadiq. e journey to business process compliance.  ... 
doi:10.1007/s10992-013-9295-1 fatcat:wgtmrafmyjdwfg4qduufvwqxwy
« Previous Showing results 1 — 15 out of 26 results