Redes semnticas e orientao ao

objeto

Disciplina: Inteligncia Artificial

Curso: Sistemas de Informao
Faculdade Anhanguera de Osasco
Universidade Anhanguera de S. Paulo (UNIAN)
2015-04-01
Prof. Hilton Garcia Fernandes
 Agenda
Charles Santiago Sanders Pierce, o precursor
Ontologia palavra difcil, conceito simples
A ontologia em biologia
Ontologia em matemtica
Programao orientada ao objeto
Redes semnticas para pesquisa de informaes
Referncias
Charles Santiago Sanders Peirce, o
precursor
Charles Sanders Peirce foi um qumico, lgico
e filsofo americano do final do sculo 19.

http://en.wikipedia.org/wiki/Charles_Sanders_Peirce
Charles Santiago Sanders Peirce, o
precursor
Sua obra muito ampla e influencia trabalhos
desde a lgica formal
Lembram das tabelas de verdade ?
at a crtica de arte.
Passando pela filosofia.

http://en.wikipedia.org/wiki/Charles_Sanders_Peirce
Charles Santiago Sanders Pierce, o
precursor (cont.)
H pesquisadores atuais
Por exemplo na PUC-SP
que so fans de carteirinha de Charles
Sanders Pierce.

http://en.wikipedia.org/wiki/Charles_Sanders_Peirce
Charles Santiago Sanders Peirce, o
precursor (cont.)
possvel entender essa idolatria:
Encontramos suas ideias no comeo de muitas
reas em cincia e filosofia.
Uma delas justamente as redes semnticas,
que iremos discutir hoje [1].
Charles Santiago Sanders Peirce, o
precursor (cont.)
Apesar da profundidade e da qualidade de
seu trabalho, Peirce cometeu um erro pessoal
nos EUA do sculo 19:
Divorciou-se.

http://en.wikipedia.org/wiki/Charles_Sanders_Peirce
Charles Santiago Sanders Pierce, o
precursor (cont.)
Mesmo previsto em lei, o divrcio era
considerado incompatvel com a figura de um
professor de universidade.
Isso fechou as portas de muitas universidades
para ele.
Charles Santiago Sanders Peirce, o
precursor (cont.)
Pierce foi muito ajudado por William James,
fundador da moderna psicologia norte-
americana.
Ao ponto de alterar seu nome para agradecer.
Tiago o equivalente em espanhol de James.
Santiago como se diz So Thiago em espanhol.

http://en.wikipedia.org/wiki/Charles_Sanders_Peirce
Charles Santiago Sanders Peirce, o
precursor (cont.)
Peirce criou as redes semnticas como grafos
existenciais [1].
Ele as chamava de a lgica do futuro [2].

http://en.wikipedia.org/wiki/Semantic_network
Charles Santiago Sanders Peirce, o
precursor (cont.)
Neste ponto, ele tambm estava correto:
Hoje somos muito visuais.
Talvez mais do que nunca, hoje
uma imagem vale mais do que mil palavras.

http://en.wikipedia.org/wiki/Semantic_network
Ontologia palavra difcil, conceito
simples
Em poucas palavras, a ontologia tenta
classificar objetos e seres de modo
sistemtico, de acordo com suas
propriedades.
Ontologia palavra difcil, conceito
simples (cont.)
Foi criada por Parmnides, 5 sculos antes de
Cristo.

http://en.wikipedia.org/wiki/Parmenides
Ontologia palavra difcil, conceito
simples (cont.)
muito influente em biologia:
A botnica , principalmente, uma ontologia de
vegetais.
A zoologia , principalmente, uma ontologia de
animais.
A ontologia em biologia

http://en.wikipedia.org/wiki/Kingdom_%28biology%29
 A ontologia em biologia (cont.)
Em biologia, espcie e gnero so os mais
fceis de se entender:
Espcie seria o nome prprio de um tipo de ser
vivo;
Gnero seria o nome de famlia.
 A ontologia em biologia (cont.)
Por exemplo, no gnero candeos:
Canis lupus o lobo selvagem;
Canis aureus o chacal dourado.

http://en.wikipedia.org/wiki/Canidae
 A ontologia em biologia (cont.)
Ambos, chacal e lobo, tm muito em comum.
Por esta razo, so agregados em um mesmo
gnero.
 A ontologia em biologia (cont.)
Outros animais, como o gato, no tm essa
mesma semelhana.
Mas ainda assim, tm bastante em comum.
O suficiente para fazerem parte de uma
mesma famlia, os carnvoros.
 A ontologia em matemtica
Existe uma classificao dos conjuntos de
nmeros que uma ontologia.
Em primeiro lugar, os nmeros naturais.
 A ontologia em matemtica (cont.)
Os matemticos dizem que Deus inventou os
nmeros naturais.
E os matemticos criaram todos os outros
nmeros...
 A ontologia em matemtica (cont.)
Os nmeros naturais, representados pela letra
, so indicativos de contagens.
Uma definio comum que so cardinais, ou
resultado de contagem de elementos de
conjuntos.
 A ontologia em matemtica (cont.)
O conjunto vazio tem o cardinal zero.
{}
O conjunto unitrio tem o cardinal 1.
{a}
 A ontologia em matemtica (cont.)
Supondo dois conjuntos unitrios com objetos
diferentes
{a} e {b}
sua unio ser o conjunto
{a, b}
cujo cardinal 2.
 A ontologia em matemtica (cont.)
Repetindo o processo de unir a um conjunto j
existente um conjunto unitrio com elemento
ainda no contido no conjunto anterior, so
gerados todos os nmeros naturais:
3, 4, 5, 6....
 A ontologia em matemtica (cont.)
A operao de soma pode ser entendida
como unir conjuntos.
A operao de subtrao pode ser entendida
como a retirada de elementos de um conjunto.
 A ontologia em matemtica (cont.)
Por exemplo, quando se retiram 3 elementos
de um conjunto de 4 elementos, resta apenas
um conjunto unitrio.
Isto :
4-3
Equivale a
{a,b,c,d} {b,c,d} = {a}
 A ontologia em matemtica (cont.)
Naturalmente, o conjunto que vai ter
elementos retirados tem que ter mais
elementos do que aqueles que vo ser
retirados.
 A ontologia em matemtica (cont.)
Os nmeros inteiros so simbolizados por .
Eles surgem quando se permite fazer
subtraes
a-b
nas quais o nmero b a ser subtrado
maior do que o nmero a do qual se vai
subtrair.
 A ontologia em matemtica (cont.)
Os nmeros racionais so simbolizados por
.
Eles surgem quando se permite fazer uma
diviso
a/b
nas quais o nmero a a ser dividido no
mltiplo do nmero b.
E, neste caso, o resto no ser ignorado.
 A ontologia em matemtica (cont.)
Por exemplo, operando apenas nos nmeros
inteiros, a diviso
3 2
igual diviso
2 2
j que, nos inteiros, no existe a parte
fracionria.
 A ontologia em matemtica (cont.)
Por ltimo, nos nmeros reais, cujo smbolo
, admitem-se nmeros que no so
resultado da diviso de dois inteiros a e b.
Por exemplo, , ou pi, que a razo entre a
metade do comprimento de um crculo e seu
raio.
 A ontologia em matemtica (cont.)
Na hierarquia de conjuntos de nmeros, que
vai de a pode-se dizer que mais
especializado,
Em poucas operaes podem ser feitas. E
em qualquer uma das 4 operaes bsicas
podem ser realizadas.
 Programao orientada ao objeto
Embora existam outras operaes em UML,
no exagero dizer que em OOP todo objeto
composto de duas formas:
Composio;
Herana.
 Programao orientada ao objeto
Embora existam outras operaes em UML,
no exagero dizer que em OOP todo objeto
composto de duas formas:
Composio;
Herana.
 Programao orientada ao objeto
(cont.)
Composio o ato de compor um objeto
usando outros como partes dele.
 Programao orientada ao objeto
(cont.)
Por exemplo, os objetos do tipo
Funcionario podem ser compostos assim:
public class Funcionario {
int id;
String nome;
float salario;
/* Mtodos */
...
};
 Programao orientada ao objeto
(cont.)
Por exemplo,
nome isPartOf Funcionrio
 Programao orientada ao objeto
(cont.)
Ou seja, o atributo nome faz parte dos
objetos da classe Funcionrio.
Naturalmente, no vale a recproca:
Funcionrio is not Part Of nome.
 Programao orientada ao objeto
(cont.)
Por outro lado, os objetos da classe Diretor
poderiam ser criados por herana:
public class Diretor extends Funcionario
{
Setor chefiado;
/* Mtodos */
.
};
 Programao orientada ao objeto
(cont.)
No exemplo dado,
Diretor isA Funcionrio.
Isto : todo Diretor um Funcionrio.
 Programao orientada ao objeto
(cont.)
Em outras palavras, a herana cria relaes
do tipo isA.
 Programao orientada ao objeto
(cont.)
Mas no vale a recproca:
Nem todo Diretor um Funcionrio.
 Programao orientada ao objeto
(cont.)
Ou seja: vale dizer que Diretor um caso
especializado de Funcionrio.
 Programao orientada ao objeto
(cont.)
Esse tipo de decomposio tende a gerar
rvores.
Estruturas de dados onde h apenas uma forma
de chegar at um n;
So estruturas hierrquicas, onde h um n
central (raiz) e seus descendentes;
Alm disso, cada n se relaciona apenas com seu
superior.
 Programao orientada ao objeto
(cont.)
So estruturas muito usadas em CAD
(Computer Aided Design) e CAM, ou
Computer Aided Manufacturing.
Ali recebem o nome de montagem, ou
assembly.
 Programao orientada ao objeto
(cont.)
Exemplo de uma montagem inicial para um
carro.
 Programao orientada ao objeto
(cont.)
Em uma linguagem orientada ao objeto com
herana simples, como Java, a representao
de heranas tambm uma rvore.
 Programao orientada ao objeto
(cont.)
Infelizmente, em linguagens com herana
mltipla, como C++ ou Python, os grafos de
herana no so mais to simples.
 Programao orientada ao objeto
(cont.)
Um exemplo clssico o chamado Diamante
de Nixon.

[7]
 Programao orientada ao objeto
(cont.)
Ele nos informa que Richard M. Nixon, ex-
presidente dos EUA, pertencia tanto classe
Quaker (uma religio evanglica), quanto
classe dos filiados ao Partido Republicano dos
EUA.

[7]
 Programao orientada ao objeto
(cont.)
Os Quakers tm a tradio de serem
pacifistas.
Mas os polticos republicanos no o so.
Na representao do conhecimento sobre
Nixon indica-se com um trao a caracterstica
que ele no era pacifista.

[7]
 Programao orientada ao objeto
(cont.)
Assim, em linguagens de programao com
herana mltipla:
Pode haver conflitos entre diferentes classes
base;
preciso haver um recurso para resolver os
conflitos.

[7]
Redes semnticas para pesquisa de
informaes
As redes semnticas podem ser usadas para
representar conhecimento.
Toda estrutura de dados pode ser
representada pelo modelo relacional das
bases de dados.
Redes semnticas para pesquisa de
informaes (cont.)
Contudo, muito mais intuitivo ver as
relaes representadas por estes arcos.
Uma prova disso o silogismo
Todo homem mortal
Scrates homem
----------------------------
Portanto, Scrates mortal.
Redes semnticas para pesquisa de
informaes (cont.)
Em termos de lgica formal, podemos pensar nos
predicados
Mx: x mortal;
Hx: x homem; e
Hs: Scrates homem.
Redes semnticas para pesquisa de
informaes (cont.)
Assim, o silogismo seria representado por
x Hx Mx
Hs
------------------------
Ms
Redes semnticas para pesquisa de
informaes (cont.)
Uma representao ainda mais compacta seria:
((x Hx Mx) Hs) Ms
Essa forma pode ser lida:
Os fatos de que todo humano mortal e de que
Scrates humano implicam que Scrates
mortal.
Redes semnticas para pesquisa de
informaes (cont.)
Contudo, a representao por redes semnticas
consideravelmente mais simples. Ela apenas:
Redes semnticas para pesquisa de
informaes (cont.)
A rede semntica mais antiga que se conhece
de Porfrio, filsofo da Grcia clssica.
Foi representada na Idade Mdia (1239 AD)
pelo lgico Pedro da Espanha.

[7]
Redes semnticas para pesquisa de
informaes (cont.)

[7]
Redes semnticas para pesquisa de
informaes (cont.)
A classificao de Porfrio
como um grafo
orientado.

[7]
 Referncias
1.Russel, S.; Norvig, P. Artificial Intelligence, A Modern
Approach. Prentice-Hall, 2010.
2.Charles Sanders Peirce
http://en.wikipedia.org/wiki/Charles_Sanders_Peirce
Visitado em 31/03/2015
3.Semantic network
http://en.wikipedia.org/wiki/Semantic_network
Visitado em 31/03/2015
4.Parmenides
http://en.wikipedia.org/wiki/Parmenides
Visitado em 31/03/2015
 Referncias (cont.)
5.Kingdom (biology)
http://en.wikipedia.org/wiki/Kingdom_%28biology%
Visitado em 31/03/2015
6.Canidae
http://en.wikipedia.org/wiki/Canidae
Visitado em 31/03/2015
7.Sowa, John. Semantic networks