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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Adi, A., Etzion, O.: Amit - the situation manager. VLDB J. 13(2), 177–203 (2004)
Amaral, J.N., Ghosh, J.: Speeding Up Production Systems: From Concurrent Matching to Parallel Rule Firing, ch. 7, pp. 139–160. Elsevier, Amsterdam (1994)
Amaral, J.N., Ghosh, J.: A concurrent architecture for serializable production systems. IEEE Transactions on Parallel and Distributed Systems 7(12), 1265–1280 (1996)
Amarnath, B.R., Somasundaram, T.S., Ellappan, M., Buyya, R.: Ontology-based grid resource management. Software Practice and Experience 39(17), 1419–1438 (2009)
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)
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)
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)
Bellifemine, F., Caire, G., Greenwood, D.: Developing Multi-Agent systems with JADE. John Wiley & Sons, Chichester (2007)
Bellifemine, F.L., Caire, G., Greenwood, D.: Developing Multi-Agent Systems with JADE. John Wiley & Sons Ltd, Chichester (2007)
Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American (5) (May 2001)
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)
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)
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)
Bonino, D., Corno, F.: Rule-based intelligence for domotic environments. Automation in Construction 19(2), 183–196 (2010)
Bordini, R., Dastani, M., Dix, J., El Fallah Seghrouchni, A.: Multi-Agent Programming: Languages, Platforms and Applications. Springer, Heidelberg (2005)
Bordini, R., Dastani, M., Dix, J., el Fallah-Seghrouchni, A. (eds.): Multi-Agent Programming: Languages, Tools and Applications. Springer, Berlin (2009)
Bratman, M.: Intention, Plans, and Practical Reason. Harvard University Press, Cambridge (1987)
Bratman, M., Israel, D., Pollack, M.: Plans and Resource-Bounded Practical Reasoning. Computational Intelligence 4(4), 349–355 (1988)
Braubach, L.: Architekturen und Methoden zur Entwicklung verteilter agentenorientierter Softwaresysteme. PhD thesis, Universität Hamburg (2007)
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)
Brooks, R.A.: How to build complete creatures rather than isolated cognitive simulators. Architectures for Intelligence, 225–239 (1989)
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)
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)
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)
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)
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)
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)
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)
Cardoso, H.L.: Integrating jade and jess (2007)
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)
Collier, R.W.: Agent Factory: A Framework for the Engineering of Agent-Oriented Applications. PhD thesis, University College Dublin (2001)
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
Dean, J., Ghemawat, S.: Mapreduce: Simplified data processing on large clusters. Communications of the ACM 51(1), 107–113 (2008)
Ding, H.: Integrating semantic metadata in p2p-based digital libraries. Library Management 26(4/5), 218–229 (2005)
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)
Ferber, J.: Multi-Agents Systems - An Introduction to Distributed Artificial Intelligence. Addison-Wesley, Reading (1999)
Fischer, K., Windisch, H.-M.: Magsy: Ein regelbasiertes multiagentensystem. KI Zeitschrift 6(1), 22–26 (1992)
Forgy, C.: Rete: A fast algorithm for the many patterns/many objects match problem. Artificial Intelligence 19(1), 17–37 (1982)
Forgy, C.L.: Rete: A fast algorithm for the many pattern/many object pattern match problem. Artificial Intelligence 19(1), 17–37 (1982)
Foster, I.T., Kesselman, C., Tuecke, S.: The anatomy of the grid: Enabling scalable virtual organizations. IJHPCA 15(3), 200–222 (2001)
Foundation for Intelligent Physical Agents (FIPA). FIPA ACL Message Structure Specification (December 2002), document no. FIPA00061
Foundation for Intelligent Physical Agents (FIPA). FIPA SL Content Language Specification (December 2002), document no. FIPA00008
Friedman-Hill, E.: Jess in Action: Java Rule-based Systems. Manning Publications Co. (2003)
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)
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)
Gupta, A., Forgy, C.L., Newell, A.: High-speed implementations of rule-based systems. ACM Transactions on Computer Systems 7(2), 119–146 (1989)
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)
Hall, L.O.: Backpac: A parallel goal-driven reasoning system. Information Sciences 62(1-2), 169–182 (1992)
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)
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)
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)
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)
Ishida, T.: Parallel, Distributed and Multiagent Production Systems. LNCS, vol. 878. Springer, Heidelberg (1994)
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)
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)
Kaelbling, L.P.: A situated-automata approach to the design of embedded agents. SIGART Bulletin 2, 85–88 (1991)
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)
Knottenbelt, J.: Contract Related Agents. PhD thesis, Imperial College, London (2006)
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)
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)
Lehman, J.F., Laird, J., Rosenbloom, P.: A gentle introduction to Soar, an architecture for human cognition. Technical report, University of Michigan (2006)
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)
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)
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)
Gedik, B., Kumar, V., Losa, G., Soulé, R., Wu, K.-L., Hirzel, M., Andrade, H.
Mohammad Khanli, L., Analoui, M.: Active grid information server for grid computing. The Journal of Supercomputing 50(1), 19–35 (2009)
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)
Newell, A.: Unified Theories of Cognition. Harvard University Press, Cambridge (1990)
Nilsson, N.J.: Teleo-reactive programs for agent control. Journal Artificial Intelligence Research 1, 139–158 (1994)
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)
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)
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)
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)
Paschke, A., Bichler, M.: Knowledge representation concepts for automated sla management. Decision Support Systems 46(1), 187–205 (2008)
Perraju, T.S., Prasad, B.E.: Interference analysis in multiple rule firing systems. Knowledge-Based Systems 13(4), 171–176 (2000)
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)
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)
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)
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)
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)
Reticular Systems. AgentBuilder User’s Guide, version 1.3 edn (2000), http://www.agentbuilder.com/
Russell, S., Norvig, P.: Artifical Intelligence: A Modern Approach. Prentice-Hall, Englewood Cliffs (2003)
Schroeder, M., Wagner, G.: Vivid agents: Theory, architecture, and applications. Applied Artificial Intelligence 14(7), 645–675 (2000)
Shoham, Y.: Agent-oriented programming. Artificial Intelligence 60(1), 51–92 (1993)
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)
Simon, H.A.: Cognitive science: the newest science of the artificial. Cognitive Science 4, 33–46 (1980)
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)
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)
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)
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)
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)
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)
Vlahavas, I., Bassiliades, N.: Parallel, object-oriented, and active knowledge base systems. Kluwer Academic Publishers, Norwell (1998)
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)
Wooldridge, M.: Reasoning about Rational Agents. MIT Press, Cambridge (2000)
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)
Wooldrige, M.: An Introduction to MultiAgent Systems. John Wiley & Sons, Chichester (2002)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)