Distributed defeasible speculative reasoning in ambient environment

Lam, Ho-Pun, Governatori, Guido, Satoh, Ken and Hosobe, Hiroshi (2012). Distributed defeasible speculative reasoning in ambient environment. In: Michael Fisher, Guido Governatori, Ken Satoh and Hiroshi Hosobe, Computational Logic in Multi-Agent Systems: 13th International Workshop, CLIMA XIII, Proceedings. 13th International Workshop on Computational Logic in Multi-Agent Systems, Montpellier, France, (43-60). 27-28 August 27-28 2012. doi:10.1007/978-3-642-32897-8_5


Author Lam, Ho-Pun
Governatori, Guido
Satoh, Ken
Hosobe, Hiroshi
Title of paper Distributed defeasible speculative reasoning in ambient environment
Conference name 13th International Workshop on Computational Logic in Multi-Agent Systems
Conference location Montpellier, France
Conference dates 27-28 August 27-28 2012
Proceedings title Computational Logic in Multi-Agent Systems: 13th International Workshop, CLIMA XIII, Proceedings   Check publisher's open access policy
Journal name Lecture Notes in Computer Science   Check publisher's open access policy
Place of Publication Heidelberg, Germany
Publisher Springer
Publication Year 2012
Sub-type Fully published paper
DOI 10.1007/978-3-642-32897-8_5
ISBN 9783642328961
ISSN 0302-9743
1611-3349
Editor Michael Fisher
Guido Governatori
Ken Satoh
Hiroshi Hosobe
Volume 7486
Start page 43
End page 60
Total pages 18
Language eng
Abstract/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.
Q-Index Code C1
Q-Index Status Confirmed Code
Institutional Status UQ

 
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 2 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Mon, 24 Sep 2012, 21:14:58 EST by Ms Imogen Ferrier on behalf of School of Information Technol and Elec Engineering