Uma Ferramenta Computacional para o Projeto de Sistemas Inteligentes

1. Uma Ferramenta Computacional para o Projeto de Sistemas Inteligentes DCA/FEEC/UNICAMP A. S. R. Gomes J. A. S. Guerrero R. R. Gudwin

2. Motivações para o Trabalho • Necessidade de mecanismos mais adequados para implementação de modelos de sistemas inteligentes. • Semiótica Computacional • Falta de ferramentas de software similares. • Estudo de modelos: • Análise • Síntese • Difusão dos conceitos desenvolvidos sobre Redes de Objetos entre os meios científico e tecnológico.

3. O objeto conceitual Sistemas de objetos Sistema de Objetos Rede Objetos RO baseada em matching Conceitos...

4. estado interno estado entrada Porta privada de entrada Porta privada de saída estado saída estado interno Função RO baseada em matching • Objetos passivos • Apenas armazenam informação. • Objetos ativos • Podem armazenar informação. • Processam informações quando disparados pelo algoritmo de matching, gerando e/ou consumindo objetos.

5. RO baseada em matching • Lugares • agrupam objetos da mesma classe. • Podem corresponder a fontes e/ou vertedouros de arcos. • Arcos • Conectam dois lugares.

6. BMSA BMSA • Algoritmo de busca: • Encontra o conjunto de objetos ativos , incluindo as respectivas funções, a serem disparados. • Encontra automaticamente o escopo habilitante a partir das informações individuais de interesse, eliminando possíveis conflitos. Combinações locais Combinações globais

7. Combinações • duas combinações, • uma ação • uma combinação para cada (e/c), • uma ação.

8. Ferramenta computacional - MTON • Requisitos: • Escalabilidade**. • Portabilidade*. • Performance**. • Capacidade de representação*. • Facilidade de interação com o usuário*. • Facilidade de implementação*. • Capacidade de reuso de software*.

9. Ferramenta computacional - MTON • Características técnicas: • Concorrência implícita para cada lugar. • Importa classes Java já codificadas. • Modelo cliente/servidor.

10. especificação do modelo GUI Hghd h g kjhfg kj kjfdhg kjhfdg kjh kjsdfhg jhgjgf kjh jjhkj kjhkj kjh kjhfg kjh jh kjh kjh kjh j hkjh kjh kjh kjjh ONSLC implementação das classes do modelo classes Java externas rede do modelo Hghd h g kjhfg kj kjfdhg kjhfdg kjh kjsdfhg jhgjgf kjh jjhkj kjhkj kjh kjhfg kjh jh kjh kjh kjh j hkjh kjh kjh kjjh Hghd h g kjhfg kj kjfdhg kjhfdg kjh kjsdfhg jhgjgf kjh jjhkj kjhkj kjh kjhfg kjh jh kjh kjh kjh j hkjh kjh kjh kjjh Hghd h g kjhfg kj kjfdhg kjhfdg kjh kjsdfhg jhgjgf kjh jjhkj kjhkj kjh kjhfg kjh jh kjh kjh kjh j hkjh kjh kjh kjjh Hghd h g kjhfg kj kjfdhg kjhfdg kjh kjsdfhg jhgjgf kjh jjhkj kjhkj kjh kjhfg kjh jh kjh kjh kjh j hkjh kjh kjh kjjh Hghd h g kjhfg kj kjfdhg kjhfdg kjh kjsdfhg jhgjgf kjh jjhkj kjhkj kjh kjhfg kjh jh kjh kjh kjh j hkjh kjh kjh kjjh Hghd h g kjhfg kj kjfdhg kjhfdg kjh kjsdfhg jhgjgf kjh jjhkj kjhkj kjh kjhfg kjh jh kjh kjh kjh j hkjh kjh kjh kjjh Hghd h g kjhfg kj kjfdhg kjhfdg kjh kjsdfhg jhgjgf kjh jjhkj kjhkj kjh kjhfg kjh jh kjh kjh kjh j hkjh kjh kjh kjjh Hghd h g kjhfg kj kjfdhg kjhfdg kjh kjsdfhg jhgjgf kjh jjhkj kjhkj kjh kjhfg kjh jh kjh kjh kjh j hkjh kjh kjh kjjh Hghd h g kjhfg kj kjfdhg kjhfdg kjh kjsdfhg jhgjgf kjh jjhkj kjhkj kjh kjhfg kjh jh kjh kjh kjh j hkjh kjh kjh kjjh Ciclo de funcionamento MTON

11. Criação de uma rede de objetos • Especificação do modelo. • Classes internas e externas. • Topologia. • Implementação das classes. • Código privado das classes especificadas. • Ligação a bibliotecas externas. • Definição do estado inicial.

12. Especificação do modelo • Classes externas: nome de importação e classe Java externa. • Classes internas: • Variáveis: nome e classe. • Funções: • nome, domínio, contra-domínio e domínio da sub-função de matching. • Portas (entrada e saída): • campo associado. • Topologia: • Lugares: • classe associada. • Arcos: lugar e porta associada. • Núcleo: estado inicial.

13. Especificação do modelo Exemplo: Classe Interna Definição das Classes Classe Externa Variáveis Funções Portas Nome da Rede Definição da Topologia Lugar Núcleo Arcos

14. Objeto da classe DEATH Objeto da classe FORK Especificação do modelo Exemplo: Objeto da classe PHILOSOPHER ifork ofork hungry i1 o1 itimesync i2 grow hungry eat

15. Exemplo - CPN • Rede de Petri Colorida

16. Exemplo - GA (TSP)

17. Exemplo - GA (TSP) Caixeiro Viajante - versão 2

18. Exemplo - Fuzzy Controller • Controle de veículo autônomo

19. Trabalhos Futuros • Modelo computacional em objetos distribuídos (RMI ou CORBA). • Bibliotecas para visualização e interface com dispositivos externos. • Otimização do algoritmo de busca. • Criação de distribuições específicas para algoritmos genéticos, sistemas nebulosos e redes neurais. • Expansão do modelo para redes hierárquicas e/ou objetos com campo.