Lógica, Inteligência Artificial,
e Computador
Luís Moniz Pereira
Centro de Inteligência Artificial
Departamento de Informática - UNL
http://centria.fct.unl.pt/~lmp/
Email: [email protected]
27 de Maio, 2002
Sumário
A Evolução e o Raciocínio
A Lógica e o Computador
Incidência da IA na Lógica
Agentes Racionais
Eco-Sistemas de Informação
Conclusões
A Evolução e o Raciocínio
A Evolução deu aos seres humanos:
pensamento simbólico
capacidade de comunicação em linguagem simbólica
A ubiquidade da Lógica no raciocínio,
e na representação do conhecimento,
resulta da sua capacidade em conseguir:
uma compreensão apoiada na racionalidade
uma objectividade comum
A Evolução e o Raciocínio (2)
Novos métodos de raciocinar foram inventados
ao longo da História humana:
 prova por contradição (ou por redução ao absurdo)
 indução transfinita
 recursão
 abdução
 remoção de contradições, etc.
A IA automatiza e melhora os antigos métodos,
e cria ainda métodos novos.
Inteligência Artificial
 O campo da Inteligência Artificial “IA” pretende
compreender as entidades inteligentes.
 Uma das razões para as estudar será para nos
compreendermos melhor.
 Ao contrário da filosofia ou da psicologia, que
também se interessam pela inteligência, a IA
pretende ainda construir entidades inteligentes.
 E nesse aspecto a IA é uma ciência do artificial,
como uma engenharia, ocupada com a totalidade
dos aspectos relevantes às suas construções.
Teorema da Completude !
É verdade que as circunferências são o lugar
geométrico dos pontos equidistantes do centro
[O quê]
Teorema da Completude
“Algo é logicamente
verdadeiro,
se e só se
fôr calculável
por um computador ”
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”
A Lógica e o Computador
A 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.
A 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
A Lógica e o Computador (2)
A perspectiva intensional e a extensional são
conciliadas no computador impondo:
semântica declarativa
“o que” é computado

semântica procedimental
“o como” é computado
Esta é a pedra angular do paradigma da
Programação em Lógica
Impacto da IA na Lógica
A IA pretende mecanizar a Lógica
A IA visa explicitar, e bem definir, o uso
subconsciente da Lógica (como a Gramática à Língua)
A IA contribui para formular, identificar e
examinar a questão das limitações dos métodos
simbólicos de raciocínio
A IA ajuda a explorar novos tópicos e métodos de
raciocínio, e a combiná-los segundo novas
funcionalidades
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…
A 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.
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.
projecto MENTAL: Visámos estabelecer, em bases
teóricas seguras, o desenho de uma arquitectura
global, interna e externa, para agentes mentais.
Agentes Mentais (2)
Um agente mental deve ser capaz de:
administrar o seu conhecimento, crenças, e intenções
planear, ao receber nova informação e instruções
reagir às condições em mudança do ambiente
interagir com outros agentes trocando mensagens
reagir aos pedidos de outros agentes
Evolução dos Agentes
Os agentes interagem com
crescentemente mais complexos
mundos
Não é viável prever e pré-programar todas
as situações possíveis
É preciso passar dos agentes meramente
reactivos para os agentes racionais
Evolução dos Agentes (2)
Os agentes com conhecimento completo e
capacidades genéricas não são factíveis
Agentes especializados
A cooperação entre agentes é necessária
Lógica para Agentes
A Programação em Lógica tem desenvolvido
mecanismos apropriados a agentes racionais:
Não monotonicidade
Taxonomias
Abdução
Revisão de crenças
Preferências
Actualizações
Regras condição-acção
Planeamento
Argumentação
Aprendizagem
É necessário mais trabalho na
combinação destes mecanismos
entre si
Para além dos Agentes
Problema: Dentro de 10 anos a quantidade de
informação disponível será avassaladora!
Os seres humanos não conseguirão seleccionar
e obter tal informação com a tecnologia actual –
“world-wide computing”, “mobile code”, etc.
Rumo à noção de Eco-Sistema de Informação
Eco-Sistema de Informação (EI)
Um infohabitante de um EI é uma entidade –
humana ou não – com algumas capacidades
racionais.
Um EI tem diferentes tipos de infohabitantes,
caracterizados pelas suas capacidades racionais
e de raciocínio.
Os infohabitantes podem aceder a outras
entidades computacionais – p.ex. motores de
procura, resolvedores de restrições, ...
Eco-Sistema de Informação (2)
Os infohabitantes comunicam e cooperam entre
si por meio de raciocínios e métodos racionais,
entre outros métodos.
Formando assim um eco-sistema
 O EI monitora-se a si próprio
A Lógica como linguagem no EI
A Lógica para exprimir as leis do EI
Eco-Sistema de Informação (3)
Os homens introduziram a Lógica para vários
fins: para argumentar, para aprender, …
Os homens comportam-se e agem de modo
racional.
O EI tem que interagir com homens.
Os infohabitantes têm que actuar
dentro do EI numa base racional
Conclusões
A IA, através de formas inovadoras de Lógica,
continuará a ter grande alcance no identificar,
formalizar, e implementar das leis do pensamento.
A IA aceitou o desafio de abrir a Lógica à dinâmica
do conhecimento em fluxo, usando o computador.
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 !
Download

Slides - centria