IBM Skip to main content
  Home     Products & services     Support & downloads     My account  
  Select a country  
Journals Home  
  Systems Journal  
  ·  Current Issue  
  ·  Recent Issues  
  ·  Papers in Progress  
  ·  Search/Index  
  ·  Orders  
  ·  Description  
  ·  Author's Guide  
Journal of Research
and Development
  Staff  
  Contact Us  
  Related link:  
     IBM Research: AI  
IBM Systems Journal  
Volume 41, Number 3, 2002
Artificial Intelligence
 Table of contents: arrowHTML arrowPDF arrowASCII   This article: arrowHTML arrowPDF arrowASCII arrowCopyright info
   

Architectures for intelligent systems - References

by J. F. Sowa

Cited references and notes

  1. T. Winograd and F. Flores, Understanding Computers and Cognition, Ablex, Norwood, NJ (1986).
  2. R. Penrose, The Emperor's New Mind, Oxford University Press, Oxford (1989).
  3. H. L. Dreyfus, What Computers Still Can't Do: A Critique of Artificial Reason, MIT Press, Cambridge, MA (1992).
  4. J. McCarthy, “Elephant 2000: A Programming Language Based on Speech Acts,” http://www-formal.stanford.edu/jmc/elephant.html.
  5. J. L. Austin, How to Do Things with Words, Second Edition, J. O. Urmson and M. Sbisá, Editors, Harvard University Press, Cambridge, MA (1975).
  6. J. R. Searle, Speech Acts: An Essay in the Philosophy of Language, Cambridge University Press, Cambridge, MA (1969).
  7. N. Carriero and D. Gelernter, How to Write Parallel Programs, MIT Press, Cambridge, MA (1992).
  8. N. E. Fuchs, U. Schwertel, and R. Schwitter, “Attempto Controlled English—Not Just Another Logic Specification Language,” Proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR'98), Manchester, UK, June 1998, Lecture Notes in Computer Science, Vol. 1559, Springer-Verlag, New York (1998).
  9. Dissertation, Institut für Informatik, Universität Zürich (1998), http://www.ifi.unizh.ch/groups/CL/schwitter/DissBook.ps.
  10. G. Frege, Begriffsschrift, English translation in J. van Heijenoort, Editor, From Frege to Gödel, Harvard University Press, Cambridge, MA (1967), pp. 1–82.
  11. C. S. Peirce, “On the Algebra of Logic,” American Journal of Mathematics 3, 15–57 (1880).
  12. C. S. Peirce, “On the Algebra of Logic,” American Journal of Mathematics 7, 180–202 (1885).
  13. G. Peano, Aritmetices principia nova methoda exposita, Bocca, Torino (1889).
  14. J. F. Sowa, “Relating Templates to Language and Logic,” Information Extraction: Towards Scalable, Adaptable Systems, M. T. Pazienza, Editor, Lecture Notes in Artificial Intelligence, Vol. 1714, Springer-Verlag, Berlin (1999), pp. 76–94.
  15. D. Skuce and T. Lethbridge, “CODE4: A Unified System for Managing Conceptual Knowledge,” International Journal of Human-Computer Studies 42, 413–451 (1995).
  16. D. Skuce, “Intelligent Knowledge Management: Integrating Documents, Knowledge Bases, and Linguistic Knowledge,” Proceedings of the Eleventh Workshop on Knowledge Acquisition, Modeling and Management (KAW'98), Banff, Alberta, Canada, April 1998, http://ksi.cpsc.ucalgary.ca/KAW/KAW98/KAW98Proc.html.
  17. D. Skuce, “Integrating Web-Based Documents, Shared Knowledge Bases, and Information Retrieval for User Help,” Computational Intelligence 16, No. 1, 95–113 (2000).
  18. A.-M. Rassinoux, Extraction et Représentation de la Connaissance tirée de Textes Médicaux, Éditions Systèmes et Information, Geneva (1994).
  19. A.-M. Rassinoux, R. H. Baud, C. Lovis, J. C. Wagner, and J.-R. Scherrer, “Tuning up Conceptual Graph Representation for Multilingual Natural Language Processing in Medicine,” Conceptual Structures: Theory, Tools, and Applications, M.-L. Mugnier and M. Chein, Editors, Lecture Notes in Artificial Intelligence, Vol. 1453, Springer-Verlag, Berlin (1998), pp. 390–397.
  20. W. R. Cyre, S. Balachandar, and A. Thakar, “Knowledge Visualization from Conceptual Structures,” Conceptual Structures: Current Practice, W. F. Tepfenhart, J. Dick, and J. F. Sowa, Editors, Lecture Notes in Artificial Intelligence, Vol. 835, Springer-Verlag, Berlin (1994), pp. 275–292.
  21. W. R. Cyre, “Capture, Integration, and Analysis of Digital System Requirements with Conceptual Graphs,” IEEE Transactions on Knowledge and Data Engineering 9, No. 1, 8–23 (1997).
  22. J. Hess and W. Cyre, “A CG-based Behavior Extraction System,” Conceptual Structures: Standards and Practices, W. Tepfenhart and W. Cyre, Editors, Lecture Notes in Artificial Intelligence, Vol. 1640, Springer-Verlag, Berlin (1999).
  23. O. Gerbé and M. Perron, “Presentation Definition Language Using Conceptual Graphs,” Conceptual Structures: Applications, Implementation, and Theory, G. Ellis, R. A. Levinson, and W. Rich, Editors, Lecture Notes in Artificial Intelligence, Vol. 954, Springer-Verlag, Berlin (1995).
  24. O. Gerbé, B. Guay, and M. Perron, “Using Conceptual Graphs for Methods Modeling,” Conceptual Structures: Knowledge Representation as Interlingua, P. W. Eklund, G. Ellis, and G. Mann, Editors, Lecture Notes in Artificial Intelligence, Vol. 1115, Springer-Verlag, Berlin (1996), pp. 161–174.
  25. O. Gerbé, “Conceptual Graphs for Corporate Knowledge Management,” Conceptual Structures: Fulfilling Peirce's Dream, D. Lukose, H. Delugach, M. Keeler, L. Searle, and J. Sowa, Editors, Lecture Notes in Artificial Intelligence, Vol. 1257, Springer-Verlag, Berlin (1997), pp. 474–488.
  26. O. Gerbé, R. Keller, and G. Mineau, “Conceptual Graphs for Representing Business Processes in Corporate Memories,” Conceptual Structures: Theory, Tools, and Applications, M.-L. Mugnier and M. Chein, Editors, Lecture Notes in Artificial Intelligence, Vol. 1453, Springer-Verlag, Berlin (1998), pp. 401–415.
  27. O. Gerbé and B. Kerhervé, “Modeling and Metamodeling Requirements for Knowledge Management,” Proceedings of OOPSLA'98 Workshops, Vancouver, Canada, October 1998, ACM, New York (1998).
  28. O. Gerbé, Un Modèle uniforme pour la Modélisation et la Métamodélisation d'une Mémoire d'Entreprise, Ph.D. dissertation, Département d'informatique et de recherche opérationelle, Université de Montréal (2000).
  29. J. F. Sowa, “Conceptual Graphs for a Database Interface,” IBM Journal of Research and Development 20, No. 4, 336–357 (1976).
  30. J. F. Sowa, Conceptual Structures: Information Processing in Mind and Machine, Addison-Wesley Publishing Co., Reading, MA (1984).
  31. R. A. Levinson and G. Ellis, “Multi-Level Hierarchical Retrieval,” Knowledge-Based Systems 5, No. 3, 233–244 (1992).
  32. G. Ellis, R. A. Levinson, and P. J. Robinson, “Managing Complex Objects in Peirce,” International Journal of Human-Computer Studies 41, 109–148 (1994).
  33. C. S. Peirce, papers on existential graphs in Collected Papers of C. S. Peirce, C. Hartshorne and P. Weiss, Editors, Harvard University Press, Cambridge, MA, Vol. 4, pp. 320–410 (1897–1906). See also MS 514, available at http://www.jfsowa.com/peirce/ms514.htm.
  34. G. Gentzen, “Untersuchungen über das logische Schließen,” translated as “Investigations into Logical Deduction” in The Collected Papers of Gerhard Gentzen, edited and translated by M. E. Szabo, North-Holland Publishing Co., Amsterdam (1969), pp. 68–131.
  35. J. Esch and R. A. Levinson, “An Implementation Model for Contexts and Negation in Conceptual Graphs,” Conceptual Structures: Applications, Implementation, and Theory, G. Ellis, R. A. Levinson, and W. Rich, Editors, Lecture Notes in Artificial Intelligence, Vol. 954, Springer-Verlag, Berlin (1995), pp. 247–262.
  36. J. Esch and R. A. Levinson, “Propagating Truth and Detecting Contradiction in Conceptual Graph Databases,” Conceptual Structures: Knowledge Representation as Interlingua, P. W. Eklund, G. Ellis, and G. Mann, Editors, Lecture Notes in Artificial Intelligence, Vol. 1115, Springer-Verlag, Berlin (1996), pp. 229–247.
  37. J. Stewart, Theorem Proving Using Existential Graphs, M.S. thesis, Computer and Information Science, University of California at Santa Cruz (1996).
  38. R. A. Levinson, “General Game-Playing and Reinforcement Learning,” Computational Intelligence 12, No. 1, 155–176 (1996).
  39. A. Majumdar, “About VivoMind,” http://www.genumerix.com/rfi/AboutVivoMind.htm.
  40. M. R. Quillian, Semantic Memory, abridged version in M. Minsky, Semantic Information Processing, MIT Press, Cambridge, MA (1966), pp. 227–270.
  41. S. E. Fahlman, NETL: A System for Representing and Using Real-World Knowledge, MIT Press, Cambridge, MA (1979).
  42. J. A. Hendler, Integrating Marker Passing and Problem Solving, Lawrence Erlbaum Associates, Hillsdale, NJ (1987).
  43. H. Kamp, “Events, Discourse Representations, and Temporal References,” Langages 64, 39–64 (1981).
  44. H. Kamp and U. Reyle, From Discourse to Logic, Kluwer, Dordrecht (1993).
  45. J. F. Sowa and E. C. Way, “Implementing a Semantic Interpreter Using Conceptual Graphs,” IBM Journal of Research and Development 30, No. 1, 57–69 (1986).
  46. S. Callaghan, Optimising Comparisons of Complex Objects by Precomputing Their Graph Properties, Ph.D. dissertation, Royal Melbourne Institute of Technology, Melbourne, Australia (2001).
  47. B. J. Peterson, W. A. Andersen, and J. Engel, “Knowledge Bus: Generating Application-Focused Databases from Large Ontologies,” Proceedings of the 5th Knowledge Representation Meets Databases (KRDB) Workshop, Seattle, WA, May 1998. Available from http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-10/.
  48. D. B. Lenat, “Cyc: A Large-Scale Investment in Knowledge Infrastructure,” Communications of the ACM 38, No. 11, 33–38 (1995). For further information, see http://www.cyc.com.
  49. D. B. Lenat and R. V. Guha, Building Large Knowledge-Based Systems, Addison-Wesley Publishing Co., Reading, MA (1990).
  50. J. Engel, Programming for the Java Virtual Machine, Addison-Wesley Publishing Co., Reading, MA (1999).
  51. J. F. Sowa, Knowledge Representation: Logical, Philosophical, and Computational Foundations, Brooks/Cole, Pacific Grove, CA (2000).
  52. M. Minsky, The Society of Mind, Simon & Schuster, New York (1985).