Validating UPML Concepts in a Multi-agent Architecture

• Autorzy: Sandru C. , Negru V.
• Języki publikacji: EN

Abstrakty

EN

The task oriented reasoning represents a powerful design paradigm. This research starts from a representative research in the area, the Unified Problem-Solving Method Development Language (UPML), and proposes a multi-agent architecture to support this ap- proach. The paper first models an applicative program, solving non- linear equation systems, using UPML concepts and then instantiates the proposed generic multi-agent architecture in order to generate a multi-agent system to solve the proposed problem.

Słowa kluczowe

EN

multi-agent systems; problem solving methods; task ori-ented reasoning; knowledge based systems; nonlinear equation systems

• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Schedae Informaticae
• Rocznik: 2006
• Tom: Vol. 15
• Strony: 109--125
• Opis fizyczny: Bibliogr. 24 poz., rys.

Twórcy

autor

Sandru C.

autor

Negru V.

• West University of Timisoara, Department of Computer Science Bd. V. Parvan, 4, Timisoara, Romania,

Bibliografia

• [1] Benjamins V., Plaza E., Motta E., Fensel D., Studer R., Wielinga B., Schreiber G., Zdrahal Z., and Decker S.; Ibrow3: An intelligent brokering service for knowledge-component reuse on the world-wide web, 1998.
• [2] Bowen J.; Formal Specification and Documentation using Z: A Case Study Approach, International Thomson Computer Press, International Thomson Publishing, 1996, Revised 2003.
• [3] Casanova H., Dongarra J.; Netsolve: A network server for solving computational science problems, The International Journal of Supercomputer Applications and High Performance Computing, 11(3), 1997, pp. 212-223.
• [4] Chandrasekaran B., Johnson T.R.; Generic tasks and task structures: History,critique and new directions, in: J.-M. David, J.-P. Krivine, R. Simmons, (eds.),Second Generation Expert Systems, Springer-Verlag, Berlin 1993, pp. 232-272.
• [5] Culbert C., Riley G., Donnell B.; CLIPS reference manual, Vol. 1, 2, 3, 1993.
• [6] Fensel D., Motta E., Benjamins V.R., Crubezy M., Decker S., Gaspari M.,Groenboom R., Grosso W., van Harmelen F., Musen M., Plaza E., Schreiber G., Studer R., Wielinga B.; The unified problem-solving method development language upml, Knowledge and Information Systems, 5(1), 2003, pp. 83-131.
• [7] d'Inverno M., Kinny D., Luck M., Wooldridge M.; A formal specification of dmars, in: M.P. Singh, A.S. Rao and M. Wooldridge, (eds.), Intelligent Agents IV, Proceedings of the Fourth International Workshop on Agent Theories, Architectures and Languages, Lecture Notes in Artificial Intelligence, Vol. 1365,Springer-Verlag, 1998, pp. 155-176.
• [8] Fensel D., Angele J., and Studer R.; The knowledge acquisition and representation language karl, IEEE Transcactions on Knowledge and Data Engineering,10(4), 1998, pp. 527-550.
• [9] Finin T., Weber J., Wiederhold G., Genesereth M., Fritzson R., McKay D., McGuire J., Shapiro S., and Beck C.; Specification of the kqml agent-communication language, Technical report, The DARPA Knowledge Sharing Initiative External Interfaces Working Group, 1993.
• [10] FIPA, Fipa agent management specification,http://www.fipa.org/repository/bysubject.html, 2002.
• [11] Gennari J.H., Musen M.A., Fergerson R.W., Grosso W.E., Crub´ezy M., Eriksson H., Noy N.F., Tu S.W.; The evolution of protege: An environment for knowledge-based systems development, Technical Report SMI-2002-0943, Stanford Medical Informatics, Stanford University, 2002.
• [12] Gomez M., Abasolo C., Plaza E.; Domain-independent ontologies for cooperative information agents, in: Proceedings of the Fifth International Workshop Cooperative Information Agents CIA-2001, Lecture Notes in Artificial Intelligence, Vol. 2128, Springer-Verlag, 2001, pp. 118-129.
• [13] Kowalik J.S., (ed.); Coupling symbolic and numeric computing in expert systems, Elsevier Science Pbs., 1986.
• [14] Luck M., d'Inverno M.; A conceptual framework for agent definition and development, The Computer Journal, 44(1), 2001, pp. 1-20.
• [15] Maruster St., Negru V., Petcu D., and Sandru C.; Intelligent front-end for solving differential and non-linear equations, revised and extended version, Journal of Mathematical Sciences, Plenum Pbs. Corp., 108(6), 2002, pp. 1139-1151.
• [16] Negru V., Maruster St., Sandru C.; Intelligent system for non-linear simultaneous equation solving, Technical Report Report Series, No. 98-19, RISC-Linz,December 1998.
• [17] Sandru C., Negru V., Pop D.; A multi-agent approach to a sales optimization application, in: Proceedings of the 14th International Conference on Control Systems and Computer Science, Bucharest, Romania, 2003.
• [18] Schreiber G., Akkermans H., Anjewierden A., de Hoog R., Shadbolt N., Van de VeldeW., Wielinga B.; Knowledge Engineering and Management. The CommonKADS Methodology, The MIT Press, 1999.
• [19] Sowa J. F.; Representing knowledge soup in language and logic, in: International Conference on Logic and Knowledge, June 2002.
• [20] Steels L.; Components of expertise, AI Magazine, 11(2), 1990, pp. 29-49.
• [21] Sycara K., Wido S., Klusch M., and Lu J.; Larks: Dynamic matchmaking among heterogeneous software agents in cyberspace, 2002.
• [22] Wickler G. and Tate A.; Capability representations for brokering: A survey,Submitted to Knowledge Engineering Review, November 1999.
• [23] Wickler G.J.; Using Expressive and Flexible Action Representation to Reason about Capabilities for Intelligent Agent Cooperation, PhD thesis, University of Edinburgh, 1999.
• [24] Wielinga B.J., Schreiber A., Breuker J.A.; Kads: A modelling approach to knowledge engineering, Knowledge Aquisition, 4(1), 1992.