Filters








104,698 Hits in 4.0 sec

Extending Answer Sets for Logic Programming Agents

M. De Vos, D. Vermeir
2004 Annals of Mathematics and Artificial Intelligence  
We introduce a credulous answer set semantics for logic programming agents.  ...  Agents communicate with each other by passing answer sets obtained by updating the information received from connected agents with their own private information.  ...  for Logic Programming Agents amai03.tex; 15/09/2003; 14:29; p.7 amai03.tex; 15/09/2003; 14:29; p.9 amai03.tex; 15/09/2003; 14:29; p.10 Extending Answer Sets for Logic Programming Agents  ... 
doi:10.1023/b:amai.0000034524.89865.d2 fatcat:dvtry4y52bgmvfr4mkjexfwnmy

Belief, provability, and logic programs

José Júlio Alferes, Luís Moniz Pereira
1995 Journal of Applied Non-Classical Logics  
Furthermore, the language of the epistemic logic presented here being more general than that of extended programs, it offers a basic tool for further generalizations of the latter, for instance regarding  ...  In particular we present here, for the first time, embeddings into epistemic logic of logic programs extended with a second kind of negation under the wellfounded semantics, and contrast them to the recent  ...  Acknowledgments We acknowledge Esprit BRA Compulog 2 (no. 6810), and JNICT -Portugal for their support. Thanks to Carlos Damásio and Teodor Przymusinski for helpful discussions.  ... 
doi:10.1080/11663081.1995.10510842 fatcat:y2s4fqionjg6fnkbmysl7p5ixe

Preferential Reasoning on a Web of Trust [chapter]

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2005 Lecture Notes in Computer Science  
As conflicts may arise from reasoning with different knowledge sources, we use the extended answer set semantics, which can provide different strategies for solving those conflicts.  ...  We introduce a framework, based on logic programming, for preferential reasoning with agents on the Semantic Web.  ...  The basic underlying reasoning framework we use for such an agent is answer set programming (ASP) [13, 3] , a logic programming paradigm with a stable model semantics for negation as failure.  ... 
doi:10.1007/11574620_28 fatcat:hg42yzz4c5fqpbnyissdz24upi

Answer Set Programming and S4 [chapter]

Mauricio Osorio, Juan Antonio Navarro
2004 Lecture Notes in Computer Science  
Our results clearly state interesting links between answer set programming, modal logics and multi-agent systems which might bring research of these areas together.  ...  Moreover, by considering the full set of modal formulas we obtain an interesting generalization of answer sets with modal connectives.  ...  There are however many logics between S4 and S5 that behave nicely with respect to our approach. Expressing Answer Sets The answer set semantics is a popular semantic operator for logic programs.  ... 
doi:10.1007/978-3-540-30498-2_36 fatcat:nhebklhqrzdnjbfppy6jj6uz7q

Hierarchical Decision Making by Autonomous Agents [chapter]

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2004 Lecture Notes in Computer Science  
We model the common knowledge base for such preference agents as a logic program under the extended answer set semantics, thus allowing for the defeat of rules to resolve conflicts.  ...  Placing such agents in a hierarchy according to their position in the decision making process results in a system where agents cooperate to find solutions that are jointly preferred.  ...  A preferred answer set M is an extended answer set that is minimal w.r.t. < among the extended answer sets. Note that a RA < for P corresponds to an ordered logic program (OLP) P, < from [22] .  ... 
doi:10.1007/978-3-540-30227-8_7 fatcat:77tupkogunhsfhpwjtxyixua3q

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

Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report) [chapter]

Joohyung Lee, Ravi Palla
2011 Lecture Notes in Computer Science  
We are grateful to David Pearce for pointers to earlier work and anonymous referees for their useful comments.  ...  The authors were partially supported by the National Science Foundation under Grants IIS-0916116 and by the IARPA SCIL program.  ...  The semantics of dl-programs is defined by extending the answer set semantics to generalized programs. For this, the definition of satisfaction is extended to ground dl-atoms.  ... 
doi:10.1007/978-3-642-20895-9_27 fatcat:rqk3dwy5ynfftcysafcdljneei

Negotiation by abduction and relaxation

Chiaki Sakama, Katsumi Inoue
2007 Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems - AAMAS '07  
This paper studies a logical framework for automated negotiation between two agents. We suppose an agent who has a knowledge base represented by a logic program.  ...  To this end, we combine the techniques of extended abduction in artificial intelligence and relaxation in cooperative query answering for databases.  ...  Starting from the initial agreement set S∩T for an answer set S of an agent and an answer set T of another agent, each agent extends this set to reflect its own demand while keeping consistency with demand  ... 
doi:10.1145/1329125.1329418 dblp:conf/atal/SakamaI07 fatcat:v4h5d6yflzhcjfeaz4xgkzi7mm

Combining Answer Sets of Nonmonotonic Logic Programs [chapter]

Chiaki Sakama, Katsumi Inoue
2006 Lecture Notes in Computer Science  
Then, for any S∈AS(Q), there is T∈AS(Pi) for i=1,2 such that T⊆ S. † Every answer set in the compositional semantics extends some answer sets of the original programs. Def.  ...  of extended disjunctive programs (EDP) under the answer set semantics.  ...  P 2 . • Every permissible answer set satisfies persistent beliefs of each agent, and extends some answer sets of an agent by additional information of another agent.  ... 
doi:10.1007/11750734_18 fatcat:2tu5rrpwtjfxldeugjts5rm2nu

On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs [chapter]

Nicolás Madrid, Manuel Ojeda-Aciego
2009 Lecture Notes in Computer Science  
In this work we recall the first steps towards the definition of an answer set semantics for residuated logic programs with negation, and concentrate on the development of relationships between the notions  ...  Fuzzy answer sets Once the concept of coherence has been presented, we can introduce the notion of fuzzy answer set for extended logic programs.  ...  Let P be a coherent extended residuated logic program; the fuzzy answer set of P is its least coherent model of P.  ... 
doi:10.1007/978-3-642-02282-1_8 fatcat:hgrbkqsep5e4re4irh2op4jbmu

Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming [chapter]

Davy Van Nieuwenborgh, Marina De Vos, Stijn Heymans, Dirk Vermeir
2007 Lecture Notes in Computer Science  
We present a multi-agent formalism based on extended answer set programming.  ...  In Section 2, we review the extended answer set semantics. Section 3 presents the definitions for hierarchical agents and agent systems.  ...  Extended Answer Sets In this section we provide a short overview of extended answer set semantics for simple logic programs [41] .  ... 
doi:10.1007/978-3-540-69619-3_2 fatcat:7xrm6w3ulbcgviqkl4pdzxlabu

Answer Set Programming to Model Plan Agent Scenarios

Fernando Zacarias Flores, Rosalba Cuapa Canto, José María Ángeles López
2020 International Journal of Artificial Intelligence & Applications  
In this paper we explore how to take advantage of the properties of Answer Set Programming for this purpose.  ...  We begin our discussion by showing how Answer Set Programming can be used to model the frog's problem. We then illustrate how this problem can be represented and solved using these concepts.  ...  And that includes to Rene, my little frog for a day!  ... 
doi:10.5121/ijaia.2020.11606 fatcat:qn6cswl6hzfotm3y6kcbaffury

Communicating ASP and the Polynomial Hierarchy [chapter]

Kim Bauters, Steven Schockaert, Dirk Vermeir, Martine De Cock
2011 Lecture Notes in Computer Science  
Communicating answer set programming is a framework to represent and reason about the combined knowledge of multiple agents using the idea of stable models.  ...  We show that extending answer set programs in this way allows us to capture the entire polynomial hierarchy. Funded by a joint Research Foundation-Flanders (FWO) project.  ...  Indeed, in [8] each agent is an Ordered Choice Logic Program [2] and in [21] each agent uses the extended answer set semantics.  ... 
doi:10.1007/978-3-642-20895-9_8 fatcat:hpbfi2kwmff2rm6w2e4wrgowqa

An Application of Declarative Languages in Distributed Architectures: ASP and DALI Microservices

Stefania Costantini, Giovanni De Gasperis, Lorenzo De Lauretis
2021 International Journal of Interactive Multimedia and Artificial Intelligence  
In this paper we introduce an approach to the possible adoption of Answer Set Programming (ASP) for the definition of microservices, which are a successful abstraction for designing distributed applications  ...  We develop a case study where we consider ASP microservices in synergy with agents defined in DALI, a well-known logic-based agent-oriented programming language developed by our research group.  ...  Acknowledgements We thank the anonymous reviewers for their interest in the DALI language, and for insightful suggestions about modern ASP grounders/solvers.  ... 
doi:10.9781/ijimai.2021.02.001 doaj:8a6cacede0734ad7bd1d96b903262fee fatcat:cnh5qedmd5eedcx6ivdhotaxz4
« Previous Showing results 1 — 15 out of 104,698 results