02/04/2016 lógica

Lógica paraconsistente C1
-------------------------------------------------------------------------------------------------------------------------
1941 - um brasileiro e um polonês, mas com outro nome

paraconsistente==ao lado da consistência

se pode ter v(A)=1, v(¬A) pode ser que seja 1 também
por causa disso, na ora de dar valoração para uma partícula, se teria que se especificar tanto de A quanto de ¬A

porém, se v(¬A)=0, v(A)=1 necessáriamente

°A def= ¬ (A^¬A)
-------------------------------------------------------------------------------------------------------------------------
1) qual o principal motivo para a criação da lógica paraconsistente?
2) por que a lógica paraconsistent é importante para a I.A.?
3) escreva uma frase que você julgue aplicável a lógica paraconsistente.



-------------------------------------------------------------------------------------------------------------------------
Formas normais
-------------------------------------------------------------------------------------------------------------------------
Forma Normal Conjuntiva
-------------------------------------------------------------------------------------------------------------------------
clausula= disjunção (v) de literais
ex1: (pvqvr)
ex2: p
ex3: ¬q
-------------------------------------------------------------------------------------------------------------------------
fnc= conjunção de clausulas (^)
ex1: (pvqvr)^(qvrvs)^(rvavb)
ex2:p^q
-------------------------------------------------------------------------------------------------------------------------
usar equivalências notáveis para fazer conversões de operadores
*(x->y) |-> (¬xvy)

*(¬(xvy) |-> ¬x^¬y)
*(¬(x^y) |-> ¬xv¬y))

*¬¬x|->x

*xV(y^z)|->(xvy)^(xvz)
-------------------------------------------------------------------------------------------------------------------------
ex:
A^(BV(D^E))==A^((BVD)^(BVE))==(A)^(BVD)^(BVE)
-------------------------------------------------------------------------------------------------------------------------
Algoritmo com adição d átomos *não cobrado*
-------------------------------------------------------------------------------------------------------------------------
Forma normal disjuntiva
-------------------------------------------------------------------------------------------------------------------------
clausula dual: em vez de V tem ^
(X^Y) V (X^Z)
-------------------------------------------------------------------------------------------------------------------------
exercícios
1)
((pvq)-> ¬(qVr))) == (¬(pvq) V ¬(qVr) ) == ((¬p^¬q)V(¬q^¬r)) forma normal disjutiva
((¬p^¬q)V(¬q^¬r)) == (¬pV(¬q^¬r))^(¬qV(¬qV¬r))
(¬pV¬q)^(¬pV¬r)^(¬qV¬q)^(¬qV¬r)
-------------------------------------------------------------------------------------------------------------------------


-------------------------------------------------------------------------------------------------------------------------
CLojure
-------------------------------------------------------------------------------------------------------------------------
dialeto== expansão da linguagem lisp
integra as funções do lisp com o java
usa o paradígma funcional e foi projetado para programação concorrente(em paralelo)
-------------------------------------------------------------------------------------------------------------------------
muito util para processar grande volume de dados (como datamining)
-------------------------------------------------------------------------------------------------------------------------
usa operação polonesa (+ 1 1) para 1+1 por exemplo == operadores vem antes
-------------------------------------------------------------------------------------------------------------------------
vetores
>[1 2 3]
na versão online, se consegue usar vetores, ma não fazer operação com vetores >>> precisa de uma biblioteca
se poderia contatenar, somar, multiplicar os termos de 2 vetores 1 a 1

se pode criar com fn também >>> não fica na memória, não é declarada. Só é usada na hora
-------------------------------------------------------------------------------------------------------------------------
possui read-eval-print loop
-------------------------------------------------------------------------------------------------------------------------
como instalar no linux
pasta sudo apt-get install clojure1.6 e depois o lein
-------------------------------------------------------------------------------------------------------------------------
windows = baixar o lein que ele puxa o clojure