Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Computational Logic in Multi-Agent Systems

CLIMA 2012: Computational Logic in Multi-Agent Systems pp 43–60Cite as

Distributed Defeasible Speculative Reasoning in Ambient Environment

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 7486))

Abstract

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   72.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bikakis, A., Antoniou, G.: Contextual Argumentation in Ambient Intelligence. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol. 5753, pp. 30–43. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  2. Bikakis, A., Patkos, T., Antoniou, G., Plexousakis, D.: A Survey of Semantics-Based Approaches for Context Reasoning in Ambient Intelligence. In: Constructing Ambient Intelligence - AmI 2007 Workshops, CCIS 11, pp. 14–23. Springer (2008)

    Google Scholar 

  3. Ghidini, C., Giunchiglia, F.: Local Models Semantics, or contextual reasoning=locality+compatibility. Artificial Intelligence 127(2), 221–259 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  4. Giunchiglia, F., Weyhrauch, R.: A Multi-Context Monotonic Axiomatizations of Inessential Non-Monotonicity. In: Nardi, D., Maes, P. (eds.) Meta-level Architectures and Reflection. North-Holland (1988)

    Google Scholar 

  5. Giunchiglia, F., Serafini, L.: Multilanguage Hierarchical Logics, or: How we can do without modal logics. Articical Intelligence 65(1), 29–70 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  6. Osborne, R.B.: Speculative Computation in Multilisp. In: Proceedings of the 1990 ACM Conference on LISP and Functional Programming, LFP 1990, pp. 198–208. ACM, New York (1990)

    Chapter  Google Scholar 

  7. Nute, D.: Defeasible Iogic: Theory, Implementation and Applications. In: Bartenstein, O., Geske, U., Hannebauer, M., Yoshie, O. (eds.) INAP 2001. LNCS (LNAI), vol. 2543, pp. 151–169. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  8. Antoniou, G.: A Discussion of Some Intuitions of Defeasible Reasoning. In: Vouros, G.A., Panayiotopoulos, T. (eds.) SETN 2004. LNCS (LNAI), vol. 3025, pp. 311–320. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  9. Antoniou, G., Billington, D., Governatori, G., Maher, M., Rock, A.: A Family of Defeasible Reasoning Logics and its Implementation. In: Proceedings of the European Conference on Artifical Intelligence, ECAI 2000, pp. 459–463 (2000)

    Google Scholar 

  10. Governatori, G., Maher, M.J., Antoniou, G., Billington, D.: Argumentation Semantics for Defeasible Logics. Journal of Logic and Computation 14(5), 675–702 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  11. Boudol, G., Petri, G.: A Theory of Speculative Computation. In: Gordon, A.D. (ed.) ESOP 2010. LNCS, vol. 6012, pp. 165–184. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  12. Satoh, K., Yamamoto, K.: Speculative Computation with Multi-agent Belief Revision. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems: Part 2, AAMAS 2002, pp. 897–904. ACM, New York (2002)

    Chapter  Google Scholar 

  13. Satoh, K., Inoue, K., Iwanuma, K., Sakama, C.: Speculative Computation by Abduction under Incomplete Communication Environments. In: Proceedings of the Fourth International Conference on Multi-Agent Systems, pp. 263–270 (2000)

    Google Scholar 

  14. Inoue, K., Iwanuma, K.: Speculative Computation Through Consequence-Finding in Multi-Agent Environments. Annals of Mathematics and Artificial Intelligence 42, 255–291 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  15. Ceberio, M., Hosobe, H., Satoh, K.: Speculative Constraint Processing with Iterative Revision for Disjunctive Answers. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol. 3900, pp. 340–357. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  16. Hosobe, H., Satoh, K., Ma, J., Russo, A., Broda, K.: Speculative constraint processing for hierarchical agents. AI Commun. 23, 373–388 (2010)

    MathSciNet  MATH  Google Scholar 

  17. Ma, J., Broda, K., Goebel, R., Hosobe, H., Russo, A., Satoh, K.: Speculative Abductive Reasoning for Hierarchical Agent Systems. In: Dix, J., Leite, J., Governatori, G., Jamroga, W. (eds.) CLIMA XI. LNCS, vol. 6245, pp. 49–64. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  18. Bikakis, A., Antoniou, G.: Contextual Defeasible Logic and Its Application to Ambient Intelligence. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans 41(4), 705–716 (2011)

    Article  Google Scholar 

  19. Simon, H.A.: Altruism and Economics. American Economic Review 83(2), 157–161 (1993)

    Google Scholar 

  20. Secchi, D.: A Theory of Docile Society: The Role of Altruism in Human Behavior. Journal of Academy of Business and Economics 7(2), 146–160 (2007)

    Google Scholar 

  21. Pusey, B., Maitland, C., Tapia, A., Yen, J.: A Survey of Trust Models in Agent Applications. In: Proceedings of the North American Association for Computational Social and Organizational Sciences (NAACSOS), Atlanta, Georgia, June 7-9 (2007)

    Google Scholar 

  22. Wang, Y., Vassileva, J.: Toward trust and reputation based web service selection: A survey. International Transactions on Systems Science and Applications 3(2), 118–132 (2007)

    Google Scholar 

  23. Sherwood, R., Lee, S., Bhattacharjee, B.: Cooperative peer groups in NICE. Computer Networks 50(4), 523–544 (2006); Management in Peer-to-Peer Systems

    Google Scholar 

  24. Xiong, L., Liu, L.: Building Trust in Decentralized Peer-to-Peer Electronic Communities. In: Proc. 5th Int’l Conf. Electronic Commerce Research, ICECR-5 (2002)

    Google Scholar 

  25. Kowalski, R.A., Toni, F., Wetzel, G.: Executing suspended logic programs. Fundamenta Informaticae - Special issue on Foundations of Constraint Programming 34, 203–224 (1998)

    MathSciNet  MATH  Google Scholar 

  26. JADE: Java Agent Development Framework (2003), http://jade.tilab.com/

  27. Adjiman, P., Chatalic, P., Goasdouè, F., Rousset, M.C., Simon, L.: Distributed Reasoning in a Peer-to-Peer Setting: Application to the Semantic Web. Journal of Artificial Intelligence Research 25, 269–314 (2006)

    MathSciNet  MATH  Google Scholar 

  28. Kofod-Petersen, A., Aamodt, A.: Contextualised Ambient Intelligence Through Case-Based Reasoning. In: Roth-Berghofer, T.R., Göker, M.H., Güvenir, H.A. (eds.) ECCBR 2006. LNCS (LNAI), vol. 4106, pp. 211–225. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  29. Kofod-Petersen, A.: Challenges in case-based reasoning for context awareness in ambient intelligent systems. In: Minor, M. (ed.) 8th European Conference on Case-Based Reasoning, Workshop Proceedings, pp. 287–299 (2006)

    Google Scholar 

  30. Wang, L., Huang, H., Chai, Y.: Speculative Computation with Deadline and Its Resource Negotiation under Time Constraints. In: Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2004, pp. 353–356. IEEE Computer Society, Washington, DC (2004)

    Chapter  Google Scholar 

  31. Kowalski, R., Sadri, F.: From logic programming towards multiagent systems. Annals of Mathematics and Artificial Intelligence 25, 391–419 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  32. Dell’Acqua, P., Sadri, F., Toni, F.: Combining Introspection and Communication with Rationality and Reactivity in Agents. In: Dix, J., Fariñas del Cerro, L., Furbach, U. (eds.) JELIA 1998. LNCS (LNAI), vol. 1489, pp. 17–32. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  33. Dell’Acqua, P., Moniz Pereira, L.: Enabling Agents to Update their Knowledge and to Prefer. In: Brazdil, P.B., Jorge, A.M. (eds.) EPIA 2001. LNCS (LNAI), vol. 2258, pp. 183–190. Springer, Heidelberg (2001)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Information Technology and Electrical Engineering, The University of Queensland, Brisbane, Australia

    Ho-Pun Lam

  2. Queensland Research Laboratory, NICTA, Brisbane, Australia

    Ho-Pun Lam & Guido Governatori

  3. National Institute of Informatics, Tokyo, Japan

    Ken Satoh & Hiroshi Hosobe

Authors
  1. Ho-Pun Lam
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Guido Governatori
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ken Satoh
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Hiroshi Hosobe
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Liverpool, L69 3BX, Liverpool, UK

    Michael Fisher

  2. University of Luxembourg, 6 Rue Richard Coudenhove-Kalergi, 1359, Luxembourg, Luxembourg

    Leon van der Torre

  3. Department of Information and Computing Sciences, Utrecht University, Princetonplein 5, 3584 CC, Utrecht, The Netherlands

    Mehdi Dastani

  4. Queensland Research Laboratory, NICTA, 4067, St. Lucia, QLD, Australia

    Guido Governatori

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lam, HP., Governatori, G., Satoh, K., Hosobe, H. (2012). Distributed Defeasible Speculative Reasoning in Ambient Environment. In: Fisher, M., van der Torre, L., Dastani, M., Governatori, G. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2012. Lecture Notes in Computer Science(), vol 7486. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32897-8_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-32897-8_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-32896-1

  • Online ISBN: 978-3-642-32897-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation