Representation, Discourse, Logic and Truth: Situating Knowledge Technology

作者: Brian R Gaines

DOI: 10.1007/3-540-56979-0_2

关键词: Representation (arts)Information processingThe InternetSoftware systemInformation technology architectureInformation technologyKnowledge representation and reasoningKnowledge managementEmerging technologiesConceptual graphComputer science

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

参考文章(148)
Werner Nutt, Maurizio Lenzerini, Daniele Nardi, Francesco M. Donini, Tractable concept languages international joint conference on artificial intelligence. pp. 458- 463 ,(1991)
Frank J. Oles, Eric Mays, Robert Dionne, A non-well-founded approach to terminological cycles national conference on artificial intelligence. pp. 761- 766 ,(1992)
Brian R. Gaines, Mildred L. Shaw, A learning model for forecasting the future of information technology Future Computing Systems archive. ,vol. 1, pp. 31- 69 ,(1986)
Ronald J. Brachman, Henry Kautz, Alex Borgida, David W. Etherington, Vivid knowledge and tractable reasoning international joint conference on artificial intelligence. pp. 1146- 1152 ,(1989)
Joseph Y. Halpern, Moshe Y. Vardi, Model checking vs. theorem proving: a manifesto Artificial intelligence and mathematical theory of computation. pp. 151- 176 ,(1991) , 10.1016/B978-0-12-450010-5.50015-3
Debbie Leishman, Analogy as a constrained partial correspondence over conceptual graphs principles of knowledge representation and reasoning. pp. 223- 234 ,(1989)
Brian R. Gaines, Mildred L.G. Shaw, BASING KNOWLEDGE ACQUISITION TOOLS IN PERSONAL CONSTRUCT PSYCHOLOGY University of Calgary. ,(1991) , 10.11575/PRISM/30610
Ted E. Senator, Tim Finin, Ramesh S. Patil, Robert Neches, Thomas R. Gruber, Richard Fikes, Swartout: Enabling technology for knowledge sharing Ai Magazine. ,(1991)