Rule-Based Distributed and Agent Systems

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.

[1]  Herbert A. Simon,et al.  Cognitive Science: The Newest Science of the Artificial , 1980, Cogn. Sci..

[2]  Charles L. Forgy,et al.  Rete: A Fast Algorithm for the Many Patterns/Many Objects Match Problem , 1982, Artif. Intell..

[3]  Michael E. Bratman,et al.  Intention, Plans, and Practical Reason , 1991 .

[4]  David J. Israel,et al.  Plans and resource‐bounded practical reasoning , 1988, Comput. Intell..

[5]  Allen Newell,et al.  High-speed implementations of rule-based systems , 1989, TOCS.

[6]  A. Newell.  Unified Theories of Cognition , 1990 .

[7]  Michael P. Georgeff,et al.  Commitment and Effectiveness of Situated Agents , 1991, IJCAI.

[8]  Charles L. Forgy,et al.  Rete: a fast algorithm for the many pattern/many object pattern match problem , 1991 .

[9]  Oren Etzioni,et al.  PRODIGY: an integrated architecture for planning and learning , 1991, SGAR.

[10]  Pat Langley,et al.  A design for the ICARUS architecture , 1991, SGAR.

[11]  Leslie Pack Kaelbling,et al.  A situated-automata approach to the design of embedded agents , 1991, SGAR.

[12]  Klaus Fischer,et al.  MAGSY: Ein regelbasiertes Multiagentensystem , 1992, Künstliche Intell..

[13]  Lawrence O. Hall,et al.  Backpac: A parallel goal-driven reasoning system , 1992, Inf. Sci..

[14]  Yoav Shoham,et al.  Agent-Oriented Programming , 1992, Artif. Intell..

[15]  Ouri Wolfson,et al.  Parallel and Distributed Processing of Rules by Data Reduction , 1993, IEEE Trans. Knowl. Data Eng..

[16]  石田 亨.  Parallel, distributed and multiagent production systems , 1994 .

[17]  José Nelson Amaral,et al.  Speeding Up Production Systems: From Concurrent Matching to Parallel Rule Firing* , 1994 .

[18]  Eithan Ephrati,et al.  Experimental Investigation Of An Agent Commitment Strategy , 1994 .

[19]  Nils J. Nilsson,et al.  Teleo-Reactive Programs for Agent Control , 1993, J. Artif. Intell. Res..

[20]  Toru Ishida,et al.  Parallel, Distributed and Multiagent Production Systems , 1994, Lecture Notes in Computer Science.

[21]  Nicholas R. Jennings,et al.  Agent Theories, Architectures, and Languages: A Survey , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[22]  Ke Wang,et al.  Data Partition and Parallel Evaluation of Datalog Programs , 1995, IEEE Trans. Knowl. Data Eng..

[23]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[24]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[25]  Toru Ishida,et al.  Parallel, Distributed and Multi-Agent Production Systems - A Research Foundation for Distributed Artificial Intelligence , 1995, ICMAS.

[26]  José Nelson Amaral,et al.  A Concurrent Architecture for Serializable Production Systems , 1996, IEEE Trans. Parallel Distributed Syst..

[27]  A. S. Roa,et al.  AgentSpeak(L): BDI agents speak out in a logical computable language , 1996 .

[28]  Jill Fain Lehman,et al.  A Gentle Introduction to Soar, an Architecture for Human Cognition. , 1996 .

[29]  Walter Van de Velde,et al.  Agents Breaking Away , 1996, Lecture Notes in Computer Science.

[30]  Edward E. Smith,et al.  An Invitation to cognitive science , 1997 .

[31]  Mostafa M. Aref,et al.  Lana-Match Algorithm: A Parallel Version of the Rete-Match Algorithm , 1998, Parallel Comput..

[32]  Ioannis Vlahavas,et al.  Parallel, Object-Oriented, and Active Knowledge Base Systems , 1998, The Springer International Series on Advances in Database Systems.

[33]  Mieke Massink,et al.  Theoretical and Practical Aspects of SPIN Model Checking , 1999, Lecture Notes in Computer Science.

[34]  George S. Avrunin,et al.  Patterns in property specifications for finite-state verification , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[35]  Jacques Ferber,et al.  Multi-agent systems - an introduction to distributed artificial intelligence , 1999 .

[36]  Radu Mateescu,et al.  Model Checking for Managers , 1999, SPIN.

[37]  Michael Wooldridge,et al.  Reasoning about rational agents , 2000, Intelligent robots and autonomous agents.

[38]  Gerd Wagner,et al.  Vivid agents: Theory, architecture, and applications , 2000, Appl. Artif. Intell..

[39]  Agostino Poggi,et al.  Developing Multi-agent Systems with JADE , 2007, ATAL.

[40]  Bandreddi E. Prasad,et al.  Interference analysis in multiple rule firing systems , 2000, Knowl. Based Syst..

[41]  Nicholas R. Jennings,et al.  A Classification Scheme for Negotiation in Electronic Commerce , 2001, AgentLink.

[42]  Michael Wooldridge,et al.  Introduction to multiagent systems , 2001 .

[43]  James A. Hendler,et al.  The Semantic Web" in Scientific American , 2001 .

[44]  Ian T. Foster,et al.  The anatomy of the grid: enabling scalable virtual organizations , 2001, Proceedings First IEEE/ACM International Symposium on Cluster Computing and the Grid.

[45]  Mats Carlsson,et al.  Parallel execution of prolog programs: a survey , 2001, TOPL.

[46]  A. ADoefaa,et al.  ? ? ? ? f ? ? ? ? ? , 2003 .

[47]  Barbara Messing,et al.  An Introduction to MultiAgent Systems , 2002, Künstliche Intell..

[48]  Ernest Friedman Hill,et al.  Jess in Action: Java Rule-Based Systems , 2003 .

[49]  Opher Etzion,et al.  Amit - the situation manager , 2003, The VLDB Journal.

[50]  Koen V. Hindriks,et al.  Agent Programming in 3APL , 1999, Autonomous Agents and Multi-Agent Systems.

[51]  Daniel Moldt,et al.  Goal Representation for BDI Agent Systems , 2004, PROMAS.

[52]  Nicholas R. Jennings,et al.  A Software Framework for Automated Negotiation , 2004, SELMAS.

[53]  Michael P. Wellman,et al.  Rule-based specification of auction mechanisms , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[54]  Paulo S. C. Alencar,et al.  Software Engineering for Multi-Agent Systems II , 2004 .

[55]  Sanjay Ghemawat,et al.  MapReduce: Simplified Data Processing on Large Clusters , 2004, OSDI.

[56]  Keith L. Clark,et al.  Contract-Related Agents , 2005, CLIMA.

[57]  Douglas Thain,et al.  Distributed computing in practice: the Condor experience , 2005, Concurr. Pract. Exp..

[58]  Dana Petcu,et al.  Distributed Jess on a Condor pool , 2005 .

[59]  David Stuart Robertson,et al.  Enacting the Distributed Business Workflows Using BPEL4WS on the Multi-agent Platform , 2005, MATES.

[60]  Guido Governatori,et al.  DR-NEGOTIATE - a system for automated agent negotiation with defeasible logic-based strategies , 2005, 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service.

[61]  Hao Ding.  Integrating semantic metadata in P2P‐based digital libraries , 2005 .

[62]  Ian Dickinson,et al.  Ontologies for supporting negotiation in e-commerce , 2005, Eng. Appl. Artif. Intell..

[63]  Federico Cabitza,et al.  DJess - A Knowledge-Sharing Middleware to Deploy Distributed Inference Systems , 2005, WEC.

[64]  Rafael H. Bordini,et al.  Multi-Agent Programming: Languages, Platforms and Applications , 2005, Multi-Agent Programming.

[65]  Winfried Lamersdorf,et al.  A Goal Deliberation Strategy for BDI Agent Systems , 2005, MATES.

[66]  Adrian Giurca,et al.  Using Rules and R2ML for Modeling Negotiation Mechanisms in E-Commerce Agent Systems , 2006, TEAA.

[67]  Abdulla Othman,et al.  A Monitoring and Prediction Tool for Time-Constraint Grid Application , 2004, ICCSA.

[68]  Joscha Bach,et al.  MicroPsi: Contributions to a Broad Architecture of Cognition , 2006, KI.

[69]  Vito Morreale,et al.  Reasoning about Goals in BDI Agents: the PRACTIONIST Framework , 2006, WOA.

[70]  Seng Wai Loke.  Declarative programming of integrated peer-to-peer and Web based systems: the case of Prolog , 2006, J. Syst. Softw..

[71]  Dirk Draheim,et al.  Trends in Enterprise Application Architecture, 2nd International Conference, TEAA 2006, Berlin, Germany, November 29 - December 1, 2006, Revised Selected Papers , 2007, TEAA.

[72]  Adrian Paschke,et al.  Rule responder: RuleML-based agents for distributed collaboration on the pragmatic web , 2007, ICPW '07.

[73]  Grigoris Antoniou,et al.  Distributed Reasoning with Conflicts in an Ambient Peer-to-Peer Setting , 2007, AmI Workshops.

[74]  Maria Ganzha,et al.  Implementing Rule-Based Automated Price Negotiation in an Agent System , 2007, J. Univers. Comput. Sci..

[75]  Lars Braubach.  Architekturen und Methoden zur Entwicklung verteilter agentenorientierter Softwaresysteme , 2007 .

[76]  Tom Gross,et al.  SensBution: A Rule-Based Peer-to-Peer Approach for Sensor-Based Infrastructures , 2007, 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO 2007).

[77]  Christian Freksa,et al.  KI 2006: Advances in Artificial Intelligence, 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings , 2007, KI.

[78]  Thomas Fahringer,et al.  Semantic-Based On-demand Synthesis of Grid Activities for Automatic Workflow Generation , 2007, Third IEEE International Conference on e-Science and Grid Computing (e-Science 2007).

[79]  Morteza Analoui,et al.  Active Grid Information Server for grid computing , 2008, The Journal of Supercomputing.

[80]  Grigoris Antoniou,et al.  Distributed Defeasible Contextual Reasoning in Ambient Computing , 2008, AmI.

[81]  Steffen Staab,et al.  The Semantic Web - ISWC 2008, 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings , 2008, SEMWEB.

[82]  Mohammad Mirza-Aghatabar,et al.  Introduction of Novel Rule Based Algorithms for Scheduling in Grid Computing Systems , 2008, 2008 Second Asia International Conference on Modelling & Simulation (AMS).

[83]  Mehdi Dastani,et al.  2APL: a practical agent programming language , 2008, Autonomous Agents and Multi-Agent Systems.

[84]  Sanjay Ghemawat,et al.  MapReduce: simplified data processing on large clusters , 2008, CACM.

[85]  Viktor K. Prasanna,et al.  Parallel Inferencing for OWL Knowledge Bases , 2008, 2008 37th International Conference on Parallel Processing.

[86]  Tadeusz Pankowski,et al.  Schema Mappings and Agents' Actions in P2P Data Integration System , 2008, J. Univers. Comput. Sci..

[87]  Costin Badica,et al.  Specification and Verification of an Agent-Based Auction Service , 2008, ISD.

[88]  Alois Ferscha,et al.  Constructing Ambient Intelligence - AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers , 2008, AmI Workshops.

[89]  Martin Bichler,et al.  Knowledge representation concepts for automated SLA management , 2006, Decis. Support Syst..

[90]  María S. Pérez-Hernández,et al.  A rule based resources management for collaborative grid environments , 2008, Int. J. Internet Protoc. Technol..

[91]  Fulvio Corno,et al.  DogOnt - Ontology Modeling for Intelligent Domotic Environments , 2008, SEMWEB.

[92]  Frank van Harmelen.  Large Scale Reasoning on the Semantic Web: What to Do When Success Is Becoming a Problem , 2009, AMT.

[93]  Lora Aroyo,et al.  The Semantic Web: Research and Applications , 2009, Lecture Notes in Computer Science.

[94]  Rajkumar Buyya,et al.  Ontology‐based Grid resource management , 2009, Softw. Pract. Exp..

[95]  Frank van Harmelen,et al.  Scalable Distributed Reasoning Using MapReduce , 2009, SEMWEB.

[96]  Jürgen Dix,et al.  Multi-Agent Programming: Languages, Tools and Applications , 2009 .

[97]  Eduardo Figueiredo,et al.  On the modularization and reuse of exception handling with aspects , 2009 .

[98]  Koen V. Hindriks,et al.  Programming Rational Agents in GOAL , 2009, Multi-Agent Programming, Languages, Tools and Applications.

[99]  Abraham Bernstein,et al.  The Semantic Web - ISWC 2009, 8th International Semantic Web Conference, ISWC 2009, Chantilly, VA, USA, October 25-29, 2009. Proceedings , 2009, SEMWEB.

[100]  Karl-Heinz Krempels,et al.  JamochaAgent - A Rule-based Programmable Agent , 2009, ICAART.

[101]  Frank van Harmelen,et al.  Marvin: Distributed reasoning over large-scale Semantic Web data , 2009, J. Web Semant..

[102]  Fulvio Corno,et al.  Rule-based intelligence for domotic environments , 2010 .

[103]  Dana Petcu,et al.  Scalable Computing: Practice and Experience , 2010 .

[104]  Frank van Harmelen,et al.  OWL Reasoning with WebPIE: Calculating the Closure of 100 Billion Triples , 2010, ESWC.

[105]  Costin Badica,et al.  FSP and FLTL framework for specification and verification of middle-agents , 2011, Int. J. Appl. Math. Comput. Sci..

[106]  Huajun Chen,et al.  The Semantic Web , 2011, Lecture Notes in Computer Science.