Abstract
In this paper, graphical, conceptual graph-based representations for knowledge structures in the compositional development method DESIRE for knowledge-based and multi-agent systems are presented, together with a graphical editor based on the Constraint Graph environment. Moreover, a translator is described which translates these graphical representations to textual representations in DESIRE. The strength of the combined environment is a powerful – yet easy-to-use – framework to support the development of knowledge based and multi-agent systems. Finally, a mapping is presented from DESIRE, that is based on order sorted predicate logic, to Conceptual Graphs.
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
Abadi, M., Cardelli, L.: A Theory of Object. Springer, New York (1996)
Brazier, F.M.T., Dunin-Keplicz, B., Jennings, N.R., Treur, J.: Formal specification of Multi-Agent Systems: a real-world case. In: Lesser, V. (ed.) Proceedings of the First International Conference on Multi-Agent Systems, ICMAS-1995, pp. 25–32. MIT Press, Cambridge (1995); Extended version in: Huhns, M., Singh, M. (eds.): International Journal of Cooperative Information Systems . Special issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems, vol. 6, pp. 67–94 (1997)
Brazier, F.M.T., Jonker, C.M., Treur, J.: Principles of Compositional Multi-Agent System Development. In: Cuena, J. (ed.) Proceedings of the IFIP World Computer Congress, WCC 1998, Conference on Information Technologies and Knowledge Systems, IT&KNOWS 1988 (1998)
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1994)
Kremer, R.: Constraint Graphs: A Constraint Graphs Meta-Language, PhD Dissertation, Department of Computer Science, University of Calgary (1997)
Moeller, J.U., Willems, M.: CG-DESIRE: Formal Specification Using Conceptual Graphs. In: Gaines, B.R., Musen, M.A. (eds.) Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop KAW-1995, Calgary, pp. 25/1 – 25/20 (1995)
Nosek, J.T., Roth, I.: A Comparison of Formal Knowledge Representation Schemes as Communication Tools: Predicate Logic vs. Semantic Network. International Journal of Man-Machine Studies 33, 227–239 (1990)
Sowa, J.F.: Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Reading (1984)
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
Jonker, C.M., Kremer, R., van Leeuwen, P., Pan, D., Treur, J. (1999). Visual and Textual Knowledge Representation in DESIRE. 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_34
Download citation
DOI: https://doi.org/10.1007/978-3-540-48765-4_34
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66076-7
Online ISBN: 978-3-540-48765-4
eBook Packages: Springer Book Archive