Beruflich Dokumente
Kultur Dokumente
A lgica formal teve incio na Grcia antiga com os filsofos. Os filsofos demarcaram a
maioria das idias importantes sobre IA, mas o salto para uma cincia formal exigiu certo
nvel de formalizao matemtica em trs reas fundamentais: lgica, computao e
probabilidade.
Em 1879, gottlob frege estendeu a lgica de Boole para incluir objetos e relaes, criando
a lgica de primeira ordem que utilizada hoje.
Alfred Tarski (1902-1983) introduziu uma teoria de referncia que mostra como
relacionar os objetos de uma lgica a objetos do mundo real.
Mais e Mais ferramentas tem sido desenvolvidas para essa finalidade como por exemplo:
Modelagem Matemtica (MM), que a descrio, atravs de equaes ou tabelas, de um
problema.
Desvantagens:
Vantagens:
Permite criar modelos alternativos baseados neste mtodo, tais como as redes
bayesianas
.
Redes Bayesianas: Para descrever o mundo real, no necessrio usar uma enorme tabela
de probabilidades conjuntas para listar todas as combinaes dos eventos possveis.
P(x1,...,xn)= Pi=1,...,nP(xi|pais-de(xi))
Conjuntos Vagos: Foi analisado um mtodo de lidar com a incerteza que se baseia na
atribuio de um valor numrico a uma dada proposio que representa o grau de certeza
que depositada nessa mesma proposio.
Varivel lingstica:
Idade = {Muito_Jovem, Jovem, No_Jovem}
Jovem{(0.2,20),(0.6,25),(0.6,30),(0.4,35),(0.1,50),(0.05,55),(0.045,60),(0.005,65)}
Nao_Jovem{(0.001,20),(0.09,25),(0.15,30),(0.2,35),(0.3,50),(0.5,55),(0.6,60),(0.8,65)}
Podemos observar que a partir do termo primrio Jovem, esto definidos mais dois
conjuntos vagos por recurso aos quantificadores No e muito.
Para alm destes, existem ainda outros, tal como pouco, nada, razoavelmente e de modo
algum.
Existe uma grande base matemtica que envolve o produto cartesiano entre matrizes, o
que introduz complexidade.
Isto quer dizer que, dada a evidncia, o nosso grau de crena na hiptese dado pelo
valor de FC.
Vantagem:
Simples.
Desvantagem:
Foi muito utilizada nos primeiros sistemas periciais (Mycin, Dendrall, etc.) mas foi
caindo em desuso.