Computational Semiotics : An Approach for the Study of Intelligent Systems Part I : Foundations

The aim of this paper is to introduce the theoretical foundations of an approach for intelligent systems development. Derived from semiotics, a classic discipline in human sciences, the theory developed provides a mathematical framework for the concept of knowledge and for knowledge processing. As a result, a new perspective to study and to develop intelligent systems emerges. Here, Part I, the focus is on the essentials of such a theory. It includes the background needed from semiotics and describes the relationship between semiotics, intelligent systems and cognition. A taxonomy of the elementary types of knowledge is proposed and a classification of knowledge, from the point of view of application in cognitive systems, is addressed. In addition, a mathematical definition of objects and object networks, two key concepts within the computational semiotics paradigm proposed here, is introduced. The issues of knowledge modeling and system development, within the framework of computational semiotics, is the subject of a companion paper, Part II, where an illustrative example concerning control of an autonomous vehicle is included as well.

[1]  C. Peirce,et al.  Collected Papers of Charles Sanders Peirce. Vol. I, Principles of Philosophy , 1932 .

[2]  Ronald J. Brachman,et al.  An Overview of the KL-ONE Knowledge Representation System , 1985, Cogn. Sci..

[3]  Richard C. T. Lee,et al.  Symbolic logic and mechanical theorem proving , 1973, Computer science classics.

[4]  A. M. Meystel Intelligent system as an object of semiotic research , 1996, Proceedings of North American Fuzzy Information Processing.

[5]  C. Morris Signs, Language and Behavior , 1947 .

[6]  R. Gandy COMPUTABILITY: COMPUTABLE FUNCTIONS, LOGIC AND THE FOUNDATIONS OF MATHEMATICS , 1991 .

[7]  Allen Newell,et al.  SOAR: An Architecture for General Intelligence , 1987, Artif. Intell..

[8]  C. Morris,et al.  Writings on the General Theory of Signs , 1971 .

[9]  James S. Albus,et al.  Outline for a theory of intelligence , 1991, IEEE Trans. Syst. Man Cybern..

[10]  Ryszard S. Michalski,et al.  The Logic of Plausible Reasoning: A Core Theory , 1989, Cogn. Sci..

[11]  Yair Wand,et al.  A Proposal for a Formal Model of Objects , 1989, Object-Oriented Concepts, Databases, and Applications.

[12]  Jf Baldwin,et al.  An Introduction to Fuzzy Logic Applications in Intelligent Systems , 1992 .

[13]  John R. Anderson,et al.  A Theory of the Origins of Human Knowledge , 1989, Artif. Intell..

[14]  A. M. Turing,et al.  Computing Machinery and Intelligence , 1950, The Philosophy of Artificial Intelligence.

[15]  Jacek M. Zurada,et al.  Computational Intelligence: Imitating Life , 1994 .

[16]  Allen Newell,et al.  The Knowledge Level , 1989, Artif. Intell..

[17]  David E. Goldberg,et al.  Genetic Algorithms in Search Optimization and Machine Learning , 1988 .

[18]  D.E. Goldberg,et al.  Classifier Systems and Genetic Algorithms , 1989, Artif. Intell..

[19]  Donald A. Norman,et al.  Approaches to the Study of Intelligence , 1991, Artif. Intell..

[20]  Witold Pedrycz,et al.  Fuzzy control and fuzzy systems , 1989 .

[22]  Bart Kosko,et al.  Neural networks and fuzzy systems: a dynamical systems approach to machine intelligence , 1991 .

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

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

[25]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .