Sciweavers

256 search results - page 2 / 52
» An Implementation for Abductive Logic Agents
Sort
View
CLIMA
2004
13 years 6 months ago
An Abductive Framework for Information Exchange in Multi-agent Systems
In this paper, we propose a framework for information exchange among abductive agents whose local knowledge bases are enlarged with a set of abduced hypotheses. We integrate the as...
Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo...
GC
2004
Springer
13 years 9 months ago
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies
This article summarises part of the work done during the first two years of the SOCS project, with respect to the task of modelling interaction amongst CL-based agents. It describe...
Marco Alberti, Federico Chesani, Marco Gavanelli, ...
FGCS
1992
107views more  FGCS 1992»
13 years 6 months ago
Logic Programming, Abduction and Probability
Probabilistic Horn abduction is a simple framework to combine probabilistic and logical reasoning into a coherent practical framework. The numbers can be consistently interpreted ...
David Poole
JELIA
2004
Springer
13 years 10 months ago
The CIFF Proof Procedure for Abductive Logic Programming with Constraints
Abstract. We introduce a new proof procedure for abductive logic programming and present two soundness results. Our procedure extends that of Fung and Kowalski by integrating abduc...
Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Gi...
AAAI
2011
12 years 5 months ago
Abductive Markov Logic for Plan Recognition
Plan recognition is a form of abductive reasoning that involves inferring plans that best explain sets of observed actions. Most existing approaches to plan recognition and other ...
Parag Singla, Raymond J. Mooney