Skip to main content

Rule-Based Distributed and Agent Systems

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 6826))

Abstract

The paper contains an overview of the roles played by rules and rule-based systems in distributed and multi-agent systems. These roles include an overview of traditional and newly emerging application areas as well as internal agent architectures and frameworks implementing these architectures.

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

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
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. Adi, A., Etzion, O.: Amit - the situation manager. VLDB J. 13(2), 177–203 (2004)

    Article  MATH  Google Scholar 

  2. Amaral, J.N., Ghosh, J.: Speeding Up Production Systems: From Concurrent Matching to Parallel Rule Firing, ch. 7, pp. 139–160. Elsevier, Amsterdam (1994)

    Google Scholar 

  3. Amaral, J.N., Ghosh, J.: A concurrent architecture for serializable production systems. IEEE Transactions on Parallel and Distributed Systems 7(12), 1265–1280 (1996)

    Article  Google Scholar 

  4. Amarnath, B.R., Somasundaram, T.S., Ellappan, M., Buyya, R.: Ontology-based grid resource management. Software Practice and Experience 39(17), 1419–1438 (2009)

    Article  Google Scholar 

  5. Aref, M.M., Tayyib, M.A.: Lana-match algorithm: A parallel version of the rete-match algorithm. Parallel Computing 24(5-6), 763–775 (1998)

    Article  MATH  Google Scholar 

  6. Bach, J., Bauer, C., Vuine, R.: Micropsi: Contributions to a broad architecture of cognition. In: Freksa, C., Kohlhase, M., Schill, K. (eds.) KI 2006. LNCS (LNAI), vol. 4314, pp. 7–18. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  7. Bartolini, C., Preist, C., Jennings, N.: A software framework for automated negotiation. In: Choren, R., Garcia, A., Lucena, C., Romanovsky, A. (eds.) SELMAS 2004. LNCS, vol. 3390, pp. 213–235. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  8. Bellifemine, F., Caire, G., Greenwood, D.: Developing Multi-Agent systems with JADE. John Wiley & Sons, Chichester (2007)

    Book  Google Scholar 

  9. Bellifemine, F.L., Caire, G., Greenwood, D.: Developing Multi-Agent Systems with JADE. John Wiley & Sons Ltd, Chichester (2007)

    Book  Google Scholar 

  10. Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American (5) (May 2001)

    Google Scholar 

  11. Bikakis, A., Antoniou, G.: Distributed defeasible contextual reasoning in ambient computing. In: Aarts, E., Crowley, J.L., de Ruyter, B., Gerhäuser, H., Pflaum, A., Schmidt, J., Wichert, R. (eds.) AmI 2008. LNCS, vol. 5355, pp. 308–325. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  12. Bikakis, A., Antoniou, G.: Distributed reasoning with conflicts in an ambient peer-to-peer setting. In: Mühlhauser, M., Ferscha, A., Aitenbichler, E. (eds.) Constructing Ambient Intelligence. CCIS, vol. 11, pp. 24–33. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  13. Bonino, D., Corno, F.: DogOnt - ontology modeling for intelligent domotic environments. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 790–803. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  14. Bonino, D., Corno, F.: Rule-based intelligence for domotic environments. Automation in Construction 19(2), 183–196 (2010)

    Article  Google Scholar 

  15. Bordini, R., Dastani, M., Dix, J., El Fallah Seghrouchni, A.: Multi-Agent Programming: Languages, Platforms and Applications. Springer, Heidelberg (2005)

    MATH  Google Scholar 

  16. Bordini, R., Dastani, M., Dix, J., el Fallah-Seghrouchni, A. (eds.): Multi-Agent Programming: Languages, Tools and Applications. Springer, Berlin (2009)

    MATH  Google Scholar 

  17. Bratman, M.: Intention, Plans, and Practical Reason. Harvard University Press, Cambridge (1987)

    Google Scholar 

  18. Bratman, M., Israel, D., Pollack, M.: Plans and Resource-Bounded Practical Reasoning. Computational Intelligence 4(4), 349–355 (1988)

    Article  Google Scholar 

  19. Braubach, L.: Architekturen und Methoden zur Entwicklung verteilter agentenorientierter Softwaresysteme. PhD thesis, Universität Hamburg (2007)

    Google Scholar 

  20. Braubach, L., Pokahr, A., Moldt, D., Lamersdorf, W.: Goal Representation for BDI Agent Systems. In: Bordini, R., Dastani, M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2004. LNCS (LNAI), vol. 3346, pp. 44–65. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  21. Brooks, R.A.: How to build complete creatures rather than isolated cognitive simulators. Architectures for Intelligence, 225–239 (1989)

    Google Scholar 

  22. Brzykcy, G., Bartoszek, J., Pankowski, T.: Schema mappings and agents’ actions in p2p data integration system. Journal of Universal Computer Science 14(7), 1048–1060 (2008)

    Google Scholar 

  23. Bădică, A., Bădică, C.: Specification and verification of an agent-based auction service. In: Information System Development. Towards a Service Provision Society (ISD 2008), pp. 239–248. Springer, Heidelberg (2009)

    Google Scholar 

  24. Bădică, A., Bădică, C.: Fsp and fltl framework for specification and verification of middle-agents. Applied Mathematics and Computer Science 21(1), 9–25 (2011)

    MATH  Google Scholar 

  25. Bădică, C., Ganzha, M., Paprzycki, M.: Implementing rule-based automated price negotiation in an agent system. Journal of Universal Computer Science 13(2), 244–266 (2007)

    Google Scholar 

  26. Bădică, C., Giurca, A., Wagner, G.: Using rules and R2ML for modeling negotiation mechanisms in E-commerce agent systems. In: Draheim, D., Weber, G. (eds.) TEAA 2006. LNCS, vol. 4473, pp. 84–99. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  27. Cabitza, F., Dal Seno, B.: Djess - a knowledge-sharing middleware to deploy distributed inference systems. In: Ardil, C. (ed.) The Second World Enformatika Conference, WEC 2005, Enformatika, Çanakkale, Turkey, pp. 66–69 (2005)

    Google Scholar 

  28. Carbonell, J.G., Etzioni, O., Gil, Y., Joseph, R., Knoblock, C.A., Minton, S., Veloso, M.M.: Prodigy: An integrated architecture for planning and learning. SIGART Bulletin 2(4), 51–55 (1991)

    Article  Google Scholar 

  29. Cardoso, H.L.: Integrating jade and jess (2007)

    Google Scholar 

  30. Christoph, U., Krempels, K.-H., Wilden, A.: Jamochaagent - a rule-based programmable agent. In: Filipe, J., Fred, A.L.N., Sharp, B. (eds.) ICAART 2009 - Proceedings of the International Conference on Agents and Artificial Intelligence, pp. 447–454 (2009)

    Google Scholar 

  31. Collier, R.W.: Agent Factory: A Framework for the Engineering of Agent-Oriented Applications. PhD thesis, University College Dublin (2001)

    Google Scholar 

  32. Dastani, M.: 2apl: a practical agent programming language. International Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS), Special Issue on Computational Logic-based Agents 16(3), 214–248

    Google Scholar 

  33. Dean, J., Ghemawat, S.: Mapreduce: Simplified data processing on large clusters. Communications of the ACM 51(1), 107–113 (2008)

    Article  Google Scholar 

  34. Ding, H.: Integrating semantic metadata in p2p-based digital libraries. Library Management 26(4/5), 218–229 (2005)

    Article  Google Scholar 

  35. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proc. 21st International Conference on Software Engineering (ICSE 1999), pp. 411–420. IEEE Computer Society Press, Los Alamitos (1999)

    Google Scholar 

  36. Ferber, J.: Multi-Agents Systems - An Introduction to Distributed Artificial Intelligence. Addison-Wesley, Reading (1999)

    Google Scholar 

  37. Fischer, K., Windisch, H.-M.: Magsy: Ein regelbasiertes multiagentensystem. KI Zeitschrift 6(1), 22–26 (1992)

    Google Scholar 

  38. Forgy, C.: Rete: A fast algorithm for the many patterns/many objects match problem. Artificial Intelligence 19(1), 17–37 (1982)

    Article  Google Scholar 

  39. Forgy, C.L.: Rete: A fast algorithm for the many pattern/many object pattern match problem. Artificial Intelligence 19(1), 17–37 (1982)

    Article  Google Scholar 

  40. Foster, I.T., Kesselman, C., Tuecke, S.: The anatomy of the grid: Enabling scalable virtual organizations. IJHPCA 15(3), 200–222 (2001)

    Google Scholar 

  41. Foundation for Intelligent Physical Agents (FIPA). FIPA ACL Message Structure Specification (December 2002), document no. FIPA00061

    Google Scholar 

  42. Foundation for Intelligent Physical Agents (FIPA). FIPA SL Content Language Specification (December 2002), document no. FIPA00008

    Google Scholar 

  43. Friedman-Hill, E.: Jess in Action: Java Rule-based Systems. Manning Publications Co. (2003)

    Google Scholar 

  44. Frîncu, M.E., Petcu, D.: Osyris: a nature inspired workflow engine for service oriented environments. Scalable Computing: Practice and Experience 11(1), 81–97 (2010)

    Google Scholar 

  45. Gross, T., Paul-Stueve, T., Palakarska, T.: Sensbution: A rule-based peer-to-peer approach for sensor-based infrastructures. In: Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications, pp. 333–340. IEEE Computer Society, Washington, DC, USA (2007)

    Google Scholar 

  46. Gupta, A., Forgy, C.L., Newell, A.: High-speed implementations of rule-based systems. ACM Transactions on Computer Systems 7(2), 119–146 (1989)

    Article  Google Scholar 

  47. Gupta, G., Pontelli, E., Ali, K.A.M., Carlsson, M., Hermenegildo, M.V.: Parallel execution of prolog programs: a survey. ACM Transactions on Programming Languages and Systems 23(4), 472–602 (2001)

    Article  Google Scholar 

  48. Hall, L.O.: Backpac: A parallel goal-driven reasoning system. Information Sciences 62(1-2), 169–182 (1992)

    Article  Google Scholar 

  49. Harmelen, F.: Large scale reasoning on the semantic web: What to do when success is becoming a problem. In: Liu, J., Wu, J., Yao, Y., Nishida, T. (eds.) AMT 2009. LNCS, vol. 5820, p. 3. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  50. Herrero, P., Bosque, J.L., Salvadores, M., Perez, M.S.: A rule based resources management for collaborative grid environments. International Journal of Internet Protocol Technology 3, 35–45 (2008)

    Article  Google Scholar 

  51. Hindriks, K.: Programming Rational Agents in GOAL. In: El Fallah Seghrouchni, A., Dix, J., Dastani, M., Bordini, R. (eds.) Multi-Agent Programming: Languages, Platforms and Applications, pp. 119–157. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  52. Hindriks, K., de Boer, F., van der Hoek, W., Meyer, J.-J.: Agent Programming in 3APL. Autonomous Agents and Multi-Agent Systems 2(4), 357–401 (1999)

    Article  Google Scholar 

  53. Ishida, T.: Parallel, Distributed and Multiagent Production Systems. LNCS, vol. 878. Springer, Heidelberg (1994)

    Book  MATH  Google Scholar 

  54. Ishida, T.: Parallel, distributed and multi-agent production systems - a research foundation for distributed artificial intelligence. In: Lesser, V.R., Gasser, L. (eds.) Proceedings of the First International Conference on Multiagent Systems, ICMAS, pp. 416–422. The MIT Press, Cambridge (1995)

    Google Scholar 

  55. Janssen, W., Mateescu, R., Mauw, S., Fennema, P., van der Stappen, P.: Model checking for managers. In: Dams, D.R., Gerth, R., Leue, S., Massink, M. (eds.) SPIN 1999. LNCS, vol. 1680, pp. 92–107. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  56. Kaelbling, L.P.: A situated-automata approach to the design of embedded agents. SIGART Bulletin 2, 85–88 (1991)

    Article  Google Scholar 

  57. Kinny, D., Georgeff, M.: Commitment and effectiveness of situated agents. In: Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI 1991), pp. 82–88 (February 1991)

    Google Scholar 

  58. Knottenbelt, J.: Contract Related Agents. PhD thesis, Imperial College, London (2006)

    Google Scholar 

  59. Langley, P., McKusick, K.B., Allen, J.A., Iba, W., Thompson, K.: A design for the icarus architecture. SIGART Bulletin 2(4), 104–109 (1991)

    Article  Google Scholar 

  60. Lehman, J.F., Laird, J., Rosenbloom, P.: A gentle introduction to Soar, an architecture for human cognition. In: Sternberg, S., Scarborough, D. (eds.) Invitation to Cognitive Science, vol. 4, pp. 212–249. MIT Press, Cambridge (1996)

    Google Scholar 

  61. Lehman, J.F., Laird, J., Rosenbloom, P.: A gentle introduction to Soar, an architecture for human cognition. Technical report, University of Michigan (2006)

    Google Scholar 

  62. Lochner, K.M., Wellman, M.P.: Rule-based specification of auction mechanisms. In: 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), pp. 818–825. IEEE Computer Society, Los Alamitos (2004)

    Google Scholar 

  63. Loke, S.W.: Declarative programming of integrated peer-to-peer and web based systems: the case of prolog. Journal of Systems and Software 79(4), 523–536 (2006)

    Article  Google Scholar 

  64. Lomuscio, A.R., Wooldridge, M., Jennings, N.R.: A classification scheme for negotiation in electronic commerce. Group Decision and Negotiation 12(1), 31–56 (2003)

    Article  Google Scholar 

  65. Gedik, B., Kumar, V., Losa, G., Soulé, R., Wu, K.-L., Hirzel, M., Andrade, H.

    Google Scholar 

  66. Mohammad Khanli, L., Analoui, M.: Active grid information server for grid computing. The Journal of Supercomputing 50(1), 19–35 (2009)

    Article  Google Scholar 

  67. Morreale, V., Bonura, S., Francaviglia, G., Centineo, F., Cossentino, M., Gaglio, S.: Reasoning about goals in BDI agents: the PRACTIONIST framework. In: De Paoli, F., Di Stefano, A., Omicini, A., Santoro, C. (eds.) Proceedings of Joint Workshop “From Objects to Agents” (2006)

    Google Scholar 

  68. Newell, A.: Unified Theories of Cognition. Harvard University Press, Cambridge (1990)

    Google Scholar 

  69. Nilsson, N.J.: Teleo-reactive programs for agent control. Journal Artificial Intelligence Research 1, 139–158 (1994)

    Google Scholar 

  70. Oren, E., Kotoulas, S., Anadiotis, G., Siebes, R., ten Teije, A., van Harmelen, F.: Marvin: Distributed reasoning over large-scale semantic web data. Journal of Web Semantics 7(4), 305–316 (2009)

    Article  Google Scholar 

  71. Oskooei, A.R., Mirza-Aghatabar, M., Khorsandi, S.: Introduction of novel rule based algorithms for scheduling in grid computing systems. In: Second Asia International Conference on Modelling and Simulation (AMS 2008), pp. 138–143. IEEE Computer Society, Los Alamitos (2008)

    Chapter  Google Scholar 

  72. Padgett, J., Djemame, K., Dew, P.: Predictive adaptation for service level agreements on the grid. International Journal of Simulation: Systems, Science & Technology 7(2), 29–42 (2006)

    Google Scholar 

  73. Paschke, A., Boley, H., Kozlenkov, A., Craig, B.: Rule responder: Ruleml-based agents for distributed collaboration on the pragmatic web. In: Proceedings of the 2nd International Conference on Pragmatic Web, ICPW 2007, pp. 17–28. ACM, New York (2007)

    Google Scholar 

  74. Paschke, A., Bichler, M.: Knowledge representation concepts for automated sla management. Decision Support Systems 46(1), 187–205 (2008)

    Article  Google Scholar 

  75. Perraju, T.S., Prasad, B.E.: Interference analysis in multiple rule firing systems. Knowledge-Based Systems 13(4), 171–176 (2000)

    Article  MATH  Google Scholar 

  76. Petcu, D., Petcu, M.: Distributed jess on a condor pool. In: Proceedings of the 9th WSEAS International Conference on Computers, Stevens Point, Wisconsin, USA, pp. 1–5. World Scientific and Engineering Academy and Society, WSEAS (2005)

    Google Scholar 

  77. Pokahr, A., Braubach, L., Lamersdorf, W.: A goal deliberation strategy for BDI agent systems. In: Eymann, T., Klügl, F., Lamersdorf, W., Klusch, M., Huhns, M.N. (eds.) MATES 2005. LNCS (LNAI), vol. 3550, pp. 82–93. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  78. Pollack, M.E., Joslin, D., Nunes, A., Ur, S., Ephrati, E.: Experimental investigation of an agent commitment strategy. Technical Report 94–31, Department of Computer Science, University of Pittsburgh (1994)

    Google Scholar 

  79. Rao, A.: AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language. In: Van de Velde, W., Perram, J. (eds.) MAAMAW 1996. LNCS, vol. 1038, pp. 42–55. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

  80. Rao, A., Georgeff, M.: BDI Agents: from theory to practice. In: Lesser, V. (ed.) Proceedings of the 1st International Conference on Multi-Agent Systems (ICMAS 1995), pp. 312–319. MIT Press, Cambridge (1995)

    Google Scholar 

  81. Reticular Systems. AgentBuilder User’s Guide, version 1.3 edn (2000), http://www.agentbuilder.com/

  82. Russell, S., Norvig, P.: Artifical Intelligence: A Modern Approach. Prentice-Hall, Englewood Cliffs (2003)

    MATH  Google Scholar 

  83. Schroeder, M., Wagner, G.: Vivid agents: Theory, architecture, and applications. Applied Artificial Intelligence 14(7), 645–675 (2000)

    Article  Google Scholar 

  84. Shoham, Y.: Agent-oriented programming. Artificial Intelligence 60(1), 51–92 (1993)

    Article  MathSciNet  Google Scholar 

  85. Siddiqui, M., Villazon, A., Fahringer, T.: Semantic-based on-demand synthesis of grid activities for automatic workflow generation. In: Proceedings of the Third IEEE International Conference on e-Science and Grid Computing, E-SCIENCE 2007, pp. 43–50. IEEE Computer Society, Washington, DC, USA (2007)

    Google Scholar 

  86. Simon, H.A.: Cognitive science: the newest science of the artificial. Cognitive Science 4, 33–46 (1980)

    Article  Google Scholar 

  87. Skylogiannis, T., Antoniou, G., Bassiliades, N., Governatori, G., Bikakis, A.: Dr-negotiate – a system for automated agent negotiation with defeasible logic-based strategies. Data & Knowledge Engineering 63(2), 362–380 (2007)

    Article  Google Scholar 

  88. Soma, R., Prasanna, V.K.: Parallel inferencing for owl knowledge bases. In: 37th International Conference on Parallel Processing, ICPP 2008, pp. 75–82. IEEE Computer Society, Los Alamitos (2008)

    Chapter  Google Scholar 

  89. Tamma, V., Phelps, S., Dickinson, I., Wooldridge, M.: Ontologies for supporting negotiation in e-commerce. Engineering Applications of Artificial Intelligence 18(2), 223–236 (2005)

    Article  Google Scholar 

  90. Thain, D., Tannenbaum, T., Livny, M.: Distributed computing in practice: the condor experience. Concurrency and Computation: Practice and Experience 17(2-4), 323–356 (2005)

    Article  Google Scholar 

  91. Urbani, J., Kotoulas, S., Maassen, J., van Harmelen, F., Bal, H.E.: Owl reasoning with webpie: Calculating the closure of 100 billion triples. In: Aroyo, L., Antoniou, G., Hyvönen, E., ten Teije, A., Stuckenschmidt, H., Cabral, L., Tudorache, T. (eds.) ESWC 2010. LNCS, vol. 6088, pp. 213–227. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  92. Urbani, J., Kotoulas, S., Oren, E., Harmelen, F.: Scalable distributed reasoning using mapReduce. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol. 5823, pp. 634–649. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  93. Vlahavas, I., Bassiliades, N.: Parallel, object-oriented, and active knowledge base systems. Kluwer Academic Publishers, Norwell (1998)

    Book  MATH  Google Scholar 

  94. Wolfson, O., Ozeri, A.: Parallel and distributed processing of rules by data-reduction. IEEE Transactions on Knowledge and Data Engineering 5(3), 523–530 (1993)

    Article  Google Scholar 

  95. Wooldridge, M.: Reasoning about Rational Agents. MIT Press, Cambridge (2000)

    MATH  Google Scholar 

  96. Wooldridge, M., Jennings, N.: Agent theories, architectures, and languages: A survey. In: Wooldridge, M., Jennings, N. (eds.) ECAI 1994 and ATAL 1994. LNCS, vol. 890, pp. 1–39. Springer, Heidelberg (1995)

    Chapter  Google Scholar 

  97. Wooldrige, M.: An Introduction to MultiAgent Systems. John Wiley & Sons, Chichester (2002)

    Google Scholar 

  98. Zhang, W., Wang, K., Chau, S.-C.: Data partition and parallel evaluation of datalog programs. IEEE Transactions on Knowledge and Data Engineering 7(1), 163–176 (1995)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bǎdicǎ, C., Braubach, L., Paschke, A. (2011). Rule-Based Distributed and Agent Systems. In: Bassiliades, N., Governatori, G., Paschke, A. (eds) Rule-Based Reasoning, Programming, and Applications. RuleML 2011. Lecture Notes in Computer Science, vol 6826. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22546-8_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-22546-8_3

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics