Survey on Goal-driven Architectures

The ultimate aim of advanced IT technology is to provide infrastructures for automated problem solving. Based on machine-readable descriptions, intelligent mechanisms shall enable dynamic usage and combination of available computational resources for solving problems. Therefore, different branches of Artificial Intelligence (AI) research develop frameworks for describing problems and resources along with technologies for automated problem resolution and resource usage. Most commonly, such frameworks center around the service-side that is concerned with how to describe computational resources in order to allow automated usage, and the client-side that is concerned with how to describe the problems to be solved and their resolution process. In order to provide IT technology that reflects real world problem solving in a sophisticated manner, the service- and the client-side should be decoup- led to the highest possible extent. Appropriate models for the client-side should allow specifying objectives to be solved from the client's perspective without regard to their techni- cal resolution, thereby providing sophisticated support for the client-side that is decoupled from technical service usage requests; on the other hand, client-side description elements should encompass all information required for automated problem resolution by intelligent mechanisms for automated resource detection, combination, and usage. Such sophisticated cli- ent-side models is what we refer to as goal-driven architectures. Therein a user only specifies the objective or problem to be solved while intelligent mechanisms handle the resolution proc- ess automatically. This paper surveys approaches for goal-driven architectures, deriving the state of the art on description models for the client-side that is intended to serve as a basis for developing a goal-driven architecture for Semantic Web Services.

[1]  Charles L. Forgy,et al.  OPS5 user's manual , 1981 .

[2]  Paolo Traverso,et al.  Automated Planning: Theory & Practice , 2004 .

[3]  Thomas Dean,et al.  Automated planning , 1996, CSUR.

[4]  John E. Laird,et al.  The soar papers : research on integrated intelligence , 1993 .

[5]  Egon Börger,et al.  Abstract State Machines. A Method for High-Level System Design and Analysis , 2003 .

[6]  Betty H. C. Cheng,et al.  Using Formal Methods to Construct a Software Component Library , 1993, ESEC.

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

[8]  Dieter Fensel,et al.  The Knowledge Acquisition and Representation Language, KARL , 1995, Springer US.

[9]  Michael Wooldridge,et al.  Agent-Oriented Software Engineering , 1999, ATAL.

[10]  Ian Horrocks,et al.  OIL: An Ontology Infrastructure for the Semantic Web , 2001, IEEE Intell. Syst..

[11]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

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

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

[14]  John R. Anderson Cognitive Psychology and Its Implications , 1980 .

[15]  John McCarthy,et al.  From Here to Human-Level AI , 1996, KR.

[16]  Douglas B. Moran,et al.  The Open Agent Architecture: A Framework for Building Distributed Software Systems , 1999, Appl. Artif. Intell..

[17]  Axel van Lamsweerde,et al.  From System Goals to Software Architecture , 2003, SFM.

[18]  Dieter Fensel,et al.  Automated Collaboration on the Semantic Web , 2005 .

[19]  John McCarthy,et al.  Artificial Intelligence, Logic and Formalizing Common Sense , 1989 .

[20]  Lynn Nadel,et al.  Encyclopedia of Cognitive Science , 2003 .

[21]  Dieter Fensel,et al.  The Unified Problem-Solving Method Development Language UPML , 2003, Knowl. Inf. Syst..

[22]  Katia P. Sycara,et al.  The RETSINA MAS Infrastructure , 2003, Autonomous Agents and Multi-Agent Systems.

[23]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[24]  Robert A. Wilson,et al.  Book Reviews: The MIT Encyclopedia of the Cognitive Sciences , 2000, CL.

[25]  K. Upton,et al.  A modern approach , 1995 .

[26]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..

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

[28]  John K. Debenham Knowledge Engineering , 1998, Encyclopedia of Social Network Analysis and Mining.

[29]  Charles W. Krueger,et al.  Software reuse , 1992, CSUR.

[30]  A. M. Turing,et al.  Computing Machinery and Intelligence , 1950, The Philosophy of Artificial Intelligence.

[31]  Thomas Erl,et al.  Service-Oriented Architecture: A Field Guide to Integrating XML and Web Services , 2004 .

[32]  Nicholas R. Jennings,et al.  Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.

[33]  C. Sidner,et al.  Plans for Discourse , 1988 .

[34]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[35]  Allen Newell,et al.  Learning by Chunking: Summary of a Task and a Model , 1982, AAAI.

[36]  Piergiorgio Bertoli,et al.  Planning and Monitoring Web Service Composition , 2004, AIMSA.

[37]  Michael Luck,et al.  Agent technology: Enabling next generation computing , 2003 .

[38]  Robert C. Moore Reasoning About Knowledge and Action , 1977, IJCAI.

[39]  Axel van Lamsweerde,et al.  From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering , 2002, RISSEF.

[40]  Hyacinth S. Nwana,et al.  Software agents: an overview , 1996, The Knowledge Engineering Review.

[41]  Chris Preist A Conceptual Architecture for Semantic Web Services , 2004, International Semantic Web Conference.

[42]  Allen Newell,et al.  The Knowledge Level , 1989, Artif. Intell..

[43]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[44]  Allen Newell,et al.  Human Problem Solving. , 1973 .

[45]  Clare Bates Congdon,et al.  The Soar User''''s Manual , 1986 .

[46]  Dieter Fensel,et al.  The Web Service Modeling Framework WSMF , 2002, Electron. Commer. Res. Appl..

[47]  Burt Wilsker,et al.  A Study of Multi-Agent Collaboration Theories. , 1996 .

[48]  Anand S. Rao,et al.  Decision Procedures for BDI Logics , 1998, J. Log. Comput..

[49]  Enrico Motta,et al.  IRS-II: A Framework and Infrastructure for Semantic Web Services , 2003, SEMWEB.

[50]  Yonghao Chen,et al.  A semantic foundation for specification matching , 2000 .

[51]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[52]  Dieter Fensel,et al.  Modal Change Logic (MCL): Specifying the Reasoning of Knowledge-Based Systems , 1998, Data Knowl. Eng..

[53]  Dieter Fensel,et al.  Knowledge Engineering: Principles and Methods , 1998, Data Knowl. Eng..

[54]  Michael Wooldridge,et al.  Towards a Logic of Rational Agency , 2003, Log. J. IGPL.

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

[56]  D. Hofstadter,et al.  Godel, Escher, Bach: An Eternal Golden Braid , 1979 .

[57]  John R. Anderson,et al.  The place of cognitive architectures in a rational analysis , 1988 .

[58]  James A. Hendler,et al.  Readings in Planning , 1994 .

[59]  Takahiro Kawamura,et al.  Semantic Matching of Web Services Capabilities , 2002, SEMWEB.

[60]  Hector J. Levesque,et al.  On Acting Together , 1990, AAAI.

[61]  Michael Wooldridge,et al.  Intelligent agents: theory and practice The Knowledge Engineering Review , 1995 .

[62]  E. F. Codd,et al.  Relational Completeness of Data Base Sublanguages , 1972, Research Report / RJ / IBM / San Jose, California.

[63]  Y. Shoham Introduction to Multi-Agent Systems , 2002 .

[64]  Antoni Diller,et al.  Z - an introduction to formal methods , 1990 .

[65]  Xiaohong Qiu,et al.  Web Service Architecture for e-Learning , 2004 .

[66]  Dieter Fensel,et al.  Problem-Solving Methods: Understanding, Description, Development, and Reuse , 2000 .

[67]  Gio Wiederhold,et al.  Mediators in the architecture of future information systems , 1992, Computer.

[68]  Allen Newell,et al.  GPS, a program that simulates human thought , 1995 .

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

[70]  Michael Wooldridge,et al.  Foundations of Rational Agency , 1999 .