Process modeling in conceptual categories

In this paper, we describe an approach to knowledge representation as an active process. More than merely recording knowledge in some extractable form, we recognize that representation must include the processes that perform the activities of insertion as well as extraction. The main result is a representational method that is powerful enough and flexible enough that systems built using it can represent, reason about, and change their own structure and behavior. The approach is based on recent work on knowledge representation for our "Wrapping" integration infrastructures, and on some comparative semiotics: studies of mathematical and linguistic reasoning.

[1]  Hung T. Nguyen,et al.  Uncertainty Models for Knowledge-Based Systems; A Unified Approach to the Measurement of Uncertainty , 1985 .

[2]  Christopher Landauer,et al.  Semiotics of constructed complex systems , 1996 .

[3]  Richard Bellman,et al.  On the Concepts of a Problem and Problem-Solving , 1960 .

[4]  Christopher Landauer,et al.  Wrapping Mathematical Tools , 1992 .

[5]  Rodney A. Brooks,et al.  Intelligence Without Reason , 1991, IJCAI.

[6]  Christopher Landauer,et al.  Computational Embodiment: Constructing Autonomous Software Systems , 1999, Cybern. Syst..

[7]  Christopher Landauer,et al.  Mathematics and linguistics , 1996 .

[8]  Milind Tambe,et al.  Building Agent Teams Using an Explicit Teamwork Model and Learning , 1999, Artif. Intell..

[9]  Christopher Landauer,et al.  A note on improving the capabilities of software agents , 1997, AGENTS '97.

[10]  Manuela M. Veloso,et al.  Task Decomposition, Dynamic Role Assignment, and Low-Bandwidth Communication for Real-Time Strategic Teamwork , 1999, Artif. Intell..

[11]  Mary Shaw,et al.  Toward relaxing assumptions in languages and their implementations , 1980, SIGP.

[12]  Maja J. Matarić,et al.  Behavior-Based Control: Main Properties and Implications , 1992 .

[13]  Mary Shaw,et al.  Tyrannical Languages Still Preempt System Design , 1992 .

[14]  Christopher Landauer,et al.  Generic programming, partial evaluation, and a new programming paradigm , 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.

[15]  Maja J. Mataric,et al.  Studying the Role of Embodiment in Cognition , 1997, Cybern. Syst..

[16]  Barry Brian Werger,et al.  Cooperation without Deliberation: A Minimal Behavior-based Approach to Multi-Robot Teams , 1999, Artif. Intell..

[17]  K.L. Bellman,et al.  Wrappings for software development , 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.

[18]  Donald O. Walter,et al.  Some issues in model integration , 1990 .

[19]  R. A. Brooks,et al.  Intelligence without Representation , 1991, Artif. Intell..

[20]  Christopher Landauer,et al.  Problem posing interpretation of programming languages , 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.

[21]  Richard Bellman,et al.  Local and fuzzy logics , 1996 .

[22]  James S. Albus,et al.  Intelligent systems: A semiotic perspective. Volume I: Theoretical semiotics , 1996 .

[23]  James O. Coplien,et al.  Pattern languages of program design , 1995 .

[24]  Hector J. Levesque,et al.  Reasoning about Noisy Sensors in the Situation Calculus , 1995, IJCAI.

[25]  Randall D. Beer,et al.  Biologically inspired approaches to robotics: what can we learn from insects? , 1997, CACM.

[26]  C. Landauer.  CONCEPTUAL CATEGORIES AS KNOWLEDGE STRUCTURES , 1997 .

[27]  Ronald J. Brachman,et al.  What's in a Concept: Structural Foundations for Semantic Networks , 1977, Int. J. Man Mach. Stud..

[28]  Andrew Z. Lapsley,et al.  Knowledge Management for Distributed Enterprises , 2000 .