Abstract
Techniques are presented for designing with software agents and new concepts entitled Abstract Intelligent Maintenance and implementations. The designs present concurrent agent algebras with diagnosis learning, faults, and maintenance capability. The stages of conceptualization, design and implementation are defined with AI agents and Mediators. Multiagent implementations are proposed to support software design techniques, which incorporates object level nondeterministic knowledge learning and knowledge representation developed in the projects. Objects, message passing actions, and implementing agents are defined by syntactic constructs, with agents appearing as functions. Agent-based maintenance fault recovery, maintenance events and activity are computed for the All agents. The techniques provide a basis for automatic implementation with agents. Mediators implementing objects and agents define Interportability. The object level definitions for individual modules are turned to executable programs applying source abstract syntax tree to target abstract syntax tree morphisms. The techniques are applied to define a Preservation Principle for Agent-based Maintenance and heterogeneous KB basis to learning diagnosis.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Nourani,C.F., “Abstract Implementation Techniques For Artificial Intelligent Systems By Computing Agents- A Conceptual Overview,” Proc. SERF-93, Orlanda, FL.,November1993.
Nourani, C.F. 1999, “Agent Computing, KB For Intelligent Forecasting, and Model Discovery for Knowledge Management,” June 1998. AAAI Wkshp on Agent Based Systems in the Business Context Orlando, Florida, July 18-July 22, 1999.
Gio Wiederhold: “Interoperation, Mediation and Ontologies”; Proc.Int.Symp. on Fifth Generation Comp Systems, ICOT, Tokyo, Japan, Vol. W3, Dec.1994, pages 33–48.
Nourani, C.F., “A Parallel Functional Modular Language With Agents and Distributed Objects”, July 1998, Brief IFL Wkshp Parallel Functional Languages, September 1998, London, Proceedings, Publisher: School of Mathematical, University of St. Andrews, Fife, KY16 9SS.
Barstow, D.R., Knowledge-based Program Construction, Elsevier, North-Holland, 1979.
Ehrig, H., H.J. Kreowski, and P. Padawittz, “Algebraic Implementation of Abstract Data Types, Concepts, Syntax, Semantics, and Correctness,” Proc. 7th International Colloquium on Automata, Languages, and Programming, Noordwijkerhout, July 1980, Springer-Verlag Lecture Notes in Computer Science, Vol. 85.New York.
ADJ-Goguen, J.A., J.W. Thatcher, E.G. Wagner and J.B. Wright, A Junction Between Computer Science and Category Theory (parts I and II), IBM T.J. Watson Reseatch Center, Yorktown Heights, N.Y. Research Report, 1975.
Mozetic, I, “Computing Minimal Diagnoses with Critical Set Algorithms,” Proceedings 11`h ECAI, Amsterdam, John Wiley and Sons, August 1994.
Nourani, C.F., “The IOOP Project, 1994, Preliminary Brief,” SIGPLAN Notices 30: 2, 56–54, February 1995.
Genesereth, M.R. and Nilsson, N.J., “Logical Foundations of Artificial Intelligence,” Morgan-Kaufmann, 1987.
Nourani, C.F. “Agent-based Structures, Agent Ontology Preservation and Enterprise Modeling,” Ontologies in Agent Systems, Workshop, Montreal, May 2001, http://cis.otago.ac.nz/OASWorkshop/Papers/paper_list.htm
Nourani, C.F., “A Multiagent Approach To Software Fault Tolerance,” September 1991, (revised 1992 ) FLAIRS-93, Florida AI Conference, April 1993
Koopman, M.R.J., Spee J.W., Jonker W., Montero, L., O’Hara K., Mepham, M, Motta E., in’t Veld L.J., VITAL Conceptual Modelling, VITAL Deliverable DD213, PTT Research, Groningen, December 1991.
Nourani, C.F., “Modelling,Validation,and Hybrid Design of Intelligent Systems,” February 5, 1997, KMEL98, Karlsruhe, Germany, January 1998. 8th Workshop Knowledge Engineering Methods and Languages, Institut für Angewandte Informatik und formale Beschreibungsverfahren, Karlsruhe University, January 1998, Karlsruhe, Germany.
Nourani, C.F., “Multiagent AI Design A New Emerging Software Engineering Trend,” Engineering Applications AI- EAAI, Vol. 12:1, February 1999, pp. 37–42, Elsevier.
Gio Wiederhold: “’The Roles of Artificial Intelligence in Information Systems”; in ras Methodologies for Intelligent Systems, Lecture Notes in AI, Springer 1991, pp.38–51; republished in the Joural of Intelligent Information Systems, Vol.1 No.1, 1992, pp.35–56.
Gio Wiederhold: Mediation in the Architecture of Future Information Systems, 1989;published in IEEE Computer Magazine, Vol.25 No.3, March 1992, pp.38–49;republished in Hurson et al: Multi-database Systems: an Advanced Solution for Global Information Sharing; IEEE Press, 1993.
Cameron and Ito, “Grammar-based Definition of Meta-programming Systems,” ACM TOPLAS, vol. 6, no. 1, January 1984.
Bakker, R.R., S.J.M. van Eldon, P.M. Wognum, and N.J.I. Mars, “The Use of Model-based Diagnosis in Redesign,” Proceedings 1 lth ECAI, Amsterdam, John Wiley and Sons, August 1994.
Gio Wiederhold et al: A Mediator Architecture for Abstract Data Access; Stanford University, Report Stan-CS-90–1303, August 1990.
Nourani, C.F., “CatLog: A System for Functional Realization of Abstract Module Specifications in Prolog,” Proc. 20th HICSS, Kona, HI, January 1987.
Nourani, C.F., “Slalom Tree Computing,” 1994, AI Communications, November 1996, IOS Press, Amsterdam.
Nourani, C.F. and K.J. Lieberherr, “Data Types, Direct Implementations, and Knowledge Representation,” Proc. 19th HICSS, Honolulu, Hawaii, January 1986, Vol II, pp. 233–243.
ADJ-Thatcher, J.W., E.G. Wagner, and J.B. Wright, “Data Type Specifications: parameterization and the power of specification techniques,” Proc. Tenth ACM SIGACT Symposium on Theory of Computing,San Diego, CA. May, 1978, 119–132.
Genesereth, M.R. and S. P. Ketchpel, Software Agents, Computer Science Department Stanford University, 1995.
Genesereth, M. R. An Agent-Based Approach to Software Interoperability, In: Proceedings of the DARPA Software Technology Conference, 1992.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nourani, C.F. (2002). Agent-Based Software Engineering and Agent Mediations. In: Abraham, A., Köppen, M. (eds) Hybrid Information Systems. Advances in Soft Computing, vol 14. Physica, Heidelberg. https://doi.org/10.1007/978-3-7908-1782-9_34
Download citation
DOI: https://doi.org/10.1007/978-3-7908-1782-9_34
Publisher Name: Physica, Heidelberg
Print ISBN: 978-3-7908-1480-4
Online ISBN: 978-3-7908-1782-9
eBook Packages: Springer Book Archive