Orientador: Fernando Antonio Campos Gomide

Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação

Resumo: Neste trabalho, apresenta-se uma fundamentação para o estudo matemático de sistemas inteligentes. A relação entre semiótica e inteligência é investigada, e utilizada para a geração de estruturas formais de representação do conhecimento. Estas estruturas são utilizadas então para compor os...

Resumo: Neste trabalho, apresenta-se uma fundamentação para o estudo matemático de sistemas inteligentes. A relação entre semiótica e inteligência é investigada, e utilizada para a geração de estruturas formais de representação do conhecimento. Estas estruturas são utilizadas então para compor os módulos que integram um sistema inteligente. Inicialmente, apresenta-se uma análise da relação entre semiótica e sistemas inteligentes. Em seguida, inicia-se a fundamentação formal, com a definição matemática de objeto e de redes de objetos. Apesar destas definições serem apresentadas visando seu uso na elaboração das estruturas de representação do conhecimento, elas contém características que permitem denotá-las como fundamentos de uma teoria geral dos objetos que engloba, além disso, sistemas orientados a objetos e programação orientada a objetos. As definições formais de objetos e redes de objetos são utilizadas então para a definição de estruturas de representação e processamento do conhecimento, para os diferentes tipos de conhecimento identificados a partir da análise entre semiótica e sistemas inteligentes. Por fim, é analisada uma aplicação-exemplo de um sistema inteligente, construído a partir das idéias anteriormente expostas. Essa aplicação considera o problema do controle de um veículo autônomo

Abstract: In this work, we present the foundations for a mathematical study of intelligent systems. The relation between semiotics and intelligence is addressed and it is used to generate formal structures for representing and processing knowledge. Those structures are then used to compose the...

Abstract: In this work, we present the foundations for a mathematical study of intelligent systems. The relation between semiotics and intelligence is addressed and it is used to generate formal structures for representing and processing knowledge. Those structures are then used to compose the modules that integrate an intelligent system. lnitially, we present an analysis for the relation between semiotics and intelligent systems. After that, we begin the formal development,with the mathematical definitions of objects and objects networks. Besides those definitions being presented concerning its use in the elaboration of knowledge representation structures, they have characteristics that allow its use as a foundation for a general theory for objects, which addresses as well, object-oriented systems and object-oriented programming. The formal definitions of objects and objects networks are then used to define the knowledge representation and processing structures, starting from the analysis between semiotics and intelligent systems. At the end, we analyze an application example of an intelligent system, built within the spirit of the former ideas. This application considers the navigation problem, i.e., the control of an autonomous vehicle