Enriching a Semantic Network Language by Integrating Qualitative Reasoning Techniques

To interpret sensor signals like images, image sequences, or continuous speech the representation and use of task-specific knowledge is necessary. The paper scetches a framework for the representation and utilization of declarative and procedural knowledge using a suitable definition of a semantic network. To meet the needs of machine-human interaction we extend this framework in two ways. A temporal model similar to Bruce is incorporated and representational structures are integrated to formulate qualitative (relational) knowledge. The problem-independent inference rules are extended to allow for the temporal prediction and the dynamic refinement of this knowledge. Our integration of relational knowledge exemplarily shows how semantic network representations can benefit from developments in qualitative reasoning research.

[1]  Bertram C. Bruce A Model for Temporal References and Its Application in a Question Answering Program , 1972, Artif. Intell..

[2]  Johan de Kleer,et al.  Readings in qualitative reasoning about physical systems , 1990 .

[3]  Daniel Hernández,et al.  Qualitative Representation of Spatial Knowledge , 1994, Lecture Notes in Computer Science.

[4]  Franz Kummert,et al.  An Approach for Qualitatively Predicting Relations from Relations , 1993, SCAI.

[5]  James F. Allen Maintaining knowledge about temporal intervals , 1983, CACM.

[6]  Heinrich Niemann,et al.  ERNEST: A Semantic Network System for Pattern Understanding , 1990, IEEE Trans. Pattern Anal. Mach. Intell..

[7]  Kenneth D. Forbus Interpreting Measurements of Physical Systems , 1986, AAAI.

[8]  Gerhard Sagerer,et al.  Automatisches Verstehen gesprochener Sprache , 1990, Reihe Informatik.

[9]  Christian Freksa,et al.  Temporal Reasoning Based on Semi-Intervals , 1992, Artif. Intell..

[10]  Dennis DeCoste,et al.  Dynamic Across-Time Measurement Interpretation , 1990, Artif. Intell..

[11]  Kenneth D. Forbus Qualitative Process Theory , 1984, Artif. Intell..

[12]  Helge J. Ritter,et al.  A Hybrid Approach to Signal Interpretation Using Neuronal and Semantic Networks , 1993, DAGM-Symposium.

[13]  Anthony G. Cohn,et al.  Qualitative Simulation Based on a Logical Formalism of Space and Time , 1992, AAAI.

[14]  Eugene C. Freuder,et al.  The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems , 1985, Artif. Intell..

[15]  Heinrich Niemann,et al.  Control and explanation in a signal understanding environment , 1993, Signal Process..

[16]  Gerhard Sagerer,et al.  Automatic interpretation of medical image sequences , 1988, Pattern Recognit. Lett..

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

[18]  Henry A. Kautz,et al.  Integrating Metric and Qualitative Temporal Reasoning , 1991, AAAI.