Академический Документы
Профессиональный Документы
Культура Документы
Paradigma Lgico
Um breve histrico
1950........................................................................................................ FORTRAN 1960.......................ALGOL-60...........COBOL......LISP......................... SIMULA ALGOL-68 PL/I BASIC 1970..................Pascal............................................................................ Smalltalk C PROLOG Modula-2 ML 1980....................Ada...........DBASE-II.................................................. Miranda Eifell C++ 1990.....................................................................Haskell..........Godel... Java Delphi
Orientado a objetos
Paradigmas de Programao 1
Imperativo
Funcional
Lgico
2
Paradigmas de Programao
Paradigma Lgico
Baseado em lgica simblica Utiliza inferncia lgica para produzir resultados. Desenvolvida para prova automtica de teoremas. Tambm chamado linguagem declarativa.
Paradigma Lgico
Inferncia utiliza a induo para a resoluo dos teoremas. Raciocnio
Indutivo
TODO P4 P3 P2 P1 Pn P5
Paradigmas de Programao
Paradigmas de Programao
Paradigma Lgico
Mauricio pensa Waldomiro pensa Ettore pensa .................. Ronaldo pensa .................. Logo: Todos os homens pensam!
Paradigma Lgico
Programao Lgica
Composto por um conjunto de fatos Coleo de regras de inferncia que estabelecem relaes entre os fatos Verificar a validade de novas proposies.
ilao ou inferncia
conhecimento geral
Joo ladro Fernando ladro Manoel ladro ....................... Logo: Todos os homens so ladres!
Paradigmas de Programao
Paradigmas de Programao
Paradigma Lgico
Clculo de Predicados
Proposio uma afirmao que pode ser verdadeira ou falsa. Pode envolver diversos objetos e suas relaes. Lgica formal prov meios para descrever proposies formalmente para verificao de sua veracidade. Lgica simblica: expressa proposies, relacionamentos entre proposies e descreve o processo de inferncia a partir das proposies verdadeiras.
Paradigmas de Programao 7
Paradigma Lgico
Proposies
Objetos representados por: termos simples, constantes ou variveis. Ex: homem, mulher, Joo, x, y Proposies atmicas consistem em termos compostos.
Paradigmas de Programao
Paradigma Lgico
Proposies
Termos compostos = elemento de uma relao matemtica escrito com aparncia de notao de funo matemtica. Formado de functor e uma lista de parmetros Ex.: homem(joo) -> 1-Tupla gosta(maria, arroz) -> 2-Tupla
Paradigma Lgico
Proposies Compostas
So compostas de duas ou mais proposies atmicas, ligadas por conectores lgicos.
Paradigmas de Programao
Paradigmas de Programao
10
Paradigma Lgico
Nomes e smbolos dos conectores lgicos:
Paradigma Lgico
Quando se utiliza variveis em proposies estas devem ser introduzidas por um quantificador.
Paradigmas de Programao
11
Paradigmas de Programao
12
Paradigma Lgico
Forma Clausal
Forma padro de compor uma proposio.
Tanto os A quanto os B so termos. Significa que se todos os As forem verdadeiros pelo menos um dentre os Bs ser verdadeiro. Lado direito = antecedente Lado esquerdo = conseqente
Paradigmas de Programao 13
Paradigma Lgico
Resoluo
uma regra de inferncia a ser aplicada na resoluo de uma forma clausal.
Paradigmas de Programao
14