A apresentação está carregando. Por favor, espere

A apresentação está carregando. Por favor, espere

Lógica, Inteligência Artificial, e Computador Luís Moniz Pereira Centro de Inteligência Artificial Departamento de Informática - UNL

Apresentações semelhantes


Apresentação em tema: "Lógica, Inteligência Artificial, e Computador Luís Moniz Pereira Centro de Inteligência Artificial Departamento de Informática - UNL"— Transcrição da apresentação:

1

2 Lógica, Inteligência Artificial, e Computador Luís Moniz Pereira Centro de Inteligência Artificial Departamento de Informática - UNL de Maio, 2002

3 Sumário zA Evolução e o Raciocínio zA Lógica e o Computador zIncidência da IA na Lógica zAgentes Racionais zEco-Sistemas de Informação zConclusões

4 A Evolução e o Raciocínio zA Evolução deu aos seres humanos: 4pensamento simbólico 4capacidade de comunicação em linguagem simbólica zA ubiquidade da Lógica no raciocínio, e na representação do conhecimento, resulta da sua capacidade em conseguir: 4uma compreensão apoiada na racionalidade 4uma objectividade comum

5 A Evolução e o Raciocínio (2) zNovos métodos de raciocinar foram inventados ao longo da História humana: 3prova por contradição (ou por redução ao absurdo) 3indução transfinita 3recursão 3abdução 3remoção de contradições, etc. zA IA automatiza e melhora os antigos métodos, e cria ainda métodos novos.

6 Inteligência Artificial z O campo da Inteligência Artificial IA pretende compreender as entidades inteligentes. z Uma das razões para as estudar será para nos compreendermos melhor. z Ao contrário da filosofia ou da psicologia, que também se interessam pela inteligência, a IA pretende ainda construir entidades inteligentes. z E nesse aspecto a IA é uma ciência do artificial, como uma engenharia, ocupada com a totalidade dos aspectos relevantes às suas construções.

7 Teorema da Dedução! É verdade que as circunferências são o lugar geométrico dos pontos equidistantes do centro [O quê] O que o compasso desenha são circunferências apoiado no centro [O como] Teorema da Geometria: Algo é uma verdadeira circunferência se e só se fôr desenhável por um compasso Teorema da Dedução: Algo é logicamente verdadeiro, se e só se fôr calculável por um computador

8 A Lógica e o Computador zA Lógica providencia uma formulação das leis do pensamento independente do conteúdo deste. Como as leis da Gramática o fazem para a linguagem. zA Lógica articula a visão intensional o como com a visão extensional o quê das relações. A linguagem da Lógica é simbólica. Portanto, as suas elaborações especificam-se com procedimentos gerais e abstractos. Estes podem programar-se em computador

9 A Lógica e o Computador (2) zA perspectiva intensional e a extensional são conciliadas no computador impondo: Esta é a pedra angular do paradigma da Programação em Lógica semântica declarativa o que é computado semântica procedimental o como é computado

10 Impacto da IA na Lógica zA IA pretende mecanizar a Lógica zA IA visa explicitar, e bem definir, o uso subconsciente da Lógica ( como a Gramática à Língua ) zA IA contribui para formular, identificar e examinar a questão das limitações dos métodos simbólicos de raciocínio zA IA ajuda a explorar novos tópicos e métodos de raciocínio, e a combiná-los segundo novas funcionalidades

11 Impacto da IA na Lógica (2) Problema : a Lógica clássica foi desenvolvida para estudar objectos matemáticos bem definidos consistentes e imutáveis. Assim, adquiriu um carácter estático… zA IA precisa de lidar com o conhecimento em fluxo, debaixo de condições não perfecionistas, por via de formas mais dinâmicas de Lógica.

12 Agentes Mentais À medida que os sistemas computacionais se tornam mais distribuídos, interconectados, e abertos, os agentes inteligentes serão cada vez mais uma tecnologia chave. zprojecto MENTAL: Visámos estabelecer, em bases teóricas seguras, o desenho de uma arquitectura global, interna e externa, para agentes mentais.

13 Agentes Mentais (2) zUm agente mental deve ser capaz de: 4administrar o seu conhecimento, crenças, e intenções 4planear, ao receber nova informação e instruções 4reagir às condições em mudança do ambiente 4interagir com outros agentes trocando mensagens 4reagir aos pedidos de outros agentes

14 Evolução dos Agentes zOs agentes interagem com mundos crescentemente mais complexos zNão é viável prever e pré-programar todas as situações possíveis zÉ preciso passar dos agentes meramente reactivos para os agentes racionais

15 Evolução dos Agentes (2) zOs agentes com conhecimento completo e capacidades genéricas não são factíveis zAgentes especializados 4A cooperação entre agentes é necessária

16 Lógica para Agentes zA Programação em Lógica tem desenvolvido mecanismos apropriados a agentes racionais: É necessário mais trabalho na combinação destes mecanismos entre si 4Actualizações 4Regras condição-acção 4Planeamento 4Argumentação 4Aprendizagem 4Não monotonicidade 4Taxonomias 4Abdução 4Revisão de crenças 4Preferências

17 Para além dos Agentes Problema: Dentro de 10 anos a quantidade de informação disponível será avassaladora! Rumo à noção de Eco-Sistema de Informação Os seres humanos não conseguirão seleccionar e obter tal informação com a tecnologia actual – world-wide computing, mobile code, etc.

18 Eco-Sistema de Informação (EI) zUm infohabitante de um EI é uma entidade – humana ou não – com algumas capacidades racionais. zUm EI tem diferentes tipos de infohabitantes, caracterizados pelas suas capacidades racionais e de raciocínio. zOs infohabitantes podem aceder a outras entidades computacionais – p.ex. motores de procura, resolvedores de restrições,...

19 Eco-Sistema de Informação (2) zOs infohabitantes comunicam e cooperam entre si por meio de raciocínios e métodos racionais, entre outros métodos. Formando assim um eco-sistema A Lógica como linguagem no EI A Lógica para exprimir as leis do EI z O EI monitora-se a si próprio

20 Eco-Sistema de Informação (3) zOs homens introduziram a Lógica para vários fins: para argumentar, para aprender, … zOs homens comportam-se e agem de modo racional. zO EI tem que interagir com homens. Os infohabitantes têm que actuar dentro do EI numa base racional

21 C o n c l u s õ e s IALógica leis do pensamento A IA, através de formas inovadoras de Lógica, continuará a ter grande alcance no identificar, formalizar, e implementar das leis do pensamento. IALógica computador A IA aceitou o desafio de abrir a Lógica à dinâmica do conhecimento em fluxo, usando o computador. IA conhecimento ecologia informacional racional O desenvolver da IA é essencial para lidar com os desafios de um conhecimento mais acumulado e mais distribuído, numa ecologia informacional em mudança, e racional !


Carregar ppt "Lógica, Inteligência Artificial, e Computador Luís Moniz Pereira Centro de Inteligência Artificial Departamento de Informática - UNL"

Apresentações semelhantes


Anúncios Google