Inteligncia Articial Aplicada a Sistemas de Controle e Automao DAS 6607

Guilherme Bittencourt Departamento de Automao e Sistemas Universidade Federal de Santa Catarina 88040-900 - Florianpolis - SC - Brazil Internet: www.das.ufsc.br/gb E-mail: gb@das.ufsc.br

Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.1/39

Sumrio
Epistemologia Fundamentos In the Quest of the Missing Link

Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.2/39

Epistemologia
O conhecimento um atributo da mente. O conhecimento se refere realidade. Qual a natureza da mente e da realidade? A alma material
Participation Mystique

Homero, Shakespeare: sombra, fantasma, vapor, sopro. Herclito: processos, fogo. A alma abstrata Pitgoras: alma como um nmero. Plato: formas, idias. tica: a mente como piloto do corpo. Aristteles: entelquias. Inspirao biolgica.

Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.3/39

Epistemologia
O essencialismo Conjectura Percepo intuitiva da essncia. Descartes: intuies e percepes representam seguros critrios de verdade.
extenso

a essncia da materialidade.

a mente inextensa e sua essncia pensante.

Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.4/39

Epistemologia
Inconsistncia da teoria de Descartes: corpos extensos os espritos animais receberem impulso de um inextenso a alma. Solues:
Ocasionalistas:

paralelismo mediado por Deus (intervenso direta).

Baruch Spinoza: Deus a nica substncia, o pensamento e a extenso so apenas dois dos innitos atributos de Deus. Gottfried Wilhelm von Leibniz: Deus, ao criar o mundo, pr-estabeleceu a harmonia (Mnadas). David Hume (monismo neutro): paralelismo epistemolgico, no existe corpo ou mente, o que existe um ordenamento fsico e um ordenamento mental das mesmas coisas neutras, chamadas dados.

Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.5/39

Epistemologia
Fim do essencialismo: Isaac Newton: teoria baseada na atrao gravitacional, e no em impulso ou repulso. James Clerck Maxwell: As ondas eletromagnticas no tm extenso. Albert Einstein: o tempo e o espao no correspondem intuio. Mecnica Quntica: princpio da incerteza de Heisenberg, a matria s pode ser concebida em termos de ondas de probabilidade.

Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.6/39

Epistemologia
Karl Popper (1902-1994): Assumir tacitamente a existncia de estados fsicos e estados mentais e sua interao e tentar ampliar o entendimento a respeito de como possvel a interao entre entidades to distintas.
mundos 1: mundo 2:

o mundo fsico, o universo das entidades fsicas.

o mundo dos estados mentais, estados de conscincia e inconscincia. o mundo do contedo do pensamento e dos produtos da mente humana.

mundo 3:

Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.7/39

Epistemologia
Karl Popper (1902-1994): Problema corpo-mente, dois subproblemas: A interao entre o mundo externo (via sentidos) e os estados mentais. A interao entre estados mentais e os elementos do mundo 3. Utilizar o conhecimento sobre a interao entre o mundo 2 e mundo 3 para entender melhor a interao entre mundo 1 e mundo 2.

Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.8/39

Epistemologia
Autopoiesis: O ser humano existe em dois domnios que no se intersectam: o domnio da corporalidade e o domnio de nossas interaes e relaes enquanto seres humanos (Humberto Maturana).
organizao:

dene o sistema enquanto unidade composta, determinando a classe de sistemas qual o sistema pertence, suas propriedades e o domnio no qual ele pode interagir. determina o espao no qual o sistema existe como unidade composta, e que pode ser perturbado atravs de interaes de seus componentes, mas no determina suas propriedades enquanto unidade.

estrutura:

Sistema determinado estruturalmente:

pode mudar de estado, caso mude a sua estrutura mantendo a organizao, ou desintegrar-se, quando a mudaa de estrutura leva a uma mudana de organizao.
Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.9/39

Epistemologia
Autopoiesis: A linguagem se deve existncia de um domnio consensual, criando atravs do acoplamento estrutural de diversos organismos, cada um fazendo papel de meio ambiente para o outro. Este acoplamento estrutural formado por coordenaes de coordenaes de aes e construdo atravs das interaes do organismo com o meio e com outros organismos. A idia de realidade objetiva no no faz sentido, pois toda descrio sujeito-dependente e s tem signicado quando realizada em um domnio consensual.

Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.10/39

Epistemologia
C.S. Peirce semitica: Um signo S representa um objeto O para outro signo, o interpretante I. A relao tridica r(S, O, I) no redutvel: o signo peirceano vago e geral em extenso e compreenso lgicas.
Semiosis:

atualizao da srie I, I1 , I2 , . . . , In , onde, I: hbito ou lei mental, que pode determinar um interpretante I1 , etc.

O resultado da semiosis a diminuio da vagueza e o aumento da generalidade dos signos envolvidos, uma ao (as vezes) ou mudana de hbitos (sempre). A teoria de Peirce tem profundas razes matemticas e pode ser vista como uma teoria geral da evoluo dos sistemas cognitivos.
Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.11/39

Epistemologia
Ludwig Wittgenstein Tractatus Logico-Philosophicus: (...) The whole sense of the book might be summed up the following words: what can be said at all can be said clearly, and what we cannot talk about we must pass over in silence. Thus the aim of the book is to draw a limit to thought, or rather not to thought, but to the expression of thoughts: for in order to be able to draw a limit to thought, we should have to nd both sides of the limit thinkable (i.e. we should have to be able to think what cannot be thought). It will therefore only be in language that the limit can be drawn, and what lies on the other side of the limit will simply be nonsense. (...)

Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.12/39

Epistemologia
Ludwig Wittgenstein Tractatus Logico-Philosophicus (1922): 1 The world is everything that is the case. 1.1 The world is the totality of facts, not of things. 1.2 The world divides into facts. 2 What is the case, the fact, is the existence of atomic facts. 3 The logical picture of the facts is the thought. 3.4 The proposition determines a place in logical space: the existence of this logical place is guaranteed by the existence of the constituent parts alone, by the existence of the signicant proposition. 3.41 The propositional sign and the logical co-ordinates: that is the logical place.
Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.13/39

Epistemologia
Ludwig Wittgenstein Tractatus Logico-Philosophicus:
4 The thought is the signicant proposition. 4.022 The proposition shows its sense. The proposition shows how things stand, if it is true. And it says, that they do so stand. 4.1 A proposition presents the existence and non-existence of atomic facts. 4.2 The sense of a proposition is its agreement and disagreement with the possibilities of the existence and non-existence of the atomic facts. 4.461 The proposition shows what it says, the tautology and the contradiction that they say nothing. The tautology has no truth-conditions, for it is unconditionally true; and the contradiction is on no condition true. Tautology and contradiction are without sense. (Like the point from which two arrows go out in opposite directions.) (I know, e.g. nothing about the weather, when I know that it rains or does not rain.)

Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.14/39

Epistemologia
Ludwig Wittgenstein Tractatus Logico-Philosophicus: 5 Propositions are truth-functions of elementary propositions. (An elementary proposition is a truth-function of itself.) 6 The general form of truth-function is: [p, , N ()]. This is the general form of proposition. 7 Whereof one cannot speak, thereof one must be silent.

Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.15/39

Epistemologia
Antnio Damsio (1944-): sem emoo no h razo... O Erro de Descartes - Emoo, Razo e Crebro Humano (1996). O Mistrio da Conscincia (2000). Em Busca de Espinosa: Prazer e Dor na Cincia dos Sentimentos (2004).

Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.16/39

Fundamentos
Suposies que orientam e dividem as opinies sobre como a inteligncia pode ser capturada por um mecanismo articial: a simulao da inteligncia requer conhecimento declarativo e algum tipo de mecanismo de raciocnio; a inteligncia pode ser estudada independentemente dos detalhes de percepo e controle motor; a evoluo dos estados de conhecimento de um agente pode ser descrita em forma de linguagem (lgica ou natural); a inteligncia pode ser estudada independentemente dos processos de aprendizagem, desenvolvimento psicolgico e mudana evolutiva; existe uma arquitetura nica na qual qualquer tipo de inteligncia pode ser simulada. Programas de pesquisa em IA: combinaes das suposies acima ou de Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.17/39 suas negaes.

Conhecimento e conceitualizao
Teorias em nvel de conhecimento:

especicao do conhecimento necessrio a uma capacidade cognitiva (e.g., soluo de problemas, uso de linguagem, tomada de decises, percepo e alguns elementos de controle motor). Exemplo: o projeto CYC (www.cyc.com): Cycorp was founded in 1994 to research, develop, and commercialize Articial Intelligence. Cycorps vision is to create the worlds rst true articial intelligence, having both common sense and the ability to reason with it. At the present time, the Cyc KB contains nearly two hundred thousand terms and several dozen hand-entered assertions about/involving each term. New assertions are continually added to the KB by human knowledge enterers.

Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.18/39

Conhecimento e conceitualizao
A capacidade cognitiva pode ser dividida em duas partes: uma base de conhecimento declarativa e um motor de inferncia, i.e., um mecanismo capaz de, a partir da descrio de uma situao e da base de conhecimento, gerar novos conhecimentos declarativos que sero, por sua vez, armazenados na base de conhecimento e, eventualmente, utilizados como instrues para ao.

Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.19/39

Conhecimento e conceitualizao
Conceitualizao:

escolher uma estrutura matemtica formada por objetos, funes e relaes que descreva o estado das coisas no mundo.

conceito:

componente modular do conhecimento codicado em estruturas declarativas na memria do computador. de um conceito: de que maneira um conceito reete a situao no mundo real? Como este conceito se relaciona com outros conceitos? Como isto inuencia o comportamento do agente que possui o conceito?

entendimento

Mas, um programa reexivo deve representar suas prprias representaes, o que cria problemas de recursividade e auto-referncia similares aos problemas encontrados no Paradoxo de Russel e no Teorema de Gdel.
Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.20/39

Conhecimento e conceitualizao
Jerry A. Fodor: Mentalese, the language of thought. "... assume that psychological laws are typically implemented by computational processes. There must be an implementing mechanism for any law of a non-basic science, and the putative intentional generalisations of psychology are not exceptions... Computational processes are ones dened over syntactically structured objects; viewed in extension, computations are mappings from symbol to symbol; viewed in intension, they are mappings of symbols under syntactic description to symbols under syntactic description..." Since sciences all have laws governing their phenomenon, psychology and the workings of the brain are not an exception.

Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.21/39

Cognitivo ou reativo

Todo homem mortal Scrates homem Logo, Scrates mortal

Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.22/39

Percepo e controle motor

Rodney Brooks (moboticistas): sistemas inteligentes sem representao, construdos incrementalmente de maneira que a cada passo obtenham-se sistemas completos, com capacidades crescentes em termos de inteligncia, quando julgados atravs de seu comportamento no mundo real.

Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.23/39

Percepo e controle motor

Rodney Brooks (moboticistas): suposies que levam a uma interpretao errnea da natureza das atividades cognitivas: a interface entre o sistema perceptivo e o mecanismo central da cognio pode ser descrita atravs de uma linguagem lgica; a atividade cognitiva caracterizada pela atualizao regular, atravs da percepo ou de inferncia, de uma representao interna do estado do mundo; as seqncias de aes que permitem a um agente inteligente realizar tarefas so previamente planejadas atravs do exame das possibilidades e da escolha da melhor alternativa.

Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.24/39

Percepo e controle motor

Problema: a complexidade do mundo no permite que este tipo de mecanismo cognitivo seja executado em tempo real. Argumentos loscos contra a possibilidade de um mecanismo cognitivo totalmente abstrato: teorias axiomticas que no levam em conta uma teoria da percepo e controle motor so excessivamente incompletas para servir de base para um modelo da cognio e conhecimento axiomtico no suciente para capturar todo conhecimento que um agente pode ter sobre o mundo.

Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.25/39

Percepo e controle motor

Um planejador abstrato, incapaz de perceber o mundo ou agir sobre ele, mas informado sobre as propriedades do domnio, capaz de fazer previses e propor explicaes? A nica maneira de dar sentido linguagem de um tal planejador seria adotar uma interpretao em teoria dos modelos do possvel signicado dos termos que compem a linguagem. Mas a teoria de modelos uma teoria que trata da validade e das conseqncias lgicas e nada tem a dizer sobre intencionalidade e signicado.

Asas do Desejo

de Win Wenders

Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.26/39

Linguagem e cognio
Enfoque lgico: raciocinar passar de um estado cognitivo a outro. Estes estados so caracterizados por funes e relaes, cujo signicado foi especicado pelo projetista do sistema, e a passagem de um estado a outro uma inferncias vlida na linguagem lgica. Problemas: a caracterizao de um conceito atravs da linguagem natural pode tornar-se to complexa a ponto de no ser mais racionalmente compreensvel. os conceitos primrios utilizados na caracterizao no so compartilhados pelo usurio e pelo sistema. formas de processamento no seqenciais (processamento paralelo, processamento distribudo, redes neurias) no tm uma descrio semntica em termos da teoria de modelos.
Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.27/39

Aprendizado e cognio
Enfoque lgico: a aprendizagem uma funo que recebe uma conceitualizao e retorna uma outra mais madura e pode ser estudada separadamente da competncia do sistema. Restries: em uma rede neuronal no possvel descrever em uma linguagem lgica o estado de conhecimento do sistema e a aprendizagem inseparvel da competncia. as trajetrias de conhecimento, mesmo em sistemas simblicos, so imprevisveis. Uma reorganizao da base de conhecimento pode ter um efeito no linear sobre a competncia do sistema. sistemas com capacidade interna de automodicao requerem mecanismos para integrar novo conhecimento ao antigo (indexao do conhecimento).
Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.28/39

Arquiteturas
No existe consenso na comunidade de IA sobre a questo de qual arquitetura a mais indicada para a simulao da inteligncia, ou se esta arquitetura nica ou no. Projeto SOAR: toda cognio pode ser simulada em um nico tipo de arquitetura e a interao e composio de um pequeno conjunto de mecanismos capaz de servir de base para a implementao de qualquer tipo de atividade cognitiva. Minsky A sociedade da mente: a inteligncia o produto de inmeros mecanismos computacionais especializados (agentes) Brooks: arquiteturas em diversos nveis onde cada nvel capaz de agir sobre os nveis inferiores eliminando ou redirecionando entradas e sadas. A questo da arquitetura ideal aquela que menos pode ser esclarecida por argumentos loscos ou no experimentais.
Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.29/39

Missing Link
In: International Symposium on Methodologies for Intelligent Systems (ISMIS93), Trondheim, Norway, June 15-18, 1993.
A Connectionist-Symbolic Model for Cognition. In the Quest of the Missing Link,

International Joint Conference on Articial Intelligence (IJCAI97), Nagoya, Japan, August 23-29, 1997.
An Embodied Model for Higher-Level Cognition,

29th annual meeting of the Cognitive Science Society (CogSci2007), August 1-4, Gaylord Opryland Hotel Resort, Nashville, Tennessee, USA, 2007.

Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.30/39

Missing Link
Cognition is an emergent property of a cyclic dynamic self-organizing process. Cognitive models should be epistemologically compatible with the Theory of Evolution. Learning and cognitive activity are closely related.

Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.31/39

Missing Link
Three levels: Reactive level: insects Instinctive level: cats and dogs Cognitive level: humans

Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.32/39

Missing Link
Cognitive models in AI: logical models sense-model-plan-act knowledge representation, inference engines, planning (SAT), reasoning about action compositionality, modularity, explicit semantic reactive models behavior-based articial creatures situated in the world subsumption architecture, connexionism, fuzzy control, evolutionary computation, reinforcement learning self-organization, embodiment, learning

Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.33/39

Missing Link

N System

Perception Genetically determined by the environment

Action

Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.34/39

Missing Link
Fitness function (emotions)

Memory Genetically determined by the emotions Genetically determined by the environment

N System

Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.35/39

Missing Link
Culturally determined Cognition

Thought

Memory

Emotions
Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.36/39

Concluso
Referncias
[Bau04] Eric B. Baum. What is thought? A Bradford Book The MIT Press, 2004. p. 478. [Bro91] Rodney A. Brooks. Intelligence without representation. Articial Intelligence (Special Volume Foundations of Articial Intelligence), 47(1-3):139159, January 1991. [Dav05] Darryl N. Davis, editor. Visions of Mind Architectures for Cognition and Affect. IDEA Group INC., 2005. ISBN:159140483-5. [Mat97] H. Maturana. A Ontologia da Realidade. Editora da UFMG, 1997. [McC77] J. McCarthy. Epistemological problems of articial intelligence. In Proceedings of IJCAI 5, pages 10381044, 1977. [McD78] J. McDermott. Tarskian semantics, or no notation without denotation. Cognitive Science, 2(3):277282, July-September 1978.

Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.37/39

Concluso
Referncias
[Min86] M.L. Minsky. The Society of Mind. Simon and Schuster, New York, 1986. [MV80] Humberto R. Maturana and Francisco J. Varela. Autopoiesis and cognition: The realization of the living. In Robert S. Cohen and Marx W. Wartofsky, editors, Boston Studies in the Philosophy of Science, volume 42. Dordecht (Holland): D. Reidel Publishing Co., 1980. [New80] A. Newell. Physical symbol systems. Cognitive Science, 4:135183, 1980. [New82] A. Newell. The knowledge level. Articial Intelligence, 18:87 127, 1982. [Pei74] C.S. Peirce. The Collected Papers of C.S. Peirce. Harvard University Press, Cambridge, Mass., 1974. [Sch02] Matthias Scheutz, editor. Computationalism New Directions. A Bradford Book The MIT Press, 2002.

Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.38/39

Concluso
Referncias
[Smi82] Brian Cantwell Smith. Reection and Semantics in a Procedural Language. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA, USA, 1982. [Smi96] Brian Cantwell Smith. On the Origin of Objects. A Bradford Book The MIT Press, 1996. p. 420. [Var79] Francisco J. Varela. Principles of Biological Autonomy. New York: Elsevier (North Holland), 1979. [Var89] Francisco J. Varela. Autonomie et Connaissance: Essai sur le Vivant. Editions du Seuil, Paris, 1989. [VTR91] F.J. Varela, E. Thompson, and E. Rosch. The Embodied Mind: Cognitive Science and Human Experience. MIT Press, Cambridge, MA, 1991. [Wit33] Ludwig Wittgenstein. Tractatus Logico-Philosophicus. Routledge & K. Paul, London, 1933. Originally published in 1922.

Inteligncia Articial Aplicada a Sistemas de Controle e AutomaoDAS 6607 p.39/39