×

Distributed defeasible speculative reasoning in ambient environment. (English) Zbl 1361.68236

Fisher, Michael (ed.) et al., Computational logic in multi-agent systems. 13th international workshop, CLIMA XIII, Montpellier, France, August 27–28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32896-1/pbk). Lecture Notes in Computer Science 7486. Lecture Notes in Artificial Intelligence, 43-60 (2012).
Summary: Speculative Computation is an effective means for solving problems with incomplete information in an open and distributed environment, such as peer-to-peer environment. It allows such a system to compute tentative (and possibly final) solutions using default knowledge about the current environment, or the agent’s perception, even if the communications between peers are delayed or broken. However, previous work in speculative reasoning assumed that agents are hierarchically structured, which may not be the case in reality. We propose a more general multi-agents system with no centralized control. Agents in the framework have equivalent functionalities and can collaborate with each other to achieve their common goals. We characterize the framework using the argumentation semantics of defeasible logic, which provides support of speculative reasoning in the presence of conflicting information. We provide an operational model for the framework and present a prototype implementation of the model.
For the entire collection see [Zbl 1246.68033].

MSC:

68T27 Logic in artificial intelligence
68T42 Agent technology and artificial intelligence
PDFBibTeX XMLCite
Full Text: DOI