Filters








97,942 Hits in 4.6 sec

A Dynamic Preference Logic for Reasoning about Agent Programming

Marlo Souza, Alvaro Moreira, Renata Vieira, John-Jules Ch. Meyer
2017 2017 Brazilian Conference on Intelligent Systems (BRACIS)  
agent programs, but as a tool to specify reasoning mechanisms to guarantee certain properties in the theory of rationality for the programming language.  ...  agent programs in this logic.  ...  FINAL CONSIDERATIONS Our work has proposed a logic for reasoning about BDI agents and a connection between this logic and agent programs, as usually described in agent programming languages.  ... 
doi:10.1109/bracis.2017.43 dblp:conf/bracis/SouzaMVM17 fatcat:gqgu3zpu65akbfhhucce7zhjfe

Tractable Reasoning about Agent Programming in Dynamic Preference Logic

Marlo Souza, Alvaro Moreira, Renata Vieira
2018 2018 7th Brazilian Conference on Intelligent Systems (BRACIS)  
In this work, we use of Dynamic Preference Logic to provide a semantic foundation to BDI agent programming languages and investigate tractable expressive fragments of this logic to reason about agent programs  ...  With that, we aim to provide a way of implementing semantically grounded agent programming languages with tractable reasoning cycles.  ...  Recently, it has been proposed that Dynamic Preference Logic (DPL) can be used to reason about BDI Agent Programming with declarative mental attitudes [2] , providing a. a computable two-way translation  ... 
doi:10.1109/bracis.2018.00070 dblp:conf/bracis/SouzaMV18 fatcat:ss5xgs5m4vgphplxa3klb32wz4

Computational logic-based agents

Francesca Toni, Jamal Bentahar
2008 Autonomous Agents and Multi-Agent Systems  
The problems discussed range from agent programming languages through a BDI agent-based programming language, to agent communication through a multi-issue bilateral negotiation, to logic programming-based  ...  This special issue is about using computational logic to deal with some key issues in multi-agent systems.  ...  Jamal Bentahar would also like to thank NSERC (Canada) and FQRNT (Quebec) for their financial support.  ... 
doi:10.1007/s10458-008-9035-z fatcat:c7mx2qgplbb5ndcexyyfjrsviu

Using methods of declarative logic programming for intelligent information agents

THOMAS EITER, MICHAEL FINK, GIULIANA SABBATINI, HANS TOMPITS
2002 Theory and Practice of Logic Programming  
We then focus on declarative knowledge-representation methods, and review and evaluate approaches and methods from logic programming and nonmonotonic reasoning for information agents.  ...  In this paper, our interest lies in the role which some methods from the field of declarative logic programming can play in the realization of reasoning capabilities for information agents.  ...  Acknowledgments We would like to thank the anonymous referees for their constructive comments which helped to improve this paper.  ... 
doi:10.1017/s1471068402001576 fatcat:zy4b2jbtnje6righqsq4l2s324

Using Methods of Declarative Logic Programming for Intelligent Information Agents [article]

T. Eiter, M. Fink, G. Sabbatini, H. Tompits
2001 arXiv   pre-print
We then focus on declarative knowledge-representation methods, and review and evaluate approaches from logic programming and nonmonotonic reasoning for information agents.  ...  In this paper, our interest is in the role which some methods from the field of declarative logic programming can play in the realization of reasoning capabilities for information agents.  ...  Acknowledgments We would like to thank the anonymous referees for their constructive comments which helped to improve this paper.  ... 
arXiv:cs/0108008v1 fatcat:tg6xs5g2qfhypinc7rvjv2v2t4

Subject Index

2004 Journal of Applied Logic  
, 325 Defeasible reasoning Abductive inference in defeasible reasoning: a model for research programmes, 409 Deontic logic Semantics for more plausible deontic logics, 3; Rich deontic logic: a preliminary  ...  , 469 Logic of action Normative positions within an algebraic approach to normative systems, 63 Logic of imperatives Problems and results for logics about imperatives, 39 Logic program Logic programs  ... 
doi:10.1016/s1570-8683(04)00089-8 fatcat:op2kr754gnhbfez3qcvmeaokmm

COMPUTATIONAL LOGICS AND AGENTS: A ROAD MAP OF CURRENT TECHNOLOGIES AND FUTURE TRENDS

Michael Fisher, Rafael H. Bordini, Benjamin Hirsch, Paolo Torroni
2007 Computational intelligence  
Hence there has been a strong research effort directed at using formal logic as the basis for agent descriptions and agent implementation.  ...  Such a logical basis not only presents the clarity and consistency required but also allows for important techniques such as logical verification to be applied.  ...  temporal reasoning, Dynamic Logic Programming [ALP + 98] for knowledge and program updates, and Logic Programming without Negation as Failure [DK95] for agent deliberation. • 3APL [http://www.cs.uu.nl  ... 
doi:10.1111/j.1467-8640.2007.00295.x fatcat:c76gbfuuwngjpk7ebs2jkpfxfi

LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming [chapter]

Marina De Vos, Tom Crick, Julian Padget, Martin Brain, Owen Cliffe, Jonathan Needham
2006 Lecture Notes in Computer Science  
Agents are represented as Ordered Choice Logic Programs (OCLP) for modelling their knowledge and reasoning capacities, with communication between the agents regulated by uni-directional channels transporting  ...  In this paper we present a deductive reasoning multi-agent platform using an extension of answer set programming (ASP).  ...  To model a single agent's reasoning, we use Ordered Choice Logic Programs [3] , an extension of answer set programming that provides for explicit representation of preferences between rules and dynamic  ... 
doi:10.1007/11691792_5 fatcat:wxn5uex6s5gzvgxj2g4gmmu4ue

On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints [chapter]

João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira
2001 Lecture Notes in Computer Science  
The representation of a dynamic society of agents is the core of MIN ERVA [11] , an agent architecture and system designed with the intention of providing a common agent framework based on the unique strengths  ...  of Logic Programming, hat allows the combination of several non-monotonic knowledge representation and reasoning mechanisms developed in recent years.  ...  Dynamic Logic Programming Next we recall the semantics of dynamic logic programming [1] . A dynamic logic program is a sequence P 0 ⊕ ... ⊕ P n ⊕ ...  ... 
doi:10.1007/3-540-45329-6_28 fatcat:pf4aa3cttfg2reneq5fwz2a5ny

For Better or for Worse: Dynamic Logics of Preference [chapter]

Johan van Benthem
2009 Preference Change  
In the last few years, preference logic and in particular, the dynamic logic of preference change, has suddenly become a live topic in my Amsterdam and Stanford environments.  ...  There is no pretense at complete coverage of preference logic (for that, see Hanson 2001) or even of preference change (Hanson 1995).  ...  Acknowledgment I wish to thank Fenrong Liu and Jonathan Zvesper for their useful comments.  ... 
doi:10.1007/978-90-481-2593-7_3 fatcat:tpjjunnepzg7plp7y5ulkibq2a

Decisions, Actions, and Games: A Logical Perspective [chapter]

Johan van Benthem
2008 Lecture Notes in Computer Science  
scenarios of practical reasoning about agents involve a number of notions at the same time: Example One single decision.  ...  A concrete setting for this entanglement are games -and this paper is a survey of their interfaces with logic, both static and dynamic.  ...  The reason for its correctness is easy to see. ■ Note that {i}φ talks about intermediate nodes, not just the end nodes of a game.  ... 
doi:10.1007/978-3-540-92701-3_1 fatcat:q7n5gsqmtjcm7biwz2fpy5ijrm

Bringing Belief Base Change into Dynamic Epistemic Logic [article]

Marlo Souza, Álvaro Moreira
2019 arXiv   pre-print
This work investigates changes in the semantics of Dynamic Preference Logic that give rise to an appropriate syntactic representation for its models that allow us to represent and reason about iterated  ...  theory can be characterised by means of belief bases and their counterpart in dynamic epistemic logic.  ...  To do this, in the following section, we introduce Dynamic Preference Logic, the logic that we will use to reason about Belief Change.  ... 
arXiv:1912.10515v1 fatcat:rpajlntk7ngexnlbdre3z2rmsy

Modal Logics of Negotiation and Preference [chapter]

Ulle Endriss, Eric Pacuit
2006 Lecture Notes in Computer Science  
The logic includes operators to speak about both preferences of individual agents and deals regarding the reallocation of certain resources.  ...  We develop a dynamic modal logic that can be used to model scenarios where agents negotiate over the allocation of a finite number of indivisible resources.  ...  More specifically, we are developing a logic in the style of propositional dynamic logic (PDL) that allows us to speak both about the preferences of individual agents and the aggregated preferences of  ... 
doi:10.1007/11853886_13 fatcat:ly7d45m3lvg55jg6u566nrp7de

Guest Editors' Introduction

James Delgrande, Jérôme Lang
2014 Journal of Philosophical Logic  
and reasoning about action [13] .  ...  The papers of the 1988 special issue give a good indication of major themes of research at the time: reasoning about belief and knowledge [5] , tractable logical reasoning [10], nonmonotonicity [11] ,  ...  typicality statements such as "birds fly", or reasoning about other agents' beliefs, preferences, or intentions.  ... 
doi:10.1007/s10992-014-9330-x fatcat:crhqiaxwhrcmhmq6ogeblp6vtm

Semantic Web Logic Programming Tools [chapter]

Jóse Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira
2003 Lecture Notes in Computer Science  
The paper does not intended to be a survey of logic programming techniques applicable to the Semantic Web, and so the interested reader should try to obtain the missing information in the logic programming  ...  This paper describes succinctly the contributions from the Logic Programming group of Centro de Inteligência Artificial (CENTRIA) of Universidade Nova de Lisboa, as a prelude to a description of our recent  ...  Part of the work on logic programming updates has been supported by projects FLUX "Flexible Logical Updates" (POSI/SRI/40958/2001) , funded by FEDER, and TARDE "Tabulation and Reasoning in a Distributed  ... 
doi:10.1007/978-3-540-24572-8_2 fatcat:fcn3m4zgxfa6lil3yyygvkbu7e
« Previous Showing results 1 — 15 out of 97,942 results