Abstract
In this article we present a communication language and a design concept for a diagnosis agent. The communication language is divided in two Parts. One part contains primitives necessary to control and query the agent. The other provides constructs for formulating the structure and behavior of Systems to be diagnosed, and for observations determining the current state of the System. Additionally we give an overview of a WWW-based architecture for accessing an (diagnosis) agent’s functionality. This approach is intended to make diagnosis tools accessible from todays WWW browsers.
The work presented in this paper has been funded by grant H-00031/97 from the Hochschuljubil äumsstiftung der Stadt Wien. Christan Piccardi was supported by the Austrian Science Fund (FWF) under project grant P12344-INF.
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
de Koning, K., Bredeweg, B.: Using GDE in Educational Systems. In: Proceedings of the European Conference on Artificial Intelligence (ECAI), Brighton, UK, pp. 279–283 (August 1998)
de Kleer, J., Williams, B.C.: Diagnosing multiple faults. Artificial Intelligence 32(1), 97–130 (1987)
Eiter, T., Subrahmanian, V.S., Pick, G.: Heterogeneous active agents. Technical report, Institut für Informatik, Justus-Liebig-Universität Gieβen, Germany, IFIG Research Report 9802 (March 1998)
Finin, T., Labrou, Y., Mayfield, J.: KQML as an Agent Communication Language. In: Bradshaw, J.M. (ed.) Software Agents, pp. 291–317. AAAI Press / The MIT Press (1997)
Fröhlich, P., Nejdl, W.: A Static Model-Based Engine for Model-Based Reasoning. In: Proceedings 15th International Joint Conf. on Artificial Intelligence, Nagoya, Japan (August 1997)
Friedrich, G., Stumptner, M., Wotawa, F.: Model-based diagnosis of hardware designs. In: Proceedings of the European Conference on Artificial Intelligence (ECAI), Budapest (August 1996)
Heck, F., Laengle, T., Woern, H.: A Multi-Agent Based Monitoring and Diagnosis System for Industrial Components. In: Proceedings ofthe Ninth International Workshop on Principles of Diagnosis, Cape Cod, Massachusetts, USA, pp. 63–69 (May 1998)
Minoux, M.: LTUR: A Simplified Linear-time Unit Resolution Algorithm for Horn Formulae and Computer Implementation. Information Processing Letters 29, 1–12 (1988)
Malik, A., Struss, P.: Diagnosis of dynamic systems does not necessarily require simulation. In: Proceedings ofthe Seventh International Workshop on Principles of Diagnosis (1996)
Piccardi, C.: AD2L An Abstract Modelling Language for Diagnosis Systems. Master’s thesis, TU Vienna (1998)
Price, C., Snooke, N.: Challenges for qualitative electrical reasoning in circuit simulation. In: Proceedings of the 11th International Workshop on Qualitative Reasoning (1997)
Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32(1), 57–95 (1987)
Schroeder, M., Damasio, C.V., Pereira, L.M.: REVISE Report: An Architecture for a Diagnosis Agent. In: ECAI-96 Workshop on Integrating Non-Monotonicity into Automated Reasoning Systems, Budapest, Hungaria (August 1996)
Stumptner, M., Wotawa, F.: Diagnosing tree-structured systems. In: Proceedings 15th International Joint Conf. on Artificial Intelligence, Nagoya, Japan (1997)
Stumptner, M., Wotawa, F.: VHDLDIAG+:Value-level Diagnosis of VHDL Programs. In: Proceedings of the Ninth International Workshop on Principles of Diagnosis, Cape Cod (May 1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Piccardi, C., Wotawa, F. (1999). A Communication Language and the Design of a Diagnosis Agent – Towards a Framework for Mobile Diagnosis Agents. In: Imam, I., Kodratoff, Y., El-Dessouki, A., Ali, M. (eds) Multiple Approaches to Intelligent Systems. IEA/AIE 1999. Lecture Notes in Computer Science(), vol 1611. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-48765-4_46
Download citation
DOI: https://doi.org/10.1007/978-3-540-48765-4_46
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66076-7
Online ISBN: 978-3-540-48765-4
eBook Packages: Springer Book Archive