Visual CP Representation of Knowledge

Knowledge can be expressed in two forms: declarative and procedural. Declarative knowledge describes a set of definitions about the world, while procedural knowledge describes the temporal, spatial and constraint aspects applied within these definitions. Expressing declarative knowledge textually is in some ways difficult to follow, whereas it is virtually impossible to capture all aspects of procedural knowledge in this manner. A visual representation of both forms of knowledge is both more desirable and actually more descriptive. Through a visual representation that uses graphs, CP, the two forms can give a balanced view of knowledge while capturing the meaning of both.

[1]  Roger T. Hartley,et al.  The conceptual programming environment, CP: reasoning representation using graph structures and operations , 1991, Proceedings 1991 IEEE Workshop on Visual Languages.

[2]  Guy W. Mineau.  Constraints on Processes: Essential Elements for the Validation and Execution of Processes , 1999, ICCS.

[3]  Wen Siang. Kuo.  Visual programming environment , 1993 .

[4]  John F. Sowa.  Conceptual Graph Standard and Extension , 1998, ICCS.

[5]  Ephraim P. Glinert,et al.  Visual Programming Environments: Paradigms and Systems , 1990 .

[6]  Roger T. Hartley,et al.  Temporal, spatial, and constraint handling in the Conceptual Programming environment, CP , 1992 .

[7]  Blaine A. Price,et al.  A Principled Taxonomy of Software Visualization , 1993, J. Vis. Lang. Comput..

[8]  Daniel Rochowiak,et al.  A Pragmatic Understanding of "Knowing That" and "Knowing How": The Pivotal Role of Conceptual Structures , 1997, ICCS.

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

[10]  Dickson Lukose,et al.  Knowledge Modeling Using Annotated Flow Chart , 1997, ICCS.

[11]  T Dean.  Time Map Maintenance. , 1983 .

[12]  Mikhail Auguston,et al.  Iterative constructs in the visual data flow language , 1997, Proceedings. 1997 IEEE Symposium on Visual Languages (Cat. No.97TB100180).

[13]  S. Balachandar,et al.  Knowledge Visualization from Conceptual Structures , 1994, ICCS.

[14]  Guy W. Mineau.  From Actors to Processes: The Representation of Dynamic Knowledge Using Conceptual Graphs , 1998, ICCS.

[15]  Thomas Dean,et al.  Exploiting Locality in Temporal Reasoning , 1993 .

[16]  Dickson Lukose.  Executable Conceptual Structures , 1993, ICCS.

[17]  Randall Davis,et al.  Meta-Rules: Reasoning about Control , 1980, Artif. Intell..

[18]  Roger T. Hartley,et al.  Temporal, spatial, and constraint handling in the Conceptual Programming environment, CP , 1992, J. Exp. Theor. Artif. Intell..

[19]  R. Hartley,et al.  A uniform representation for time and space and their mutual constraints , 1992 .