Skip to main content
SpringerLink
Log in

Representation, discourse, logic and truth: Situating knowledge technology

  • Invited Talks
  • Conference paper
  • First Online:
Conceptual Graphs for Knowledge Representation (ICCS 1993)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 699))

Included in the following conference series:

Abstract

The cumulative impact of developments in information technology during the past fifty years is resulting in major qualitative changes in applications of the technology, from information processing to knowledge processing. These changes not only involve new technologies, such as those for knowledge representation and acquisition, but also new social impacts such as the establishment of major scientific communities whose primary mode of discourse is through the internet. The conceptual graphs cg list server is a major example of the effective use of the internet to coordinate the intellectual activities of a widely dispersed research community. The PEIRCE project is an outstanding example of the effective use of the internet to initiate, design and coordinate development of a major software system. This paper examines these activities from a number of different perspectives. It places the cg list server and PEIRCE project in the context of the development of the infrastructure of information technology. It compares the project with other developments in knowledge representation, and the cg list server with related activities. Finally, it looks beyond PEIRCE at what will have been achieved, and what issues will remain to be addressed, once this project, and related ones, have been completed.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. P. Aczel, Non-Well-Founded Sets, Menlo Park, California: CLSI. 1988.

    Google Scholar 

  2. H. Aït-Kaci, A lattice-theoretic approach to computation based on a calculus of partially-ordered types. University of Pennsylvania, Philadelphia. 1984.

    Google Scholar 

  3. H. Aït-Kaci, “An algebraic semantics approach to the effective resolution of type equations,” Theoretical Computer Science, vol. 45, pp. 293–351, 1986.

    Google Scholar 

  4. H. Aït-Kaci, “Solving type equations by graph rewriting,” in Rewriting Techniques and Applications, J.P. Jovannaud, Editor. Springer: Berlin. p. 158–179, 1986.

    Google Scholar 

  5. H. Aït-Kaci, “A glimpse of paradise,” in Next Generation Information Technology, J.W. Schmidt and A.A. Stogny, Editor. Springer: Berlin. p. 17–25, 1991.

    Google Scholar 

  6. H. Aït-Kaci, “An overview of LIFE,” in Next Generation Information Technology, J.W. Schmidt and A.A. Stogny, Editor. Springer: Berlin. p. 42–58, 1991.

    Google Scholar 

  7. H. Aït-Kaci, R. Boyer, P. Lincoln, and R. Nasr, “Efficient implementation of lattice operations,” ACM Transactions Programming Languages Systems, vol. 11, no. 1 pp. 115–146, 1989.

    Google Scholar 

  8. H. Aït-Kaci and R. Nasr, “LOGIN: A logic programming language with built-in inheritance,” Journal of Logic Programming, vol. 3, no. 3 pp. 185–215, 1986.

    Google Scholar 

  9. H. Aït-Kaci and A. Podelski, Towards a meaning of LIFE. Paris Research Laboratory, Digital Equipment Corporation. pp. 1–42, 1991.

    Google Scholar 

  10. A. Anderson, “Networks for thinking in cliques?,” Science, vol. 253, no. 5019 pp. 506, 1991.

    Google Scholar 

  11. R.U. Ayres, “Envelope curve forecasting,” in Technological Forecasting for Industry and Government: Methods and Applications. Prentice-Hall: Englewood-Cliffs, New Jersey. p. 77–94, 1968.

    Google Scholar 

  12. F. Baader and B. Hollunder, “KRIS: Knowledge representation and inference system,” ACM SIGART Bulletin, vol. 2, no. 3 pp. 8–14, 1991.

    Google Scholar 

  13. F. Baader, B. Hollunder, B. Nebel, and E. Franconi, “An empirical analysis of optimization techniques for terminological representation systems or: Making KRIS get a move on,” in Proceedings of KR'92: Third International Conference on Principles of Knowledge Representation and Reasoning. Morgan Kauffman: San Mateo, California, p. 270–281, 1992.

    Google Scholar 

  14. C.W. Bailey, “Electronic (online) publishing in action: the Public-Access Computer Systems Review and other electronic serials,” ONLINE, vol. 15, no. 1 pp. 28–25, 1991.

    Google Scholar 

  15. F. Bancilhon, C. Delobel, and P. Kanellakis, ed. Building an Object-Oriented Database System: The Story of 02. Morgan Kaufmann: San Mateo. 1992.

    Google Scholar 

  16. F. Bancilhon and S. Khoshafian, “A calculus for complex objects,” Journal Computer System Sciences, vol. 38, no. 2 pp. 326–340, 1989.

    Google Scholar 

  17. J. Barwise and J. Etchemendy, “Valid inference and visual representation,” in Visualization in Mathematics, Zimmerman and Cunningham, Editor. American Mathematical Association: 1990.

    Google Scholar 

  18. J. Barwise and J. Perry, Situations and Attitudes, Cambridge, Massachusetts: MIT Press. 1983.

    Google Scholar 

  19. W. Bechtel and A. Abrahamsen, Connectionism and the Mind, Cambridge, Massachusetts: Blackwell. 1991.

    Google Scholar 

  20. I.D. Benest, “A hypertext system with controlled hype,” in Hypertext: State of the Art, R. McAleese and C. Green, Editor. Intellect: Oxford, UK. p. 52–63, 1990.

    Google Scholar 

  21. J.D. Bernal, The Social Function of Science, London: Routledge. 1939.

    Google Scholar 

  22. N. Borenstein and N. Freed, MIME (Multipurpose Internet Mail Extensions): Mechanisms for specifying and describing the format of internet message bodies. Internet. 1992.

    Google Scholar 

  23. A. Borgida, R.J. Brachman, D.L. McGuiness, and L.A. Resnick, “CLASSIC: a structural data model for objects,” in Proceedings of 1989 SIGMOD Conference on the Management of Data. ACM Press: New York. p. 58–67, 1989.

    Google Scholar 

  24. R.S. Boyer and J.S. Moore, A Computational Logic, New York: Academic Press. 1979.

    Google Scholar 

  25. R.S. Boyer and J.S. Moore, A Computational Logic Handbook, Boston: Academic Press. 1988.

    Google Scholar 

  26. R.J. Brachman, “What's in a concept: structural foundations for semantic nets,” International Journal of Man-Machine Studies, vol. 9, pp. 127–152, 1977.

    Google Scholar 

  27. R.J. Brachman, V.P. Gilbert, and H.J. Levesque, “An essential hybrid reasoning system: knowledge and symbol level accounts of KRYPTON,” in Proceedings of IJCAI85. Morgan Kauffman: San Mateo, California. p. 547–551, 1985.

    Google Scholar 

  28. R.J. Brachman and H.J. Levesque, “The tractability of subsumption in frame-based description languages,” in Proceedings of AAAI-84. Morgan Kauffman: San Mateo, California. p. 34–37, 1984.

    Google Scholar 

  29. R.J. Brachman and J. Schmolze, “An overview of the KL-ONE knowledge representation system,” Cognitive Science, vol. 9, no. 2 pp. 171–216, 1985.

    Google Scholar 

  30. J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, and L.J. Hwang, “Symbolic model checking: 10 to the power of 20 states and beyond,” in Proceedings of Logic in Computer Science. IEEE: New York. p. 428–439, 1990.

    Google Scholar 

  31. V. Bush, “As we may think,” Atlantic Monthly, vol. 176, pp. 101–108, 1945.

    Google Scholar 

  32. L. Cardelli, “A semantics of multiple inheritance,” in Semantics of Data Types, G. Kahn, D.B. MacQueen, and G. Plotkin, Editor. Springer: Berlin. p. 51–67, 1984.

    Google Scholar 

  33. T. Catlin, P. Bush, and N. Yankelovich, “InterNote: Extending a hypermedia framework to support annotative collaboration,” in Hypertext'89 Proceedings. Association for Computing Machinery: New York. p. 365–378, 1989.

    Google Scholar 

  34. S. Ceri, G. Gottlob, and L. Tanca, Logic Programming and Databases, Berlin: Springer. 1990.

    Google Scholar 

  35. P.M. Churchland, A Neurocomputational Perspective: The Nature of Mind and the Structure of Science, Cambridge, Massachusetts: MIT Press. 1989.

    Google Scholar 

  36. J.F. Claerbout, Earth Soundings Analysis: Processing versus Inversion, Cambridge, Massachusetts: Blackwell. 1991.

    Google Scholar 

  37. J.F. Claerbout and J.A. Dellinger, Stanford Exploration Project: SEP-CD-1, Palo Alto, California: Stanford University Press. 1991.

    Google Scholar 

  38. J.F. Claerbout and J.A. Dellinger, Earth Soundings Analysis—Processing versus Inversion, Palo Alto, California: Stanford University Press. 1991.

    Google Scholar 

  39. J.F. Claerbout and J.A. Dellinger, Anisotropic Seismic Wave Propagation, Palo Alto, California: Stanford University Press. 1991.

    Google Scholar 

  40. J.F. Claerbout and J.A. Dellinger, Progress Reports SEP-72 and SEP-70, Palo Alto, California: Stanford University Press. 1991.

    Google Scholar 

  41. W.J. Clancey, “From GUIDON to NEOMYCIN and HERACLES in twenty short lessons,” in Current Issues in Expert Systems, A.V. Lamsweerde and P. Dufour, Editor. Academic Press: London. p. 79–123, 1987.

    Google Scholar 

  42. W.J. Clancey, “Viewing knowledge bases as qualitative models,” IEEE Expert, vol. 4, no. 2 pp. 9–23, 1989.

    Google Scholar 

  43. W.J. Clancey, “The knowledge level reinterpreted: modeling socio-technical systems,” International Journal of Intelligent Systems, vol. 8, no. 1 pp. 33–49, 1992.

    Google Scholar 

  44. D.C. Compton, K. White, and S. DeWine, “Techno-sense: making sense of computer-mediated communication systems,” Journal of Business Communication, vol. 28, no. 1 pp. 23–43, 1991.

    Google Scholar 

  45. G.P. Copeland and S.N. Khoshafian, Identity and versions for complex objects. MCC Technical Report DB-138-86, Austin, Texas: MCC. 1986.

    Google Scholar 

  46. D. Crane, Invisible Colleges: Diffusion of Knowledge in Scientific Communities, Chicago: University of Chicago Press. 1972.

    Google Scholar 

  47. R. Davis, “TEIRESIAS: Applications of meta-level knowledge,” in Knowledge-Based Systems in Artificial Intelligence, R. Davis and D.B. Lenat, Editor. McGraw-Hill: New York. p. 229–461, 1982.

    Google Scholar 

  48. P. Devanbu, P.G. Selfridge, B.W. Ballard, and R.J. Brachman, “A knowledge-based software information system,” in IJCAI'89: Proceedings of the Eleventh International Joint Conference on Artificial Intelligence. Morgan Kaufmann: San Mateo. p. 110–115, 1989.

    Google Scholar 

  49. R. Dionne, E. Mays, and F.J. Oles, “A non-well-founded approach to terminological cycles,” in Proceedings of KR'92: Third International Conference on Principles of Knowledge Representation and Reasoning. Morgan Kauffman: San Mateo, California, p. 761–766, 1992.

    Google Scholar 

  50. B. Dixon, “Science and the information society,” Scholarly Publishing, vol. 20, no. 1 pp. 3–12, 1988.

    Google Scholar 

  51. F.M. Donini, M. Lenzerini, D. Nardi, and W. Nutt. Tractable concept languages. in IJCAI'91: Proceedings of the Twelfth International Joint Conference on Artificial Intelligence. 1991. Sydney, Australia: Morgan Kaufmann.

    Google Scholar 

  52. J. Doyle and R.S. Patil, “Two theses of knowledge representation: language restrictions, taxonomic classification, and the utility of representation services,” Artificial Intelligence, vol. 48, no. 3 pp. 261–297, 1991.

    Google Scholar 

  53. J.J.V. Dujin, The Long Wave in Economic Life, London: George Allen & Unwin. 1983.

    Google Scholar 

  54. G. Ellis and R. Levinson, ed. Proceedings of the First International Workshop on PEIRCE: A Conceptual Graphs Workbench. ftp.cs.uq.oz.au/pub/TECHREPORTS /department/TR0241.ps.Z: University of Queensland, Australia. 1992.

    Google Scholar 

  55. J.L. Esposito, Evolutionary Metaphysics: The Development of Peirce's Theory of Categories, Athens, Ohio: Ohio University Press. 1980.

    Google Scholar 

  56. D.W. Etherington, A. Borgida, R.J. Brachman, and H. Kautz, “Vivid knowledge and tractable reasoning: preliminary report,” in IJCAI'89: Proceedings of the Eleventh International Joint Conference on Artificial Intelligence. Morgan Kaufmann: San Mateo. p. 1146–1152, 1989.

    Google Scholar 

  57. D.T. Freedman, “The false start of the electrical journal,” in ASIS'87: Proceedings 50th Annual Meeting American Society Information Science. Learned Information: Medford, New Jersey, p. 79–82, 1987.

    Google Scholar 

  58. H.G. Gadamer, Wahrheit und Methode, Tübingen: Mohr. 1972.

    Google Scholar 

  59. B.R. Gaines, “Perspectives on fifth generation computing,” Oxford Surveys in Information Technology, vol. 1, pp. 1–53, 1984.

    Google Scholar 

  60. B.R. Gaines, “Sixth generation computing: a conspectus of the Japanese proposals,” ACM SIGART Newsletter, vol. 95, pp. 39–44, 1986.

    Google Scholar 

  61. B.R. Gaines, “Positive feedback processes underlying the formation of expertise,” IEEE Transactions on Systems, Man & Cybernetics, vol. SMC-18, no. 6 pp. 1016–1020, 1988.

    Google Scholar 

  62. B.R. Gaines, “An ounce of knowledge is worth a ton of data: quantitative studies of the trade-off between expertise and data based on statistically well-founded empirical induction,” in Proceedings of the Sixth International Workshop on Machine Learning. Morgan Kaufmann: San Mateo, California. p. 156–159, 1989.

    Google Scholar 

  63. B.R. Gaines, “Social and cognitive processes in knowledge acquisition,” Knowledge Acquisition, vol. 1, no. 1 pp. 251–280, 1989.

    Google Scholar 

  64. B.R. Gaines, “Intelligent systems as a stage in the evolution of information technology,” in Intelligent Systems: State of the Art and Future Directions, Z.W. Ras and M. Zemankova, Editor. Ellis Horwood: Chichester, UK. 1990.

    Google Scholar 

  65. B.R. Gaines, “Knowledge support systems,” Knowledge-Based Systems, vol. 3, no. 3 pp. 192–203, 1990.

    Google Scholar 

  66. B.R. Gaines, “Between neuron, culture and logic: explicating the cognitive nexus,” ICO: Intelligence Artificielle et Sciences Cognitives au Québec, vol. 3, no. 2 pp. 47–61, 1991.

    Google Scholar 

  67. B.R. Gaines, “Empirical investigations of knowledge representation servers: Design issues and applications experience with KRS,” ACM SIGART Bulletin, vol. 2, no. 3 pp. 45–56, 1991.

    Google Scholar 

  68. B.R. Gaines, “Knowledge representation servers: a generic technology for knowledge acquisition and knowledge-based systems,” in Knowledge Acquisition for Knowledge-Based Systems, H. Motoda, R. Mizoguchi, J. Boose, and B. Gaines, Editor. Ohmsha: Tokyo, p. 413–430, 1991.

    Google Scholar 

  69. B.R. Gaines, “Modeling and forecasting the information sciences,” Information Sciences, vol. 57–58, pp. 3–22, 1991.

    Google Scholar 

  70. B.R. Gaines, “The tradeoff between knowledge and data in data acquisition,” in Knowledge Discovery in Databases, G. Piatetsky-Shapiro and W. Frawley, Editor. MIT Press: Cambridge, Massachusetts. p. 491–505, 1991.

    Google Scholar 

  71. B.R. Gaines, “Manufacturing in the knowledge economy,” in Proceedings of ICOOMS'92: International Conference on Object-Oriented Manufacturing. University of Calgary: Calgary. p. 19–36, 1992.

    Google Scholar 

  72. B.R. Gaines, “Social dynamics of scholarly publication,” in AAAI-92 Workshop on Communicating Scientific and Technical Knowledge. AAAI: Menlo Park, California, p. 1–8, 1992.

    Google Scholar 

  73. B.R. Gaines, “An agenda for digital journals: the socio-technical infrastructure of knowledge dissemination,” Journal of Organizational Computing, vol., pp. to appear, 1993.

    Google Scholar 

  74. B.R. Gaines, “A class library implementation of a principled open architecture knowledge representation server with plug-in data types,” in IJCAI'93: Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Morgan Kaufmann: San Mateo, California. p. to appear, 1993.

    Google Scholar 

  75. B.R. Gaines, “Modeling expertise in individuals and organizations,” International Journal of Expert Systems Research and Applications, vol., pp. to appear, 1993.

    Google Scholar 

  76. B.R. Gaines and M.L.G. Shaw, “A learning model for forecasting the future of information technology,” Future Computing Systems, vol. 1, no. 1 pp. 31–69, 1986.

    Google Scholar 

  77. B.R. Gaines and M.L.G. Shaw, “Documents as expert systems,” in Research and Development in Expert Systems IX. Proceedings of British Computer Society Expert Systems Conference, M.A. Bramer and R.W. Milne, Editor. Cambridge University Press: Cambridge, UK. p. 331–349, 1992.

    Google Scholar 

  78. B.R. Gaines and M.L.G. Shaw, “Integrated knowledge acquisition architectures,” Journal for Intelligent Information Systems, vol. 1, no. 1 pp. 9–34, 1992.

    Google Scholar 

  79. B.R. Gaines and M.L.G. Shaw, “Basing knowledge acquisition tools in personal construct psychology,” Knowledge Engineering Review, vol. 8, no. 1 pp. to appear, 1993.

    Google Scholar 

  80. H. Gallaire, J. Minker, and J.M. Nicolas, “Logic and databases: a deductive approach,” ACM Computing Surveys, vol. 16, no. 2 pp. 153–185, 1984.

    Google Scholar 

  81. M.R. Genesereth and R.E. Fikes, Knowledge Interchange Format, Version 3.0 Reference Manual. Computer Science Department, Stanford University. 1992.

    Google Scholar 

  82. M.J.C. Gordon, “HOL: A proof generating system for higher-order logic,” in VLSI Specification, Verification and Synthesis, G. Birtwistle and P.A. Subrahmanyam, Editor. Kluwer: Dordrecht. p. 73–128, 1988.

    Google Scholar 

  83. S.J. Gould, Wonderful Life: The Burgess Shale and the Nature of History, New York: Norton. 1989.

    Google Scholar 

  84. T.R. Gruber, “A translation approach to portable ontology specifications,” Knowledge Acquisition, vol., pp. to appear, 1993.

    Google Scholar 

  85. J.Y. Halpern and M.Y. Vardi, “Model checking vs. theorem proving: a manifesto,” in Artificial Intelligence and the Mathematical Theory of Computation: papers in Honor of John McCarthy, V. Lifschitz, Editor. Academic Press: New York. p. 151–176, 1991.

    Google Scholar 

  86. J. Heinsohn, D. Kudenko, B. Nebel, and H.J. Profitlich, “An empirical analysis of terminological representation systems,” in Proceedings of the Tenth National Conference of the American Association for Artificial Intelligence. MIT Press: San Jose. p. 767–773, 1992.

    Google Scholar 

  87. T. Hendley, CD-ROM and Optical Publishing Systems, Westport, Connecticut: Meckler. 1987.

    Google Scholar 

  88. O. Herzog and C.R. Rolllinger, ed. Text Understanding in LILOG. Vol. LNCS-546. Springer: Berlin. 1991.

    Google Scholar 

  89. S.R. Hiltz, Online Communities: A Case Study of the Office of the Future, Norwood, New Jersey: Ablex. 1984.

    Google Scholar 

  90. R. Hull and R. King, “Semantic database modeling: survey, applications and research issues,” ACM Computing Surveys, vol. 19, no. 3 pp. 201–260, 1987.

    Google Scholar 

  91. E. Jantsch, The Self-Organizing Universe, Oxford: Pergamon Press. 1980.

    Google Scholar 

  92. R. Kowalski, Logic for Problem Solving, North Holland: New York. 1979.

    Google Scholar 

  93. S. Lambert and S. Ropiequet, ed. CD ROM: The New Papyrus. Microsoft Press: Redmond, Washington. 1986.

    Google Scholar 

  94. E.W. Lancaster, Toward Paperless Information Systems, New York: Academic Press. 1978.

    Google Scholar 

  95. D. Leishman, “Analogy as constrained partial correspondence over conceptual graphs,” in Proceedings of KR'89: First International Conference on Principles of Knowledge Representation and Reasoning. Morgan Kauffman: San Mateo, California. p. 223–234, 1989.

    Google Scholar 

  96. M. Lenzerini and A. Schaerf, “Concept languages as query languages,” in AAAI'91: Proceedings of the Ninth National Conference on Artificial Intelligence. AAAI Press/MIT Press: Menlo Park, California. p. 471–476, 1991.

    Google Scholar 

  97. R. Levinson and G. Ellis, “Multilevel hierarchical retrieval,” Knowledge-Based Systems, vol. 5, no. 3 pp. 233–244, 1992.

    Google Scholar 

  98. H.T. Liaw and C.S. Ling, “On the OBDD-representation of general boolean functions,” IEEE Transactions on Computers, vol. 41, no. 6 pp. 661–664, 1992.

    Google Scholar 

  99. R.M. MacGregor, “A deductive pattern matcher,” in Proceedings of AAAI88. Morgan Kaufmann: San Mateo, California. p. 403–408, 1988.

    Google Scholar 

  100. P. Maes, ed. Designing Autonomous Agents. MIT Press: Cambridge, Massachusetts. 1990.

    Google Scholar 

  101. C. Malamud, Exploring the Internet, Englewood Cliffs, New Jersey: Prentice-Hall. 1992.

    Google Scholar 

  102. C. Marchetti, “Society as a learning system: discovery, invention and innovation cycles revisited,” Technological Forecasting & Social Change, vol. 18, pp. 267–282, 1980.

    Google Scholar 

  103. H.R. Maturana, “The organization of the living: A theory of the living organization,” International Journal Man-Machine Studies, vol. 7, no. 3 pp. 313–332, 1975.

    Google Scholar 

  104. W.W. McCune, OTTER 2.0 Users Guide, Argonne, Illinois: Argonne National Laboratory. 1990.

    Google Scholar 

  105. G. Mensch, Stalemate in Technology: Innovations Overcome the Depression, Cambridge, Massachusetts: Ballinger. 1975.

    Google Scholar 

  106. R.K. Merton, “Priorities in scientific discovery,” American Sosciological Review, vol. 22, no. 6 pp. 635–659, 1957.

    Google Scholar 

  107. M.D. Mey, The Cognitive Paradigm, Dordrecht, Holland: Reidel. 1982.

    Google Scholar 

  108. J. Minker, ed. Foundations of Deductive Databases and Logic Programming. Morgan-Kaufman: San Mateo, California. 1988.

    Google Scholar 

  109. M. Minsky, “A framework for representing knowledge,” in The Psychology of Computer Vision, P.H. Winston, Editor. Simon and Schuster: New York. p. 211–280, 1975.

    Google Scholar 

  110. J. Monod, Chance and Necessity, London: Collins. 1972.

    Google Scholar 

  111. T. Moto-oka, ed. Fifth Generation Computer Systems. North-Holland: Amsterdam. 1982.

    Google Scholar 

  112. B. Nebel, “Computational complexity of terminological reasoning in BACK,” Artificial Intelligence, vol. 34, pp. 371–383, 1988.

    Google Scholar 

  113. B. Nebel, Reasoning and Revision in Hybrid Representation Systems, Vol. LNCS-422. Berlin: Springer. 1990.

    Google Scholar 

  114. B. Nebel and G. Smolka, “Representation and reasoning with attributive descriptions,” in Sorts and Types in Artificial Intelligence, K.H. BlÄsius, U. Hedstück, and C.-R. Rollinger, Editor. Springer: Berlin. p. 112–139, 1990.

    Google Scholar 

  115. R. Neches, R. Fikes, T. Finin, T. Gruber, R. Patil, T. Senator, and W.R. Swartout, “Enabling technology for knowledge sharing,” AI Magazine, vol. 12, no. 3 pp. 36–56, 1991.

    Google Scholar 

  116. J.T. Nosek and I. Roth, “A comparison of formal knowledge representations as communication tools: predicate logic vs semantic network,” International Journal of Man-Machine Studies, vol. 33, no. 227–239, 1990.

    Google Scholar 

  117. P. Oakeshott, “The ‘BLEND’ experiment in electronic publishing,” Scholarly Publishing, vol. 17, no. 1 pp. 25–36, 1985.

    Google Scholar 

  118. A. Ohori, “Semantics of types for database objects,” Theoretical Computer Science, vol. 76, no. 1 pp. 53–91, 1990.

    Google Scholar 

  119. M. Palaniappan and G. Fitzmaurice, “InternetExpress: an inter-desktop multimedia data-transfer service,” IEEE Computer, vol. 24, no. 10 pp. 58–67, 1991.

    Google Scholar 

  120. J. Palca, “New journal will publish without paper,” Science, vol. 253, no. 5027 pp. 1480, 1991.

    Google Scholar 

  121. P.F. Patel-Schneider, Description Logic Specification from the KRSS Effort. The DARPA Knowledge Sharing Initiative Knowledge Representation Working Group. 1992.

    Google Scholar 

  122. L.C. Paulson, “Isabelle: The next 700 theorem provers,” in Logic and Computer Science, P. Odifreddi, Editor. Academic Press: New York. p. 361–386, 1990.

    Google Scholar 

  123. C.S. Peirce, Reasoning and the Logic of Things, Cambridge, Massachusetts: Harvard University Press. 1898.

    Google Scholar 

  124. R.L. Philips, “MediaView: a general multimedia digital publication system,” Communications of the ACM, vol. 34, no. 7 pp. 75–83, 1991.

    Google Scholar 

  125. W.T. Powers, Behavior: The Control of Perception, New York: Aldine. 1973.

    Google Scholar 

  126. I. Prigogine, Order out of Chaos, Toronto: Bantam. 1984.

    Google Scholar 

  127. J.S. Quarterman, The Matrix: Computer Networks and Conferencing Systems Worldwide, Reading, Massachusetts: Digital Press. 1990.

    Google Scholar 

  128. M.R. Quillian, “Semantic memory,” in Semantic Information Processing, M. Minsky, Editor. MIT Press: Cambridge, Massachusetts, p. 216–270, 1968.

    Google Scholar 

  129. R. Ramakrishnan, D. Srivastava, and S. Sudarshan, “CORAL—Control, relations and logic,” in Proceedings of the 18th Very Large Database Conference. Morgan Kaufmann: San Mateo. 1992.

    Google Scholar 

  130. N. Rescher, Peirce's Philosophy of Science, Notre Dame, Indiana: University of Notre Dame Press. 1978.

    Google Scholar 

  131. D.D. Roberts, The Existential Graphs of Charles S. Peirce, The Hague: Mouton. 1973.

    Google Scholar 

  132. H. Rosenbaum and G.B. Newby, “An emerging form of human communication: computer networking,” in ASIS'90: Proceedings 53rd Annual Meeting American Society Information Science. Learned Information: Medford, New Jersey, p. 300–325, 1990.

    Google Scholar 

  133. J. Rosenberg, M. Sherman, A. Marks, and J. Akkerhuis, Multi-media Document Translation: ODA and the EXPRES Project, New York: Springer. 1991.

    Google Scholar 

  134. J. Savoy, “The electronic book Ebook3,” International Journal Man-Machine Studies, vol. 30, pp. 505–523, 1989.

    Google Scholar 

  135. M. Schmidt-Schau\, “Subsumption in KL-ONE is undecidable,” in Proceedings of KR'89: First International Conference on Principles of Knowledge Representation and Reasoning. Morgan Kauffman: San Mateo, California. p. 421–431, 1989.

    Google Scholar 

  136. J.W. Senders, “An on-line scientific journal,” The Information Scientist, vol. 11, pp. 3–9, 1977.

    Google Scholar 

  137. N. Sharif, “An introduction to modeling,” in Systems Modeling for Decision Making, N. Sharif and P. Adulbhan, Editor. Asian Institute of Technology (distributed by Pergamon Press): Bangkok. p. 1–21, 1978.

    Google Scholar 

  138. M.L.G. Shaw and B.R. Gaines, “A methodology for recognizing conflict, correspondence, consensus and contrast in a knowledge acquisition system,” Knowledge Acquisition, vol. 1, no. 4 pp. 341–363, 1989.

    Google Scholar 

  139. T. Sheridan, J. Senders, N. Moray, J. Stoklosa, J. Guillaume, and D. Makepeace, Experimentation with a multi-disciplinary teleconference and electronic journal on mental workload. Massachusetts Institute of Technology, pp. 1–329, 1981.

    Google Scholar 

  140. E.H. Shortliffe, Computer-Based Medical Consultations: MYCIN, New York: Elsevier. 1976.

    Google Scholar 

  141. G. Smolka, Residuation and guarded rules for constraint logic programming. Paris Research Laboratory, Digital Equipment Corporation. pp. 1–14, 1991.

    Google Scholar 

  142. G. Smolka and H. Aït-Kaci, “Inheritance hierarchies: semantics and unification,” Journal Symbolic Computation, vol. 7, pp. 343–370, 1989.

    Google Scholar 

  143. J.F. Sowa, Conceptual Structures: Information Processing in Mind and Machine, Reading, Massachusetts: Adison-Wesley. 1984.

    Google Scholar 

  144. STA, Promotion of R&D on Electronics and Information Systems That May Complement or Substitute for Human Intelligence, Tokyo: Science and Technology Agency. 1985.

    Google Scholar 

  145. P. Stoneman, The Economic Analysis of Technological Change, Oxford: Oxford University Press. 1983.

    Google Scholar 

  146. R. Studer, ed. Natural Language and Logic. Vol. LNCS-459. Springer: Berlin. 1990.

    Google Scholar 

  147. G. Taubes, “Publication by electronic mail takes physics by storm,” Science, vol. 259, pp. 1246–1248, 1993.

    Google Scholar 

  148. A. Touraine, La Sociologie de l'Action, Paris: éditions du Seiul. 1965.

    Google Scholar 

  149. M. Walter, “Scholarly journals: case studies of SGML for electronic publishing,” Seybold Report on Publishing Systems, vol. 21, no. 18 pp. 3–20, 1992.

    Google Scholar 

  150. C. Walther, “A mechanical solution of Schubert's steamroller by many-sorted resolution,” in Proceedings of AAAI-84. Morgan Kauffman: San Mateo, California. p. 330–334, 1984.

    Google Scholar 

  151. H.G. Wells, World Brain, New York: Doubleday. 1938.

    Google Scholar 

  152. S.A. Weyer and A.H. Borning, “A prototype electronic encyclopedia,” ACM Transactions Office Information Systems, vol. 3, pp. 63–88, 1985.

    Google Scholar 

  153. W.A. Woods, “What's in a link: Foundations for semantic networks,” in Representation and Understanding: Studies in Cognitive Science, D.G. Bobrow and A.M. Collins, Editor. Academic Press: New York. p. 35–82, 1975.

    Google Scholar 

  154. N. Yankelovich, N. Meyrowitz, and A. van Dam, “Reading and writing the electronic book,” Computer, vol. 18, no. 10 pp. 15–30, 1985.

    Google Scholar 

  155. E.N. Zalta, Intensional Logic and the Metaphysics of Intentionality, Cambridge, Massachusetts: MIT Press. 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Knowledge Science Institute, University of Calgary, T2N 1N4, Calgary, Alberta, Canada

    Brian R Gaines

Authors
  1. Brian R Gaines
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Guy W. Mineau Bernard Moulin John F. Sowa

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gaines, B.R. (1993). Representation, discourse, logic and truth: Situating knowledge technology. In: Mineau, G.W., Moulin, B., Sowa, J.F. (eds) Conceptual Graphs for Knowledge Representation. ICCS 1993. Lecture Notes in Computer Science, vol 699. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56979-0_2

Download citation

  • DOI: https://doi.org/10.1007/3-540-56979-0_2

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56979-4

  • Online ISBN: 978-3-540-47848-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation