Dissertação

Distributed Prolog Reasoning in the Cloud for Machine-2-Machine Interaction Inference EVALUATED

A interligação a nível aplicacional de vastos números de dispositivos não é uma tarefa trivial devido aos múltiplos protocolos e semânticas usados. O desenho de protocolos de tradução e de proxies mitigou o problema mas não oferece uma solução completa. O middleware baseado em ontologias tem o potencial de completar esta omissão. Neste trabalho propomos o desenho e implementação de um middleware baseado em ontologia destinado a aplicação em larga escala. O nosso desenho estende o motor de inferência convencional Prolog,particionando a sua base de dados através de uma DHT, e realizando a migração do contexto de avaliação de objectivos entre diferentes instâncias do motor. Assim, consegue-se elevada paralelismo através de um modelo de descentralizado de computação cooperativa. Os testes realizados demonstram que as penalizações introduzidas são largamente compensadas quando o volume de carga imposto ao sistema é elevado.
Arquitecturas descentralizadas, Computação cooperativa, Inferência distribuída, Middleware, Ontologias

Junho 28, 2013, 16:0

Publicação

Obra sujeita a Direitos de Autor

Orientação

ORIENTADOR

Luís Manuel Antunes Veiga

Departamento de Engenharia Informática (DEI)

Professor Auxiliar