bibliotecas incluindo sua própria biblioteca para GUI XPCE ferramentas

Bibliotecas incluindo sua própria biblioteca para

This preview shows page 38 - 47 out of 83 pages.

bibliotecas (incluindo sua própria biblioteca para GUI, XPCE), ferramentas (incluindo um IDE) e uma documentação extensiva. SWI-Prolog funciona nas plataformas Unix, Windows e Macintosh. O nome SWI é derivado de Sociaal-Wetenschappelijke Informatica ("Ciências Sociais Informática"), o antigo nome do grupo na Universidade de Amsterdão onde Wielemaker está empregado. O nome desse grupo mudou para HCS (Human-Computer Studies).
Image of page 38

Subscribe to view the full document.

Prolog Escreva, na base de conhecimento, o seguinte: – humano(joao). Com isso, você está afirmando que joao é humano. humano(joao), nesse contexto, é um fato. Agora, na área de consulta, escreva o seguinte: – humano(joao). Você está fazendo uma consulta: joao é humano? Na área de resultados, o interpretador vai responder true.
Image of page 39
Prolog Outras consultas para testar: – humano(shrek). – humano(caetano). – humano(X). false significa “não é possível provar que é verdadeiro” (hipótese do mundo fechado).
Image of page 40

Subscribe to view the full document.

Prolog Vamos tentar um exemplo mais completo. Digite o seguinte na base de conhecimento: – humano(joao). – humano(maria). – humano(pedro). – mulher(maria). – homem(joao). – homem(pedro).
Image of page 41
Prolog Agora digite a seguinte consulta: – humano(X). Nesse contexto, X é uma variável. O interpretador Prolog vai retornar todos os valores de X para os quais humano(X) é verdadeiro. Nesse caso, o resultado vai ser X = joao, X = maria e X = pedro.
Image of page 42

Subscribe to view the full document.

Prolog Se sabemos que joao é homem, não deveríamos precisar dizer que ele é humano, pois todo homem é humano! A mesma lógica vale para as mulheres! Podemos inserir regras na nossa base de conhecimento: humano(X) :- homem(X). humano(X) :- mulher(X). – mulher(maria). – homem(joao). – homem(pedro).
Image of page 43
Prolog As duas primeiras linhas são regras, que podem ser traduzidas como: Se X é homem, então X é humano. Se X é mulher, então X é humano. Agora realize a consulta humano(joao). Qual é o retorno? Realize também a consulta humano(X). Qual é o retorno?
Image of page 44

Subscribe to view the full document.

Prolog – Conceitos Um programa em Prolog é uma base de conhecimento que contém cláusulas finalizadas por ponto (.) . Essas cláusulas representam o que sabemos sobre o mundo. – Uma cláusula pode ser um fato ou uma regra. Uma regra possui cabeça e corpo, no formato cabeça :- corpo. A interpretação da regra é “se o corpo é verdadeiro, então a cabeça é verdadeira”. Identificadores começados por letras minúsculas são átomos, que representam objetos específicos do nosso mundo. Identificadores começados por letras maiúsculas são variáveis.
Image of page 45
Prolog – Conceitos Uma variável tem validade apenas dentro da cláusula onde se encontra. Assim, duas ocorrências de X na mesma cláusula correspondem à mesma variável: % Se X for joao e pensa(joao) é verdadeiro, % concluímos que existe(joao).
Image of page 46

Subscribe to view the full document.

Image of page 47
  • Summer '19
  • Arthur Mariano
  • Lógica, Inteligencia artificial, Biblioteca, Computador, informação

What students are saying

  • Left Quote Icon

    As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

    Student Picture

    Kiran Temple University Fox School of Business ‘17, Course Hero Intern

  • Left Quote Icon

    I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

    Student Picture

    Dana University of Pennsylvania ‘17, Course Hero Intern

  • Left Quote Icon

    The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

    Student Picture

    Jill Tulane University ‘16, Course Hero Intern

Ask Expert Tutors You can ask 0 bonus questions You can ask 0 questions (0 expire soon) You can ask 0 questions (will expire )
Answers in as fast as 15 minutes