Return to search

Monk: proposta de um motor de inferência híbrido para a web semântica

Made available in DSpace on 2014-06-12T15:56:37Z (GMT). No. of bitstreams: 2
arquivo2957_1.pdf: 1211049 bytes, checksum: 7271cbf6edc1ea612933219d2dca57b6 (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2010 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Devido às limitações da Web Atua iniciou-se o desenvolvimento de
uma evolução da Web, denominada Web Semântica. Nesta nova Web, o
conteúdo e a apresentação das informações devem estar separados e
representados em uma notação adequada as novas necessidades da
comunidade digital. Devido a isso, várias áreas de pesquisa, como por
exemplo, a representação do conhecimento e o raciocínio automático, estão
trabalhando com o intuito de tornar a Web Semântica uma realidade.
Normalmente, o conhecimento é formado por várias partes e nem
sempre é possível representá-lo, apropriadamente, utilizando um único
formalismo de representação. Devido a isso, sistemas que lidam com
representações diferentes podem ser de grande ajuda. O objetivo deste
trabalho é estudar formalismos de representação de conhecimento e métodos
de raciocínio automático, para propor um motor de inferência híbrido,
chamado MONK, que possa ser utilizado na Web Semântica.
Para a criação do MONK foi utilizado como base o projeto do
sistema MANTRA. Foram mantidos os algoritmos de unificação (Martelli e
Montanari) e inferência (t-entailment), pois são algoritmos decidíveis e
eficientes, mas a arquitetura foi modificada para facilitar a inclusão futura
de novos formalismos, como Frames, Redes Semânticas e Lógica de
Descrições (usada na OWL, que é a linguagem padronizada para a Web
Semântica). O MONK dá ênfase a Lógica de Primeira Ordem (baseada em
uma Lógica de Quatro Valores), tornando-a seu formalismo padrão. Com
isso, desde que algum formalismo possua um mapeamento para a Lógica de
Primeira Ordem, ele poderá ser suportado pelo MONK sem que seja
necessário implementar novos algoritmos de raciocínio

Identiferoai:union.ndltd.org:IBICT/oai:repositorio.ufpe.br:123456789/2314
Date31 January 2010
CreatorsRibeiro Santana, Menandro
ContributorsLuiz Goncalves de Freitas, Frederico
PublisherUniversidade Federal de Pernambuco
Source SetsIBICT Brazilian ETDs
LanguagePortuguese
Detected LanguagePortuguese
Typeinfo:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis
Sourcereponame:Repositório Institucional da UFPE, instname:Universidade Federal de Pernambuco, instacron:UFPE
Rightsinfo:eu-repo/semantics/openAccess

Page generated in 0.002 seconds