Abstract
The conceptual graph formalism provides all necessary representational primitives needed to model static knowledge. As such, it offers a complete set of knowledge modeling tools, covering a wide range of knowledge modeling requirements. However, the representation of dynamic knowledge falls outside the scope of the actual theory. Dynamic knowledge supposes that transformations of objects are possible. Processes describe such transformations. To allow the representation of processes, we need a way to represent state changes in a conceptual graph based system. Consequently, the theory should be extended to include the description of processes based on the representation of assertions and retractions about the world. This paper extends the conceptual graph theory in that direction, taking into account the implementation considerations that such an extension entails.
Preview
Unable to display preview. Download preview PDF.
References
Delugach, H. S. (1991). Dynamic Assertion and Retraction of Conceptual Graphs. In: Proc. of the 6th Ann. Workshop on Conceptual Structures, E. Way (Ed.), Binghamton, N.Y.: SUNY at Binghamton, pp. 15–24.
Mineau, G.W. & Gerbé, O., (1997). Contexts: A Formal Definition of Worlds of Assertions. In: Lecture Notes in AI #1257. Springer-Verlag. 80–94.
Creasy, P. & Moulin, B. (1991). Approaches to Data Conceptual Modelling. In Proc. of the 6th Annual Workshop on Conceptual Structures, E. Way (Ed.), Binghamton, N.Y.: SUNY at Binghamton, pp. 387–399.
Haemmerlé, O. (1995). Implementation of Multi Agent Systems using Conceptual Graphs for Knowledge and Message Representation: The GoGITo Platform. In: Proc. of the 3rd Int. Conf. on Conceptual Structures (ICCS-95), G. Ellis, R. Levinson, & B. Rich (Ed.), Santa Cruz, CA: UCSC, pp. 13–24.
Hines, T. R., Oh, J. C. & Hines, M. L. A. (1990). Object-Oriented Conceptual Graphs. In: Proc. of the 5th Ann. Workshop on Conceptual Structures, L. Gerholz & P. Eklund (Ed.), Boston, Mass. Section A.08.
Kabbaj, A. & Frasson, C. (1995). Dynamic CG: Toward a General Model of Computation. In: Proc. of the 3rd Int. Conf. on Conceptual Structures (ICCS-95), G. Ellis, R. Levinson & B. Rich (Ed.), Santa Cruz, CA: UCSC, pp. 46–60.
Lukose, D., Cross, T., Munday, C. & Sobora, F. (1995). Operational KADS Conceptual Model using Conceptual Graphs and Executable Conceptual Structures. In: Proc. of the 3rd Int. Conf. on Conceptual Structures (ICCS-95), G. Ellis, R. Levinson & B. Rich (Ed.), Santa Cruz, CA: UCSC, pp. 71–85.
Wuwongse, V. & Gosh, B. C. (1992). Towards Deductive Object-Oriented Databases Based on Conceptual Graphs. In: Lecture Notes in AI #754. Springer-Verlag, pp. 188–205.
Lukose, D. & Mineau, G.W., (1998). A Comparative Study of Dynamic Conceptual Graphs. In: Proceedings of the 11th Knowledge Acquisition for Knowledge-Based Systems Workshop (KAW-98). Banff, Alberta, Canada. Section VKM-7. April 18–23.
Mineau, G.W. & Missaoui, R., (1996). Semantic Constraints in Conceptual Graph Systems. DMR Consulting Group. R&D Division. Report #960611 A.
Bos, C, Botella, B. & VanHeeghe, P., (1997). Modeling and Simulating Human Behaviours with Conceptual Graphs. In: Lecture Notes in AI #1257. Springer-Verlag. 275–289.
Ellis, G., (1995). Object-Oriented Conceptual Graphs. In: Lecture Notes in AI #954. Springer-Verlag. 144–157.
Allen, J.F., (1981). An Interval-Based Representation of Temporal Knowledge. In: Proceedings of the 7th Int. Joint Conference on Artificial Intelligence. 221–226.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mineau, G.W. (1998). From actors to processes: The representation of dynamic knowledge using conceptual graphs. In: Mugnier, ML., Chein, M. (eds) Conceptual Structures: Theory, Tools and Applications. ICCS 1998. Lecture Notes in Computer Science, vol 1453. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0054905
Download citation
DOI: https://doi.org/10.1007/BFb0054905
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64791-1
Online ISBN: 978-3-540-68673-6
eBook Packages: Springer Book Archive