Architectures for intelligent systems

IBM Systems Journal

Volumn 41, Issue 3, 2002, Pages 331-349

  Sowa, John F ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER ARCHITECTURE; COMPUTER SIMULATION; NEURAL NETWORKS; SEARCH ENGINES; STATISTICAL METHODS; THEOREM PROVING;

INTELLIGENT SYSTEMS;

EXPERT SYSTEMS;

EID: 0036991502     PISSN: 00188670     EISSN: None     Source Type: Journal    
DOI: 10.1147/sj.413.0331     Document Type: Article

References (52)

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. R. Schwitter, Kontrolliertes English für Anforderungsspezifikationen, Studentdruckerei, Zurich, http://www.ifi.unizh.ch/̃schwitter/.
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: Informtation 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).