Efficient paraconsistent reasoning with rules and ontologies for the semantic web

Ontologies formalized by means of Description Logics (DLs) and rules in the form of Logic Programs (LPs) are two prominent formalisms in the field of Knowledge Representation and Reasoning. While DLs adhere to the OpenWorld Assumption and are suited for taxonomic reasoning, LPs implement reasoning under the Closed World Assumption, so that default knowledge can be expressed. However, for many applications it is useful to have a means that allows reasoning over an open domain and expressing rules with exceptions at the same time. Hybrid MKNF knowledge bases make such a means available by formalizing DLs and LPs in a common logic, the Logic of Minimal Knowledge and Negation as Failure (MKNF). Since rules and ontologies are used in open environments such as the Semantic Web, inconsistencies cannot always be avoided. This poses a problem due to the Principle of Explosion, which holds in classical logics. Paraconsistent Logics offer a solution to this issue by assigning meaningful models even to contradictory sets of formulas. Consequently, paraconsistent semantics for DLs and LPs have been investigated intensively. Our goal is to apply the paraconsistent approach to the combination of DLs and LPs in hybrid MKNF knowledge bases. In this thesis, a new six-valued semantics for hybrid MKNF knowledge bases is introduced, extending the three-valued approach by Knorr et al., which is based on the wellfounded semantics for logic programs. Additionally, a procedural way of computing paraconsistent well-founded models for hybrid MKNF knowledge bases by means of an alternating fixpoint construction is presented and it is proven that the algorithm is sound and complete w.r.t. the model-theoretic characterization of the semantics. Moreover, it is shown that the new semantics is faithful w.r.t. well-studied paraconsistent semantics for DLs and LPs, respectively, and maintains the efficiency of the approach it extends.

Teleoperation of a service robot using a mobile device

Teleoperation is a concept born with the rapid evolution of technology, with an intuitive meaning "operate at a distance." The first teleoperation system was created in the mid 1950s, which were handled chemicals. Remote controlled systems are present nowadays in various types of applications. This dissertation presents the development of a mobile application to perform the teleoperation of a mobile service robot. The application integrates a distributed surveillance (the result of a research project QREN) and led to the development of a communication interface between the robot (the result of another QREN project) and the vigilance system. It was necessary to specify a communication protocol between the two systems, which was implemented over a communication framework 0MQ (Zero Message Queue). For the testing, three prototype applications were developed before to perform the test on the robot.

Transactions in dynamic reactive environments

Most of today’s systems, especially when related to the Web or to multi-agent systems, are not standalone or independent, but are part of a greater ecosystem, where they need to interact with other entities, react to complex changes in the environment, and act both over its own knowledge base and on the external environment itself. Moreover, these systems are clearly not static, but are constantly evolving due to the execution of self updates or external actions. Whenever actions and updates are possible, the need to ensure properties regarding the outcome of performing such actions emerges. Originally purposed in the context of databases, transactions solve this problem by guaranteeing atomicity, consistency, isolation and durability of a special set of actions. However, current transaction solutions fail to guarantee such properties in dynamic environments, since they cannot combine transaction execution with reactive features, or with the execution of actions over domains that the system does not completely control (thus making rolling back a non-viable proposition). In this thesis, we investigate what and how transaction properties can be ensured over these dynamic environments. To achieve this goal, we provide logic-based solutions, based on Transaction Logic, to precisely model and execute transactions in such environments, and where knowledge bases can be defined by arbitrary logic theories.

Suporte para bilhética numa plataforma web para organização de eventos

Esta dissertação foi desenvolvida em ambiente empresarial com a empresa Opensoft. O tema da dissertação está focado no estudo e desenvolvimento de uma solução de acreditação e controlo de acessos de participantes em eventos. Tem como objetivo estender uma plataforma web já existente que permite a criação e gestão de eventos, por parte do organizador, e a inscrição e respetivo pagamento, no caso de existir, por parte dos participantes. Nesta dissertação realizou-se um estudo sobre registos de entradas, acreditação, controlo de acessos e entregáveis onde já existem diversas soluções no mercado. Existem várias soluções que se dedicam a diferentes modelos de eventos, sendo a maioria destas soluções de check-in apenas um registo simples de participantes sem um conceito de acreditação, e sendo a maior parte de carácter móvel. Estudou-se um sistema de gestão de inscrições em eventos e respetivos pagamentos, o Weventual, que tinha algumas desvantagens em relação às soluções existentes. Com vista a melhorar este sistema e promovê-lo como um grande concorrente aos outros sistemas de gestão de eventos, foi apresentada uma proposta de solução composta por duas vertentes, uma pelo uso do portal online para eventos que não têm a capacidade de adquirir dispositivos móveis ou queiram usar sempre a mesma plataforma, e outra pelo uso de uma aplicação móvel de forma a se facilitar a logística da maioria de eventos não sendo necessário de um posto fixo com um computador e diversos dispositivos periféricos associados e até poder ser offline. Neste projeto foi realizado um sistema que permite então a realização de registos de entradas e acreditação durante o decorrer de um evento, podendo este registo funcionar manualmente ou pela utilização de códigos de barras de forma a automatizar e agilizar o processo e ainda com propriedades web design responsive para integrar diversos tipos de dispositivos fixos e móveis. Foi incluída a emissão de recibos/fatura após o pagamento de uma inscrição num evento sendo utilizada uma ligação por web services a um sistema externo, o SIMN. Foi ainda proposta uma funcionalidade de apresentação de resultados sobre os participantes do evento. Esta solução encontra-se validada tendo sido implementada e adicionada ao Portal Weventual.

The role of qualitative data and systems thinking in addressing service decline in market towns

Retail services are a main contributor to municipal budget and are an activity that affects perceived quality-of-life, especially for those with mobility difficulties (e.g. the elderly, low income citizens). However, there is evidence of a decline in some of the services market towns provide to their citizens. In market towns, this decline has been reported all over the western world, from North America to Australia. The aim of this research was to understand retail decline and enlighten on some ways of addressing this decline, using a case study, Thornbury, a small town in the Southwest of England. Data collected came from two participatory approaches: photo-surveys and multicriteria mapping. The interpretation of data came from using participants as analysts, but also, using systems thinking (systems diagramming and social trap theory) for theory building. This research moves away from mainstream economic and town planning perspectives by making use of different methods and concepts used in anthropology and visual sociology (photo-surveys), decision-making and ecological economics (multicriteria mapping and social trap theory). In sum, this research has experimented with different methods, out of their context, to analyse retail decline in a small town. This research developed a conceptual model for retail decline and identified the existence of conflicting goals and interests and their implications for retail decline, as well as causes for these. Most of the potential causes have had little attention in the literature. This research also identified that some of the measures commonly used for dealing with retail decline may be contributing to the causes of retail decline itself. Additionally, this research reviewed some of the measures that can be used to deal with retail decline, implications for policy-making and reflected on the use of the data collection and analysis methods in the context of small to medium towns.

AGNI: an API for the control of automomous service robots

With the continuum growth of Internet connected devices, the scalability of the protocols used for communication between them is facing a new set of challenges. In robotics these communications protocols are an essential element, and must be able to accomplish with the desired communication. In a context of a multi-­‐‑agent platform, the main types of Internet communication protocols used in robotics, mission planning and task allocation problems will be revised. It will be defined how to represent a message and how to cope with their transport between devices in a distributed environment, reviewing all the layers of the messaging process. A review of the ROS platform is also presented with the intent of integrating the already existing communication protocols with the ServRobot, a mobile autonomous robot, and the DVA, a distributed autonomous surveillance system. This is done with the objective of assigning missions to ServRobot in a security context.

Context classification for service robots

This dissertation presents a solution for environment sensing using sensor fusion techniques and a context/environment classification of the surroundings in a service robot, so it could change his behavior according to the different rea-soning outputs. As an example, if a robot knows he is outdoors, in a field environment, there can be a sandy ground, in which it should slow down. Contrariwise in indoor environments, that situation is statistically unlikely to happen (sandy ground). This simple assumption denotes the importance of context-aware in automated guided vehicles.

Web Design como ferramenta de Comunicação Digital

WEB DESIGN COMO FERRAMENTA DE COMUNICAÇÃO DIGITAL: DESIGN E DESENVOLVIMENTO DE SITES, UTILIZANDO O GESTOR DE CONTEÚDOS WORDPRESS; DESIGN DE CONTEÚDOS VISUAIS PARA O FACEBOOK DE UMA MARCA

Incremental compilation and deployment for OutSystems Platform

OutSystems Platform is used to develop, deploy, and maintain enterprise web an mobile web applications. Applications are developed through a visual domain specific language, in an integrated development environment, and compiled to a standard stack of web technologies. In the platform’s core, there is a compiler and a deployment service that transform the visual model into a running web application. As applications grow, compilation and deployment times increase as well, impacting the developer’s productivity. In the previous model, a full application was the only compilation and deployment unit. When the developer published an application, even if he only changed a very small aspect of it, the application would be fully compiled and deployed. Our goal is to reduce compilation and deployment times for the most common use case, in which the developer performs small changes to an application before compiling and deploying it. We modified the OutSystems Platform to support a new incremental compilation and deployment model that reuses previous computations as much as possible in order to improve performance. In our approach, the full application is broken down into smaller compilation and deployment units, increasing what can be cached and reused. We also observed that this finer model would benefit from a parallel execution model. Hereby, we created a task driven Scheduler that executes compilation and deployment tasks in parallel. Our benchmarks show a substantial improvement of the compilation and deployment process times for the aforementioned development scenario.

Assessing the community needs of mental health residential care service users in Republic of Moldova

RESUMO: Background: Problemas de saúde mental são um grande problema clínico e social na República da Moldávia, representando uma quota significante de deficiência, sendo classificada no top cinco das dez linhas na hierarquia das condições. A taxa de incidência tem sido crescente na República da Moldávia, atingindo cerca de 15.000 por ano (14,655 em 2011), ou seja, 411,4 por 100 mil habitantes, e uma taxa de prevalência de 97.525 pessoas em 2011, ou seja, 2,737.9 por 100 mil habitantes. Sistema de atendimento psiquiátrico fornece serviços de saúde mental escassos a nível da comunidade, visando principalmente terapia hospitalar, centralizada, através de uma rede de três hospitais psiquiátricos, com 1.860 camas e 4 sanatórios psico- neurológicos com 1890 camas, assim alimentando-se a estigmatização do paciente. Objetivos: O objetivo deste estudo foi a avaliação das necessidades individuais dos beneficiários e do seu nível de autonomia dentro de cuidados residenciais, para o planeamento de reformas de saúde mental e desinstitucionalização na República da Moldávia. Este estudo foi encomendado pelo Ministério do Trabalho, Proteção Social e da Família e pelo Ministério da Saúde, com o apoio da Organização Mundial da Saúde, para determinar o cumprimento eficaz do artigo 19 da Convenção da ONU. O estudo tem os seguintes objetivos: Avaliar o nível de autonomia dos residentes nos hospitais psiquiátricos e sanatórios psico-neurológico, usando uma amostra representativa de 10 por ce nto do número total de pacientes/residentes e comparação cruzada; Para avaliar quatro sanatórios psico-neurológicos para adultos e três hospitais psiquiátricos; Para desenvolver recomendações para o planeamento da desinstitucionalização das pessoas com problemas de saúde mental e colocação na comunidade com base nos resultados do estudo. Metodologia e resultados: O estudo fez uso de duas ferramentas globais: questionário para a avaliação individual dos residentes do estabelecimento de saúde mental, e questionário de avaliação institucional. Todos os entrevistados foram divididos em quatro categorias conforme com o grau de dependência e preparação de viver de forma independente na comunidade. Apenas 1,2% dos entrevistados de PNHB eram totalmente dependentes de terceiros ou serviços especializados, tornando-se a categoria 4, que necessitam de cuidados e apoio contínuo. No PH esta categoria de pessoas é ausente. Conclusões: A condição dos entrevistados foi pior em PNBH que em PH. No entanto, ainda, aqueles que estão prontos para ser desinstitucionalizados correspondem com a maior parte dos entrevistados. Todos os hospitais tinham o consentimento do utente para admissão e tratamento, enquanto não houve consentimento qualquer em PNBH. É bastante óbvio que tanto os hospitais como também a sistema de assistência residencial não atingem a sua finalidade, o que significa que a maioria dos utentes pode ser desinstitucionalizados, sem qualquer terapia de suporte.------------------ABSTRACT: Background: Mental health problems are a major clinical and social issue in the Republic of Moldova,accounting for a significant share of disability and ranking in top five of the ten lines in the hierarchy of conditions. The incidence rate has been growing in the Republic of Moldova to reach approximately 15 thousand a year (14,655 in 2011), i.e. 411.4 per 100 thousand population, and a prevalence rate of 97,525 thousand people in 2011, i.e. 2,737.9 per 100 thousand population. Psychiatric care system provides for scanty mental health services at community level, aiming mainly at centralized hospital-based therapy through a network of three psychiatric hospitals tallying up 1,860 beds and 4 psycho-neurological boarding houses with 1,890 beds, thus fuelling up patient stigmatization. Objectives: The purpose of this study was to assess the individual needs of beneficiaries and their level of autonomy within residential care for the planning of mental health system reforms and deinstitutionalization in the Republic of Moldova. This study was commissioned by the Ministry of Labour, Social Protection and Family and by the Ministry of Health, with the World Health Organization support, to provide for effective enforcement of article 19 of the UN CRPD. The study pursued the following goals: To evaluate the level of autonomy of the psychiatric hospital and psycho-neurological boarding house residents by using a representative sample of 10 per cent of the total number of patients / residents and cross-comparison; To evaluate four psycho-neurological boarding houses for adults and three psychiatric hospitals; To develop recommendations for planning the deinstitutionalization of people with mental health problems and community placement based on the study findings.Methodology and results: The study made use of two global tools: questionnaire for individual assessment of mental health facility residents, and institutional assessment questionnaire. All interviewees were divided into four categories by one’s degree of dependence and readiness to live independently in the community. Only 1.2% of respondents from PNHB were fully dependent on a third party or specialized services, making up category 4, requiring continuous care and support. In PH this category of people is absent.Conclusions: The condition of respondents was worse in PNBH than in PH. However, yet, those ready to be deinstitutionalized accounted for most of respondents there. All hospitals had the resident’s consent to admission and treatment, whereas there was no consent in PNBH whatsoever. It is quite obvious that both the hospitals and residential care system do not achieve their intended purpose, meaning that the majority of residents may be deinstitutionalized without any support therapy.

Desenvolvimento de aplicações de Sistemas de Informação Geográfica WEB para gestão de resíduos urbanos.

A gestão do território contribui para o desenvolvimento socioeconómico e para o alcance de necessidades coletivas. A gestão de recursos, por sua vez, é uma das vias para atingir tais propósitos, convocando agentes, entidades e serviços para a administração de um território. O crescimento social e económico e a expansão urbana das últimas décadas tiveram um impacto significativo no consumo de recursos e na decorrente produção de resíduos, fazendo da gestão dos mesmos um importante meio para a gestão de recursos, com contributo para a gestão do território. Neste contexto, surgem serviços de gestão de resíduos urbanos, que dependem de informação geográfica referente ao seu sistema e ao do ambiente territorial em que o mesmo se insere. Face ao dinamismo e às relações entre diversos fenómenos e elementos presentes no referido ambiente, o processo de gestão de resíduos urbanos torna-se um desafio cada vez mais exigente e heterogéneo, em matéria de decisão espacial. Por esse motivo, é indispensável possuir ferramentas que integrem vários dados e que possibilitem abordagens metodológicas orientadas para uma intervenção territorial mais realista. Para tal, existem diversos métodos e técnicas, assentes em Tecnologias de Informação e Comunicação, com uma considerável adesão a soluções de Sistemas de Informação Geográfica, dada a necessidade de manipular informação com carácter espacial referente à gestão de resíduos urbanos. No quadro atual da produção e da prestação de serviços através de rede digital, as plataformas Web desses Sistemas de Informação Geográfica constituem-se como um instrumento para gestão de resíduos. Considerando o exemplo do Gabinete de Estudos, Planeamento e Controlo, dos Serviços Intermunicipalizados de Águas e Resíduos dos Municípios de Loures e Odivelas, no presente Trabalho de Projeto, pretende-se avaliar a situação atual das metodologias e dos recursos tecnológicos que um serviço deste tipo possui, percebendo o contributo que aplicações de Sistemas de Informação Geográfica Web podem ter para a concretização da sua missão, na conjuntura atual da tecnologia, da informação e da comunicação na Administração Pública. Assim, o presente Trabalho de Projeto propõe também um modelo de desenvolvimento das referidas aplicações, assentes em Sistemas de Informação Geográfica Desktop e Web de código aberto, livres e gratuitos. As aplicações abarcam informação interna, referente ao sistema de resíduos urbanos, dos Serviços Intermunicipalizados de Águas e Resíduos dos Municípios de Loures e Odivelas, e informação externa diversa, referente ao seu território de intervenção. A integração e relação da informação interna e externa, com resultados nas aplicações, são apresentadas como possíveis meios de assistência aos procedimentos efetuados no Gabinete de Estudos, Planeamento e Controlo e à prestação efetiva do serviço de gestão de resíduos urbanos. Igualmente, é possível inferir a versatilidade, a aplicabilidade e o potencial de aplicações de Sistemas de Informação Geográfica, em diversas vertentes e escalas de gestão do território.

Questionário de satisfação do utente e do profissional : impacto num laboratório de análises clínicas

RESUMO: Temos assistido a uma evolução impressionante nos laboratórios de análises clínicas, os quais precisam de prestar um serviço de excelência a custos cada vez mais competitivos. Nos laboratórios os sistemas de gestão da qualidade têm uma importância significativa nesta evolução, fundamentalmente pela procura da melhoria continua, que ocorre não só ao nível de processos e técnicas, mas também na qualificação dos diferentes intervenientes. Um dos problemas fundamentais da gestão e um laboratório é a eliminação de desperdícios e erros criando benefícios, conceito base na filosofia LeanThinking isto é “pensamento magro”, pelo que é essencial conseguir monitorizar funções críticas sistematicamente. Esta monitorização, num laboratório cada vez mais focalizado no utente, pode ser efetuada através de sistemas e tecnologias de informação, sendo possível contabilizar número de utentes, horas de maior afluência, tempo médio de permanência na sala de espera, tempo médio para entrega de análises, resultados entregues fora da data prevista, entre outros dados de apoio à decisão. Devem igualmente ser analisadas as reclamações, bem como a satisfação dos utentes quer através do feedback que é transmitido aos funcionários, quer através de questionários de satisfação. Usou-se principalmente dois modelos: um proposto pelo Índice Europeu de Satisfação do Consumidor (ECSI) e o outro de Estrutura Comum de Avaliação (CAF). Introduziram-se igualmente dois questionários: um apresentado em formato digital num posto de colheitas, através de um quiosque eletrónico, e um outro na página da internet do laboratório, ambos como alternativa ao questionário em papel já existente, tendo-se analisado os dados, e retirado as devidas conclusões. Propôs-se e desenvolveu-se um questionário para colaboradores cuja intenção foi a de fornecer dados úteis de apoio à decisão, face à importância dos funcionários na interação com os clientes e na garantia da qualidade ao longo de todo o processo. Avaliaram-se globalmente os resultados sem que tenha sido possível apresentá-los por política interna da empresa, bem como se comentou de forma empírica alguns benefícios deste questionário. Os principais objetivos deste trabalho foram, implementar questionários de satisfação eletrónicos e analisar os resultados obtidos, comparando-os com o estudo ECSI, de forma a acentuar a importância da análise em simultâneo de dois fatores: a motivação profissional e a satisfação do cliente, com o intuito de melhorar os sistemas de apoio à decisão. ------------------------ ABSTRACT: We have witnessed an impressive development in clinical analysis laboratories, which have to provide excellent service at increasingly competitive costs, quality management systems have a significant importance in this evolution, mainly by demanding continuous improvement, which does not occur only in terms of processes and techniques, but also in the qualification of the various stakeholders. One key problem of managing a laboratory is the elimination of waste and errors, creating benefits, concept based on Lean Thinking philosophy, therefore it is essential be able to monitor critical tasks systematically. This monitoring, in an increasingly focused on the user laboratory can be accomplished through information systems and technologies, through which it is possible to account the number of clients, peak times, average length of waiting room stay, average time for delivery analysis, delivered results out of the expected date, among other data that contribute to support decisions, however it is also decisive to analyzed complaint sand satisfaction of users through employees feedback but mainly through satisfaction questionnaires that provides accurate results. We use mainly two models one proposed by the European Index of Consumer Satisfaction (ECSI), directed to the client, and the Common Assessment Framework (CAF), used both in the client as the employees surveys. Introduced two questionnaires in a digital format, one in the central laboratory collect center, through an electronic kiosk and another on the laboratory web page, both as an alternative to survey paper currently used, we analyzed the results, and withdrew the conclusions. It was proposed and developed a questionnaire for employees whose intention would be to provide useful data to decision support, given the importance of employees in customer interaction and quality assurance throughout the whole clinical process, it was evaluated in a general way because it was not possible to show the results, however commented an empirical way some benefits of this questionnaire. The main goals of this study were to implement electronic questionnaires and analyze the results, comparing them with the ECSI, in order to emphasize the importance of analyzing simultaneously professional motivation with customer satisfaction, in order to improve decision support systems.

WEB TV. Uma proposta na área das ciências da comunicação

Este relatório descreve as fases essenciais do desenvolvimento de uma proposta para uma Web TV num contexto universitário e sugere um modelo multimédia baseado num princípio de folksonomia. Este projecto pretende ser uma mais valia na forma como o trabalho académico é divulgado e partilhado e visa ser um instrumento que dá visibilidade ao trabalho desenvolvido numa instituição académica, dinamiza a relação entre alunos e professores e torna possível a publicação dos mesmos para o publico em geral. Foi desenvolvido a pensar nas especificidades do Departamento de Ciências da Comunicação (DCC) da Faculdade de Ciências Sociais e Humanas da Universidade Nova de Lisboa (FCSH-UNL), sobretudo ao nível dos conteúdos de media produzidos nos ateliers e cadeiras práticas. Modelo que pode ser aplicado a outras instituições em contextos idênticos. A Web TV representa, no universo dos média, um conjunto muito alargado de aplicações que abrange a publicidade, o divertimento, o jornalismo e o ensino entre outras. O ensino é provavelmente a área em que a Web TV mais pode contribuir como meio privilegiado de divulgação e partilha de informação tanto dentro como fora de uma instituição universitária. Com a Web TV podem ser apresentados e criados os mais diversos conteúdos, como, por exemplo: conferências, aulas, documentários, teses e/ou qualquer outro conteúdo de texto ou multimédia que seja de natureza científica. As competências da Web 2.0, aplicadas na Web TV que proponho, conferem-lhe características únicas para a promoção e divulgação do conhecimento científico, revestindo assim este projecto de especial importância.