Distributed Defeasible Speculative Reasoning in Ambient Environment

  • Ho-Pun Lam
  • Guido Governatori
  • Ken Satoh
  • Hiroshi Hosobe
Part of the Lecture Notes in Computer Science book series (LNCS, 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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)CrossRefGoogle Scholar
  2. 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. 3.
    Ghidini, C., Giunchiglia, F.: Local Models Semantics, or contextual reasoning=locality+compatibility. Artificial Intelligence 127(2), 221–259 (2001)MathSciNetMATHCrossRefGoogle Scholar
  4. 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. 5.
    Giunchiglia, F., Serafini, L.: Multilanguage Hierarchical Logics, or: How we can do without modal logics. Articical Intelligence 65(1), 29–70 (1994)MathSciNetMATHCrossRefGoogle Scholar
  6. 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)CrossRefGoogle Scholar
  7. 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)CrossRefGoogle Scholar
  8. 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)CrossRefGoogle Scholar
  9. 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. 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)MathSciNetMATHCrossRefGoogle Scholar
  11. 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)CrossRefGoogle Scholar
  12. 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)CrossRefGoogle Scholar
  13. 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. 14.
    Inoue, K., Iwanuma, K.: Speculative Computation Through Consequence-Finding in Multi-Agent Environments. Annals of Mathematics and Artificial Intelligence 42, 255–291 (2004)MathSciNetMATHCrossRefGoogle Scholar
  15. 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)CrossRefGoogle Scholar
  16. 16.
    Hosobe, H., Satoh, K., Ma, J., Russo, A., Broda, K.: Speculative constraint processing for hierarchical agents. AI Commun. 23, 373–388 (2010)MathSciNetMATHGoogle Scholar
  17. 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)CrossRefGoogle Scholar
  18. 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)CrossRefGoogle Scholar
  19. 19.
    Simon, H.A.: Altruism and Economics. American Economic Review 83(2), 157–161 (1993)Google Scholar
  20. 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. 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. 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. 23.
    Sherwood, R., Lee, S., Bhattacharjee, B.: Cooperative peer groups in NICE. Computer Networks 50(4), 523–544 (2006); Management in Peer-to-Peer SystemsGoogle Scholar
  24. 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. 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)MathSciNetMATHGoogle Scholar
  26. 26.
    JADE: Java Agent Development Framework (2003), http://jade.tilab.com/
  27. 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)MathSciNetMATHGoogle Scholar
  28. 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)CrossRefGoogle Scholar
  29. 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. 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)CrossRefGoogle Scholar
  31. 31.
    Kowalski, R., Sadri, F.: From logic programming towards multiagent systems. Annals of Mathematics and Artificial Intelligence 25, 391–419 (1999)MathSciNetMATHCrossRefGoogle Scholar
  32. 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)CrossRefGoogle Scholar
  33. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Ho-Pun Lam
    • 1
    • 2
  • Guido Governatori
    • 2
  • Ken Satoh
    • 3
  • Hiroshi Hosobe
    • 3
  1. 1.School of Information Technology and Electrical EngineeringThe University of QueenslandBrisbaneAustralia
  2. 2.Queensland Research LaboratoryNICTABrisbaneAustralia
  3. 3.National Institute of InformaticsTokyoJapan

Personalised recommendations