A COMPUTATIONAL TOOL TO MODEL INTELLIGENT SYSTEMS

Abstract: This paper presents the implementation of acomputational tool for modeling intelligent systems under theparadigms of computational semiotics. It uses, as a modelingartifact, the framework given by object networks andmathematical objects (Gudwin 1996). Several aspects of thesystem dynamics, characteristic topology and selectionmechanisms are tackled in detail, aiming at a robustarchitecture for object network simulation in real-worldapplications. Keywords: Computational Semiotics, Modeling IntelligentSystem, Object Network. 1 INTRODUCTION The role of Semiotics within intelligent systems developmentand implementation is being recently studied as an importantfoundation paradigm able to provide a future basis for a generaltheory of intelligent systems (Albus 1997).Within many possible interactions between Semiotics andIntelligent Systems, we detach Computational Semiotics, i.e.,the attempt of emulating the semiosis cycle within a digitalcomputer. The main paradigm behind computational semioticsis "semiotic synthesis", i.e. the ability to use sign-processes andsemiosis cycles from an engineering point of view, as a designplatform for development of intelligent systems. Among otherthings, using computational semiotics paradigms we aretargeting the construction of autonomous intelligent systemsable to perform intelligent behavior, including perception,world modeling, value judgement, and behavior generation(Albus 1991). There is a claim that most part of intelligentbehavior should be due to semiotic processing withinautonomous systems, in the sense that an intelligent systemshould be comparable to a semiotic system. Mathematicallymodeling such semiotic systems is currently being the targetfor a group of researchers studying the interactions encounteredbetween semiotics and intelligent systems.The key issue in this study is the implementation of acomputational tool in order to enable us to model intelligentsystems and to study semiotic processes on computers. In thiswork we adopted a theoretic tool known as object networks.Object networks were first introduced by Gudwin (Gudwin1996), and have been used as formal background for thedevelopment of Computational Semiotics (Gudwin andGomide 1997a, Gudwin and Gomide 1997b, Gudwin andGomide Sep. 1997) in computer systems. More recently, objectnetworks were also used within the context of computationalintelligence, soft computing (Gudwin and Gomide Oct. 1997,Gudwin and Gomide 1998a), and computing with words(Gudwin and Gomide 1998b).

[1]  Andrew S. Tanenbaum,et al.  Distributed operating systems , 2009, CSUR.

[2]  Ricardo Ribeiro Gudwin,et al.  Object networks-a modeling tool , 1998, 1998 IEEE International Conference on Fuzzy Systems Proceedings. IEEE World Congress on Computational Intelligence (Cat. No.98CH36228).

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

[4]  Sol M. Shatz,et al.  An Approach to Object System Modeling by State-Based Object Petri Nets , 1998, J. Circuits Syst. Comput..

[5]  Fernando Gomide,et al.  A computational semiotics approach for soft computing , 1997, 1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation.

[6]  Ricardo Ribeiro Gudwin,et al.  An Approach to Computational Semiotics , 1997 .

[7]  Kurt Jensen,et al.  Coloured Petri nets: A high level language for system design and analysis , 1991, Applications and Theory of Petri Nets.

[8]  Mats Andersson,et al.  Object-Oriented Modeling and Simulation , 1993 .

[9]  Andrew S. Tanenbaum,et al.  Modern Operating Systems , 1992 .

[10]  Ricardo Ribeiro Gudwin,et al.  OBJECT NETWORK: A FORMAL MODEL TO DEVELOP INTELLIGENT SYSTEMS , 1998 .

[11]  Fernando Gomide,et al.  Object Networks: A Computational Framework to Compute with Words , 1999 .

[12]  Vladimír Janou1ek Functional and Object Oriented Structuring of Petri Nets , 1995 .

[13]  Guy L. Steele,et al.  The Java Language Specification , 1996 .

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

[15]  Ricardo Ribeiro Gudwin,et al.  Computational Semiotics : An Approach for the Study of Intelligent Systems Part I : Foundations , 1998 .

[16]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.