Aplicação da lógica: Prolog na Inteligência Artificial Fernando Bombardelli da Silva \ William Bombardelli da Silva Turma: 2J Data: 03/06/2009.

Slides:



Advertisements
Apresentações semelhantes
Lógica Matemática e Computacional 7 – Introdução à Programação Lógica
Advertisements

Programação em Lógica Augusto Marks Batista Guilherme dos Santos Fujiyoshi Marlon Bill Santos.
Sistemas Baseados em Aprendizado (Aprendizado de Máquina)
Argumento Dedutivo Argumento Indutivo Não inclua premissas desnecessárias Todos os homens são mortais Todos os homens são mortaisPremissas Socrátes é homem.
Fundamentos de Sistemas Operacionais Aula 2 Princípios de Programação Prof. Belarmino.
O que é Inteligência Artificial O que é IA A inteligência artificial é um ramo de pesquisa da ciência da computação que busca, através de símbolos computacionais,
Algoritmos com Tempo Exponencial E. G. M. de Lacerda UFRN/DCA Maio de 2006.
PrologProlog Prof. Luthiano Venecian Elaborado pelo Prof. Luiz A. M. Palazzo Universidade Católica de Pelotas Centro Politécnico Laboratório de Programação.
Como funciona o processador Nomes: Fernando, Maurício, William Turma: 1J-1PC1 Disciplina: Fundamentos da Computação Curso: Técnico em Programação de Computadores.
Sistemas Baseados no Conhecimento Sistemas de Administração do Conhecimento Sistemas Especialistas 1.
Lógica de programação Introdução à lógica de programação Diagrama de bloco Programação Sequencial 1.
FLUXOGRAMA AULA 2 Prof. Anderson Hirata 2º sem de 2016.
PROLOG: Linguagem de programação Phillipe Eduardo Silva de Oliveira – Unirb – Sistema de Informação – Logica Matemática e Discreta.
PROLOG: Linguagem de programação Phillipe Eduardo Silva de Oliveira – Unirb – Sistema de Informação – Logica Matemática e Discreta.
Algoritmos e Programação utilizando Visualg
IFAC1 Hardware e software.
Linguagem Digital Introdução à Lógica Celso Medeiros 6EF B Tarde
Olá sou Willian Marques, natural de Minas Gerais que atualmente mora na cidade São Paulo. Programador.
Professor: Luiz José Hoffmann Filho
Educação Profissional Técnica de Nível Médio em Informática
Algoritmos e Estruturas de Dados I
Algoritmos e Estruturas de Dados I Prof. Dsc. Alex F. V. Machado
Teoria da Computação Prof. Msc. Ricardo Loiola
ESTRUTURA DE DADOS Professor: Marcelo Mendes Turma: MBI-1
Ciência da Computação E Sistemas de Informação UFC - Crateús
Introdução OO.
Tecnologias e Sistemas de Informação
Gestão de Projetos Perguntas para a 1ª Avaliação
Introdução ao VisuALG Prof. Andrew Rodrigues
Módulo I Capítulo 2: IDE e Variáveis
PROGRAMAÇÃO ORIENTADA A OBJETO - JAVA
Lógica aristotélica.
Programação - algoritmia
Prof. Wellington Franco
Programação Lógica: PROLOG
Módulo I Capítulo 1: Introdução ao curso
Inteligência Artificial
3ª aula RESOLUÇÃO PELO MÉTODO GRÁFICO UNIDADE 3
FUNDAMENTOS DE PROGRAMAÇÃO
UNIVERSIDADE DE SÃO PAULO
FUNDAMENTO DE PROGRAMAÇÃO PROF. BRUNO DE CASTRO H. SILVA
Introdução à programação orientada por objetos
Prof. Esp. Poliana Cássia Soares
INTELIGÊNCIA ARTIFICIAL PARA APLICAÇÃO EM ROBÓTICA Sílvia Ramos Santana, Robson Gonçalves Fechine Feitosa SEMIC Semana de Iniciação Científica do.
PROGRAMAÇÃO I UNIDADE 3.
TECNOLOGIA EM REDES DE COMPUTADORES INTRODUÇÃO A COMPUTAÇÃO Aula 1
Desenvolvimento em Camadas
Representação da Informação
Programação Estruturada Aula 1 Prof. Jorge Barreto Julho 2018.
Implementando soluções de IA utilizando os serviços cognitvos no Azure
Aprendizagem cooperativa e o problema de formação de grupos
Inteligência Artificial Aplicações de Árvore de Estados
INF 1771 – Inteligência Artificial
INF 1771 – Inteligência Artificial
CONJUNTOS.
Professora Roberta Bonamichi Guidi Garcia
LÓGICA FORMAL.
Introdução à Programação Apresentação da Disciplina 1º Semestre 2011 > PUCPR > Design Digital Bruno C. de Paula.
Introdução à Programação Apresentação da Disciplina 1º Semestre 2011 > PUCPR > Design Digital Bruno C. de Paula.
DSI – Desenvolvimento de Sistemas Inteligentes
CCT0672- Introdução a Programação Aula 01: Apresentação da ementa.
Computação Bioinspirada
Introdução a lógica de programação Tipos de algoritmos.
Apresentação da Disciplina Disciplina: Linguagens de Programação Prof. Antonio Oseas.
Representação de Algoritmos
O que é Programação? = ABSTRAÇÃO!
LÓGICA FORMAL O CONCEITO E O TERMO. LÓGICA FORMAL Lógica do Conceito É o ramo da lógica formal que cuida das regras do bem pensar, ou do pensar. É o ramo.
Minuto Ciência Ciências do ambiente. Inteligência Artificial É um ramo da ciência da computação que se propõe a elaborar dispositivos que simulem a capacidade.
Inteligência Artificial e Machine Learning no Power Bi
Transcrição da apresentação:

Aplicação da lógica: Prolog na Inteligência Artificial Fernando Bombardelli da Silva \ William Bombardelli da Silva Turma: 2J Data: 03/06/2009

2 Inteligência Artificial A Inteligência Artificial é uma área de pesquisa da Ciência da Computação que busca métodos ou dispositivos computacionais que possuam ou simulem a capacidade humana de resolver problemas, pensar ou, ser inteligente, logo procura reproduzir virtudes humanas como criatividade, auto- aperfeiçoamento e uso da linguagem. Na inteligência artificial a lógica é extensivamente utilizada, e requer profissionais altamente especializados e laboratórios equipados com super computadores.

3 Desenvolvimento de I.A. - Prolog Prolog é uma linguagem de programação que se enquadra no paradigma de programação lógica. É essencialmente associada a problemas de inteligência artificial. Programação lógica, chamada de quinta geração, é aquela onde o programador não se preocupa no controle das rotinas, se concentrando somente em resolver o problema lógico. Prolog é perfeitamente implementado nos algoritmos de busca, como o backtracking, e de jogos, como dama e xadrez.

4 Desenvolvimento de I.A. - Prolog No prolog, o código é constituído por uma lista de premissas, e o próprio programa gerencia o controle da execução das tarefas. Assim o programador escreve quase em linguagem natural, facilitando o desenvolvimento e o entendimento de soluções complexas, como inteligência artificial. Um programa Prolog é formado por cláusulas. Há dois tipos básicos de cláusulas: fatos e regras.

5 Prolog - Fatos Em Prolog os fatos são declarações de afirmações, é como se definir características que poderão ser posteriormente questionadas. Ex: progenitor(joão, josé). ?-progenitor(joão,josé). feminino(maria). masculino(mário). ?-masculino(maria).

6 Prolog - Regras Em Prolog regras são condições (se-então), a cláusula da esquerda é verdadeira se, e somente se, a da direita for também. É usado o operador “:-” para separar as duas cláusulas, a “,” indica conjunção (e) e o “\+” negação (não). Ex: luz(acesa) :- interruptor(ligado). filho(Y, X) :- progenitor(X, Y). mãe(X, Y) :- progenitor(X, Y), feminino(X). avô(X, Z) :- progenitor(X, Y), progenitor(Y, Z). legal(X) :- \+ ilegal(X).

7 Prolog - Exemplo Linguagem natural Todos os homens são mortais. Sócrates é um homem. Sócrates é mortal. Prolog mortal(X) :- homem(X). homem(sócrates). ?-mortal(sócrates).

8 Prolog – Exemplo de I.A. Procurar as chaves perdidas numa casa: encontradas(chaves) :- estão(sala). encontradas(chaves) :- estão(hall). encontradas(chaves) :- estão(quarto2). encontradas(chaves) :- estão(quarto1). encontradas(chaves) :- estão(quarto0). encontradas(chaves) :- estão(cozinha). encontradas(chaves) :- estão(banheiro). ?-encontradas(chaves).

9 Fontes Wikipédia – Inteligência artificial Wikipédia – Prolog Introdução à programação prolog – Luiz A. M. Palazzo C completo e total – Hebert Schildt