Temporal reasoning in a logic programming language with modularity

Actualmente os Sistemas de Informação Organizacionais (SIO) lidam cada vez mais com informação que tem dependências temporais. Neste trabalho concebemos um ambiente de trabalho para construir e manter SIO Temporais. Este ambiente assenta sobre um linguagem lógica denominada Temporal Contextua) Logic Programming que integra modularidade com raciocínio temporal fazendo com que a utilização de um módulo dependa do tempo do contexto. Esta linguagem é a evolução de uma outra, também introduzida nesta tese, que combina Contextua) Logic Programming com Temporal Annotated Constraint Logic Programming, na qual a modularidade e o tempo são características ortogonais. Ambas as linguagens são formalmente discutidas e exemplificadas. As principais contribuições do trabalho descrito nesta tese incluem: • Optimização de Contextua) Logic Programming (CxLP) através de interpretação abstracta. • Sintaxe e semântica operacional para uma linguagem que combina de um modo independente as linguagens Temporal Annotated Constraint Logic Programming (TACLP) e CxLP. É apresentado um compilador para esta linguagem. • Linguagem (sintaxe e semântica) que integra de um modo inovador modularidade (CxLP) com raciocínio temporal (TACLP). Nesta linguagem a utilização de um dado módulo está dependente do tempo do contexto. É descrito um interpretador e um compilador para esta linguagem. • Ambiente de trabalho para construir e fazer a manutenção de SIO Temporais. Assenta sobre uma especificação revista da linguagem ISCO, adicionando classes e manipulação de dados temporais. É fornecido um compilador em que a linguagem resultante é a descrita no item anterior. ABSTRACT- Current Organisational Information Systems (OIS) deal with more and more Infor-mation that, is time dependent. In this work we provide a framework to construct and maintain Temporal OIS. This framework builds upon a logical language called Temporal Contextual. Logic Programming that deeply integrates modularity with tem-poral reasoning making the usage of a module time dependent. This language is an evolution of another one, also introduced in this thesis, that combines Contextual Logic Programming with Temporal Annotated Constraint Logic Programming where modularity and time are orthogonal features. Both languages are formally discussed and illustrated. The main contributions of the work described in this thesis include: • Optimisation of Contextual Logic Programming (CxLP) through abstract interpretation. • Syntax and operational semantics for an independent combination of the temporal framework Temporal Annotated Constraint Logic Programming (TACLP) and CxLP. A compiler for this language is also provided. • Language (syntax and semantics) that integrates in a innovative way modularity (CxLP) with temporal reasoning (TACLP). In this language the usage of a given module depends of the time of the context. An interpreter and a compiler for this language are described. • Framework to construct and maintain Temporal Organisational Information Systems. It builds upon a revised specification of the language ISCO, adding temporal classes and temporal data manipulation. A compiler targeting the language presented in the previous item is also given

Knowledge Representation of Crime-Related Events: a Preliminary Approach

The crime is spread in every daily newspaper, and particularly on criminal investigation reports produced by several Police departments, creating an amount of data to be processed by Humans. Other research studies related to relation extraction (a branch of information retrieval) in Portuguese arisen along the years, but with few extracted relations and several computer methods approaches, that could be improved by recent features, to achieve better performance results. This paper aims to present the ongoing work related to SEM (Simple Event Model) ontology population with instances retrieved from crime-related documents, supported by an SVO (Subject, Verb, Object) algorithm using hand-crafted rules to extract events, achieving a performance measure of 0.86 (F-Measure)

(Introdução à) Programação

Esta sebenta combina num único PDF todos os Jupyter Notebooks criados para tornar mais interativo o ensino/aprendizagem da componente teórica da unidade curricular (Introdução à) Programação da Universidade de Évora. Por conseguinte, este documento deve ser considerado como um complemento para tais notebooks

An Overview of IoT and Healthcare

This paper is an overview of some of the implications of IoT on the healthcare field. Due to the increasing of IoT solutions, healthcare cannot be outside of this paradigm. The contribution of this paper is to introduce directions to achieve a global connectivity between the Internet of Things (IoT) and the medical environments. The need to integrate all in a global environment is a huge challenge to all (from electrical engineers to data engineers).This revolution is redesigning the way we see healthcare, from the smallest sensor to the big data collected

Ferramentas e Tecnologias para a Integração e Extração de Informação Hospitalar

Neste trabalho, apresentam-se algumas técnicas e tecnologias da web semântica para demonstrar a sua aplicação no campo da medicina, mais precisamente em sistemas para a identificação de informação médica em relatórios clínicos. Descrevemos a utilização da web semântica no desenvolvimento desses sistemas. O trabalho desenvolvido define os processos que, pela avaliação dos históricos clínicos de pacientes, identifiquem os termos de importância semântica para a recuperação da informação clínica nestes relatórios

Semantic Web Search Through Natural Language Dialogues

The Semantic Web as a knowledge base gives to the Question Answering systems the capabilities needed to go well beyond the usual word matching in the documents and find a more accurate answer, without needing the user intervention to interpret the documents returned. In this chapter, the authors introduce a Dialogue Manager that, throughout the analysis of the question and the type of expected answer, provides accurate answers to the questions posed in Natural Language. The Dialogue Manager not only represents the semantics of the questions but also represents the structure of the discourse, including the user intentions and the questions' context, adding the ability to deal with multiple answers and providing justified answers. The system performance is evaluated by comparing with similar question answering systems. Although the test suite is of small dimension, the results obtained are very promising

A Review on Cooperative Question-Answering Systems

The Question-Answering (QA) systems fall in the study area of Information Retrieval (IR) and Natural Language Processing (NLP). Given a set of documents, a QA system tries to obtain the correct answer to the questions posed in Natural Language (NL). Normally, the QA systems comprise three main components: question classification, information retrieval and answer extraction. Question classification plays a major role in QA systems since it classifies questions according to the type in their entities. The techniques of information retrieval are used to obtain and to extract relevant answers in the knowledge domain. Finally, the answer extraction component is an emerging topic in the QA systems. This module basically classifies and validates the candidate answers. In this paper we present an overview of the QA systems, focusing on mature work that is related to cooperative systems and that has got as knowledge domain the Semantic Web (SW). Moreover, we also present our proposal of a cooperative QA for the SW

Using a dialogue manager to improve search in the semantic web

Question-Answering systems that resort to the Semantic Web as a knowledge base can go well beyond the usual matching words in documents and, preferably, find a precise answer, without requiring user help to interpret the documents returned. In this paper, we introduce a Dialogue Manager that by analysing the question and the type of expected answer, provides accurate answers to questions posed in Natural Language. The Dialogue Manager not only represents the semantics of the questions, but also the structure of the discourse including the user intentions and the questions context, adding the ability to deal with multiple answers and providing justified answers. Our system performance is evaluated by comparing with similar question answering systems. Although the test suite has slight dimensions, the results obtained are very promising

Quadro interativo de baixo custo com interação através de dispositivos móveis

Com a criação do Plano Tecnológico da Educação o Ministério da Educação Português tinha como objetivo dotar as escolas públicas de Internet de alta velocidade, dois alunos por computador, um videoprojector por sala e um quadro interativo por cada três salas. Todo este avultado investimento tinha como objetivo dotar as escolas públicas de equipamentos de última geração e que permitissem acompanhar os avanços tecnológicos na área da educação. No entanto, a rentabilização dos recursos disponibilizados foi um pouco descurada. Assim sendo, foram gastos alguns milhares de euros em equipamentos que continuam a ser subaproveitados e para os quais os educadores necessitavam de formação adequada que não veio a ser disponibilizada. A solução apresentada neste trabalho combina um quadro interativo de baixo custo proposto por Johnny Lee, com a utilização do Smoothboard (software minimalista para trabalhar com o quadro interativo proposto) e a sua integração com a plataforma Moodle (Learning Management System utilizado em muitas instituições de ensino). Este sistema possibilita uma interação quase universal com os equipamentos que os alunos diariamente transportam consigo (computadores portáteis, telemóveis e tablets)

A Graph Database Representation of Portuguese Criminal-Related Documents

Organizations have been challenged by the need to process an increasing amount of data, both structured and unstructured, retrieved from heterogeneous sources. Criminal investigation police are among these organizations, as they have to manually process a vast number of criminal reports, news articles related to crimes, occurrence and evidence reports, and other unstructured documents. Automatic extraction and representation of data and knowledge in such documents is an essential task to reduce the manual analysis burden and to automate the discovering of names and entities relationships that may exist in a case. This paper presents SEMCrime, a framework used to extract and classify named-entities and relations in Portuguese criminal reports and documents, and represent the data retrieved into a graph database. A 5WH1 (Who, What, Why, Where, When, and How) information extraction method was applied, and a graph database representation was used to store and visualize the relations extracted from the documents. Promising results were obtained with a prototype developed to evaluate the framework, namely a name-entity recognition with an F-Measure of 0.73, and a 5W1H information extraction performance with an F-Measure of 0.65