A Lista Paradigma Lógico

Nome: Daniel Bonfleur.                                        RA: 1995820.

Lista Paradigma Lógico

1. Cite três características desse paradigma.

1. Sua programação se utiliza-se da lógica matemática, sendo John McCarthy (1958) foi o primeiro a propuser o uso da lógica matemática para programação.
2. Realizava invocações orientadas a padrões de planos procedimentais de asserções e de objetivo.
3. Utilizava estruturas de controle de backtracking, aonde eu um único caminho computacional tinha que ser armazenado por vez.

1. Quais as vantagens e desvantagens desse paradigma?

1. Vantagens: É a linguagem que mais se aproxima do raciocínio humano, e pode ser bem uteis em problemas aonde possam ser resolvidos por meio de dedução ou inferência.
2. Desvantagens: Os algoritmos são complexos e bem difíceis de serem expressados, e quanto maior for o código, mais exponencialmente fica a complexidade.

1. Quais as principais aplicações desse paradigma?

1. Ela é uma ótima ferramenta eficaz para desenvolver teorias, aonde vários problemas podem ser naturalmente expressos como teorias, assim a lógica pode proporcionar uma maneira de demonstrar a teoria em questão é verdadeira ou falsa. 

1. Dê exemplos de linguagens que pertencem a esse paradigma.

1. Prolog, QA-4, Popler, Conniver, Mercury, Oz e Frill.

1. Explique como funciona a linguagem Prolog.

1. É baseado em linguagem declarativa, significando que em vez de o programa estipular a maneira de chegar à solução, passo a passo, limitando-se apenas a fornecer uma descrição do problema que se pretende computar. Se utiliza de uma coleção de base de dados de fatos e de relações lógicas (regras) que exprimem o domínio relacional do problema a resolver.

1. Explique o conceito de átomo, fato, proposição e regras em uma linguagem lógica.

1. Átomo: São as constantes de texto, aonde sua sequência constituída de letras, números e underscore, mas iniciando com uma letra minúscula. Também é permitido utilizar-se de uma sequência de texto em aspas simples para ser um átomo, exemplo:

1. texto_exemplo_atomo;
2. ‘texto exemplo de um átomo’;

1. Fato: Para programar em lógica, é necessário fornecer fatos e regras para uma base de dados; assim é executado as consultas ou (queries) a essa base de dados, como exemplo:

1. estudante(Daniel).
2. ?- estudante(Daniel).
       verdade.
3. ?- estudante(Mateus).
       falso.
4. Estudante(x).
        x = Daniel.

1. Proposição: É toda a oração que declare algo, podendo ser valorada com a verdadeira ou falso, não podendo ter um caso aonde se encaixo nas duas opções. Nessa maneira, a frase deverá ter um sujeito e um predicado para que o candidato compreenda.
2. Regras: Pode ser chamada de “cláusula”, é quando se expressa uma condição entre dois fatos, contendo uma regra para que a condição seja aceita, exemplo:

1. luz(acessa) :- interruptor(ligado);

1. Explique o conceito de consultas e perguntas em uma linguagem lógica.

1. Consultas são a maneira de perguntar ao banco de dados, os fatos que estão contido para obter uma resposta de verdadeira ou falso, enquanto as perguntas são feitas para atribui-las em regras e obter uma resposta de múltiplos fatos que se correlacionam em regras.

1. Elabore 3 questões objetivas relacionadas a teoria da programação lógica. A questão deverá ter 4 opções sendo apenas uma correta.

1. Quais áreas mais se destacam-se utilizando Prolog?

1. Inteligência artificial e Orientada a Objetos.
2. Rede neurais e Orientada a Objetos;
3. Inteligência artificial e Linguística Computacional;
4. Linguística Computacional e Rede neurais;

1. Qual é a base da linguagem lógica?

1. Estrutura de ponteiro.
2. Lógica Matemática
3. Recursividade.
4. Loops de repetição.

1. O que faz uma regra em uma linguagem lógica?

1. Constante de string (texto), utilizada para armazenar frases, começando sempre com letras minúsculas, ou texto entre aspas.
2. É uma oração declarativa, podendo apenas ter duas opções de falso ou verdadeiro.
3. Atribuição de um fato a base de dados, aonde se utiliza dos fatos e regras para atribuir uma condição.
4. É uma expressão de uma condição entre dois fatos ou mais, contendo uma regra aonde a condição pode ou não ser aceitas.

...