ERNEST: A Semantic Network System for Pattern Understanding

The authors give a detailed account of a system environment for treating general problems of image and speech understanding. A framework for representing declarative and procedural knowledge based on a suitable definition of a semantic network is provided. The syntax and semantics of the network are clearly defined. The pragmatics of the network in its use for pattern understanding are defined by several rules which are problem-independent. This allows one to formulate problem-independent control algorithms. Complete software environments are available to handle the described structures. The general applicability of the network system is demonstrated by short descriptions of three applications from different task domains. >

[1]  Carl Hewitt,et al.  PLANNER: A Language for Proving Theorems in Robots , 1969, IJCAI.

[2]  Zohar Manna,et al.  Introduction to mathematical theory of computation , 1972 .

[3]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[4]  Nils J. Nilsson,et al.  Artificial Intelligence , 1974, IFIP Congress.

[5]  Robert A. Kowalski,et al.  Predicate Logic as Programming Language , 1974, IFIP Congress.

[6]  William A. Woods,et al.  What's in a Link: Foundations for Semantic Networks , 1975 .

[7]  Marvin Minsky,et al.  A framework for representing knowledge" in the psychology of computer vision , 1975 .

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

[9]  Masahiko Yachida,et al.  A Versatile Machine Vision System for Complex Industrial Parts , 1977, IEEE Transactions on Computers.

[10]  Carl Hewitt,et al.  Viewing Control Structures as Patterns of Passing Messages , 1977, Artif. Intell..

[11]  Ulf Grenander,et al.  Pattern analysis , 1978, Lectures in pattern theory / U. Grenander.

[12]  Allen R. Hanson,et al.  Computer Vision Systems , 1978 .

[13]  Drew McDermott,et al.  The Last Survey of Representation of Knowledge , 1978, AISB/GI.

[14]  Ronald J. Brachman,et al.  ON THE EPISTEMOLOGICAL STATUS OF SEMANTIC NETWORKS , 1979 .

[15]  H. Levesque,et al.  A PROCEDURAL SEMANTICS FOR SEMANTIC NETWORKS , 1979 .

[16]  Wayne A. Lea,et al.  Trends in Speech Recognition , 1980 .

[17]  John K. Tsotsos,et al.  A framework for visual motion understanding , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[18]  Makoto Nagao,et al.  A Structural Analysis of Complex Aerial Photographs , 1980, Advanced Applications in Pattern Recognition.

[19]  P. Hayes.  The Logic of Frames , 1981 .

[20]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[21]  Nils J. Nilsson,et al.  Principles of Artificial Intelligence , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[22]  Rodney A. Brooks,et al.  Symbolic Reasoning Among 3-D Models and 2-D Images , 1981, Artif. Intell..

[23]  Hector J. Levesque,et al.  An overview of Knowledge Representation , 1983, On Conceptual Modelling.

[24]  Frederick Hayes-Roth,et al.  Building expert systems , 1983, Advanced book program.

[25]  W. A. Perkins.  INSPECTOR: A Computer Vision System that Learns to Inspect Parts , 1983, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[26]  Renato De Mori,et al.  Computer Models of Speech Using Fuzzy Algorithms , 1983, Advanced Applications in Pattern Recognition.

[27]  Martin D. Levine,et al.  Low Level Image Segmentation: An Expert System , 1984, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[28]  Henri Prade,et al.  A Computational Approach to Approximate and Plausible Reasoning with Applications to Expert Systems , 1985, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[29]  坂内 広蔵,et al.  Michael L.Brodie, John Mylopoulos and Joachim W.Schmidt (Eds) 著, "On Conceptual Modelling", Perspectives from Artificial Intelligence, Databases and Programming Languages Springer-Verlag, 510p., $30.00 , 1985 .

[30]  Heinrich Niemann,et al.  A Knowledge Based System for Analysis of Gated Blood Pool Studies , 1985, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[31]  Heinrich Niemann,et al.  Semantische Netze als Ansatz zur Repräsentation und Nutzung von Wissen für die automatische Bildanalyse , 1985, Robotersysteme.

[32]  Ronald J. Brachman,et al.  An overview of the KL-ONE Knowledge Representation System , 1985 .

[33]  Gerhard Sagerer,et al.  Darstellung und Nutzung von Expertenwissen für ein Bildanalysesystem , 1985, Informatik-Fachberichte.

[34]  Ching Y. Suen,et al.  New Systems and Architectures for Automatic Speech Recognition and Synthesis , 1987, NATO ASI Series.

[35]  Heinrich Niemann,et al.  Representation of a continuous speech understanding and dialog system in a homogeneous semantic net achitecture , 1986, ICASSP '86. IEEE International Conference on Acoustics, Speech, and Signal Processing.

[36]  Heinrich Niemann,et al.  Künstliche Intelligenz in Bild- und Sprachanalyse , 1987, Leitfäden und Monographien der Informatik.

[37]  Yoshiaki Shirai,et al.  Three-Dimensional Computer Vision , 1987, Symbolic Computation.

[38]  Gerhard Sagerer,et al.  Werkzeuge zur modellgesteuerten Bildanalyse und Wissensakquisition: das Sytem ERNEST , 1987 .

[39]  P. Regel,et al.  The speech understanding and dialog system EVAR , 1987 .

[40]  Heinrich Niemann,et al.  Werkzeuge zur modellgesteuerten Bildanalyse und Wissensakquisition , 1987, GI Jahrestagung.

[41]  Lokendra Shastri,et al.  Semantic Networks: An Evidential Formalization and Its Connectionist Realization , 1988 .

[42]  Wolfgang Eichhorn.  Eine aktive hierarchische Wissensstruktur für die Musteranalyse , 1988 .

[43]  Ute Ehrlich,et al.  A Knowledge Based speech Understanding System , 1988, Int. J. Pattern Recognit. Artif. Intell..

[44]  Heinrich Niemann,et al.  Control Strategies in a Hierarchical Knowledge Structure , 1988, Int. J. Pattern Recognit. Artif. Intell..

[45]  Victor Lesser,et al.  The hearsay-II speech understanding system: a tutorial , 1990 .

[46]  Ryszard S. Michalski,et al.  Machine learning: an artificial intelligence approach volume III , 1990 .

[47]  John McCarthy,et al.  Mathematical Theory of Computation , 1991 .