Abstract
This paper addresses two contemporary issues which could threaten the usefulness of conceptual graphs and their widespread acceptance as a knowledge representation. The first concerns the recent debate over the place of actors in the formalism. After briefly summarising arguments on both sides, I take the position that actors should be retained, and marshal four supporting arguments. An example shows that (slightly enhanced) actor nodes can greatly simplify the delivery of external control signals, without excessively complicating the denotation of the graphs they contain. The second issue concerns an epistemological problem which I have called the semi-automatic trap. This is our tendency to continue constructing systems of logic that depend on human involvement beyond necessity to the point at which such involvement is impractical, unscaleable and theoretically problematic. Two important escape routes from the semi-automatic trap are pointed out, involving more emphasis on automatic graph construction from primitive data, and empnasis on automatic interpretation of conceptual graphs. Practical methods for both are suggested as ways forward for the community.
Preview
Unable to display preview. Download preview PDF.
References
Brachman, J. et.al. Krypton: A Functional Approach to Knowledge Representation. IEEE Computer, 1983, 16, 10, 67–74.
Buchler, J. Charles Peirce's Empiricism. New York: Harcourt, Brace & Co., 1939.
Burk, A.W. The Collected Papers of Charles Sanders Peirce. Vol. 5.
Ellis, G. Object-oriented Conceptual Graphs. In G. Ellis, R. Levinson, W. Rich and J.F. Sowa (Eds.) Conceptual Structures: Applications, Implementation and Theory. Lecture Notes in AI 954, Springer-Verlag, Berlin, 1995, 114–157.
Hewitt, C, et. al. Knowledge Embedding in the Description System Omega. Proceedings of the First National Conference on Artificial Intelligence, Stanford, CA, 1980, 157–164.
Hiebert, J. Conceptual and Procedural Knowledge in Mathematics: An Introductory Analysis. In J. Hiebert (Ed.) Conceptual and Procedural Knowledge: The Case of Mathematics. Hillsdale, NJ: Lawrence Earlbaum Assoc., 1986, pp. 1–27.
Lacroix, G. Technical Domination and Techniques of Domination in the New Bureacratic Processes. In L. Yngstrom, et. al. (Eds.) Can Information Technology Result in Benevolent Bureacracies? The Netherlands: Elsevier Science Publishing Co., 1985, 173–178.
Lenat, D. et. al. CYC: Towards Programs with Common Sense. Communications of the ACM, 1990, 33, 30–49.
McCarthy, J. Recursive Functions of Symbolic Expressions and their Computation by Machine, Part 1. Communications of the ACM, 1960, 3, 4.
Mann, G.A. Control of a Navigating Rational Agent by Natural Language. PhD thesis, University of New South Wales, 1996.
Munday, C, Sobora, F. & Lukose, D. UNE-CG-KEE: Next Generation Knowledge Engineering Environment. Proceedings of the 1 st Australian Knowledge Structures Workshop. Armidale, Australia, 1994, 103–117.
Nebel, B. & von Luck, K. Hybrid Reasoning in BACK. In Z.W. Ras and L. Saitta (Eds.) Methodologies for Intelligent Systems, Vol.3. North-Holland, Amsterdam, The Netherlands, 1988.
Rochowiak, D. A Pragmatic Understanding of “Knowing That” and “Knowing How”: The Pivotal Role of Conceptual Structures. In D. Lukose, H. Delugach, M. Keeler, L. Searle & J.F. Sowa (Eds.) Conceptual Structures: Fulfilling Peirce's Dream. Lecture Notes in AI 1257, Springer-Verlag, Berlin, 1997, 25–40.
J.F. Sowa: Conceptual structures. Menlo Park, California: Addison-Wesley Publishing Company, 1984.
Sowa, J.F. Conceptual Graph Summary. In T.E. Nagle et. al. (Eds.), Conceptual Structures: Current Research and Practice. Chichester: Ellis Horwood, 1992, 339–348.
Sowa, J.F. Logical Foudations for Representing Object-Oriented Systems. Journal of Theoretical and Experimental Artificial Intelligence, 1993, 5.
von Neumann, J. The Computer & the Brain. New York: Yale University Press, 1958.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mann, G.A. (1998). Procedural renunciation and the semi-automatic trap. 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/BFb0054924
Download citation
DOI: https://doi.org/10.1007/BFb0054924
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