Structuring knowledge in a graph

The idea that knowledge is a commodity that can be used by machines in various ways forms the entry to our discussion of knowledge based systems. We will limit ourselves to those systems that are in an active dialogue with their human user. As a consequence, the use and structuring of knowledge in autonomous systems, like robots or visual pattern recognizers, will not be discussed. In general, knowledge-based systems cannot be considered as models of human cognition. Rather, they should provide an extension of the user’s cognitive abilities.

[1]  Edward H. Shortliffe,et al.  Production Rules as a Representation for a Knowledge-Based Consultation Program , 1977, Artif. Intell..

[2]  Benjamin Kuipers,et al.  Commonsense Reasoning about Causality: Deriving Behavior from Structure , 1984, Artif. Intell..

[3]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[4]  Naomi Sager,et al.  Natural Language Information Processing: A Computer Grammar of English and Its Applications , 1980 .

[5]  Zellig S. Harris,et al.  A Grammar of English on Mathematical Principles , 1982 .

[6]  H. Simon,et al.  Models of Discovery : and other topics in the methods of science , 1977 .

[7]  Johann Pfanzagl,et al.  Theory of measurement , 1970 .

[8]  Patrick Henry Winston,et al.  Learning structural descriptions from examples , 1970 .

[9]  Patrick Henry Winston,et al.  The psychology of computer vision , 1976, Pattern Recognit..

[10]  Douglas B. Lenat,et al.  Knowledge-based systems in artificial intelligence , 1981 .

[11]  A. Tversky,et al.  Foundations of Measurement, Vol. I: Additive and Polynomial Representations , 1991 .

[12]  G. Ryle,et al.  心的概念 = The concept of mind , 1962 .

[13]  Ronald J. Brachman,et al.  What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks , 1983, Computer.

[14]  John P. McDermott,et al.  R1: A Rule-Based Configurer of Computer Systems , 1982, Artif. Intell..

[15]  Pieter Frederik de Vries Robbé,et al.  Medische besluitvorming : een aanzet tot formele geneeskunde , 1978 .

[16]  Douglas B. Lenat,et al.  EURISKO: A Program That Learns New Heuristics and Domain Concepts , 1983, Artif. Intell..

[17]  Jaap Van Brakel,et al.  Foundations of measurement , 1983 .

[18]  Terry Winograd,et al.  Extended Inference Modes in Reasoning by Computer Systems , 1990, Artif. Intell..