Clearing the cloudy crystal balls: Hybrid modelling for energy and climate change mitigation scenarios – A case study for Portugal

Dissertação para obtenção do Grau de Doutor em Ambiente

A volumetric hybrid representation for obstacle detection in all-terrain robots

This dissertation presents an approach aimed at three-dimensional perception’s obstacle detection on all-terrain robots. Given the huge amount of acquired information, the adversities such environments present to an autonomous system and the swiftness, thus required, from each of its navigation decisions, it becomes imperative that the 3-D perceptional system to be able to map obstacles and passageways in the most swift and detailed manner. In this document, a hybrid approach is presented bringing the best of several methods together, combining the lightness of lesser meticulous analyses with the detail brought by more thorough ones. Realizing the former, a terrain’s slope mapping system upon a low resolute volumetric representation of the surrounding occupancy. For the latter’s detailed evaluation, two novel metrics were conceived to discriminate the little depth discrepancies found in between range scanner’s beam distance measurements. The hybrid solution resulting from the conjunction of these two representations provides a reliable answer to traversability mapping and a robust discrimination of penetrable vegetation from that constituting real obstructions. Two distinct robotic platforms offered the possibility to test the hybrid approach on very different applications: a boat, under an European project, the ECHORD Riverwatch, and a terrestrial four-wheeled robot for a national project, the Introsys Robot.

Reactive hybrid knowledge bases

Hybrid knowledge bases are knowledge bases that combine ontologies with non-monotonic rules, allowing to join the best of both open world ontologies and close world rules. Ontologies shape a good mechanism to share knowledge on theWeb that can be understood by both humans and machines, on the other hand rules can be used, e.g., to encode legal laws or to do a mapping between sources of information. Taking into account the dynamics present today on the Web, it is important for these hybrid knowledge bases to capture all these dynamics and thus adapt themselves. To achieve that, it is necessary to create mechanisms capable of monitoring the information flow present on theWeb. Up to today, there are no such mechanisms that allow for monitoring events and performing modifications of hybrid knowledge bases autonomously. The goal of this thesis is then to create a system that combine these hybrid knowledge bases with reactive rules, aiming to monitor events and perform actions over a knowledge base. To achieve this goal, a reactive system for the SemanticWeb is be developed in a logic-programming based approach accompanied with a language for heterogeneous rule base evolution having as its basis RIF Production Rule Dialect, which is a standard for exchanging rules over theWeb.

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.

Of Structural Denial: A Narratological Study of the Structural Disintegration of the Novel Form

If an opening to the argument of this dissertation is of imperative necessity, one might tentatively begin with Herbert Quain, born in Roscommon, Ireland, author of the novels The God of the Labyrinth (1933) and April March (1936), the short-story collection Statements (1939), and the play The Secret Mirror (undated). To a certain extent, this idiosyncratic Irish author, who hailed from the ancient province of Connacht, may be regarded as a forerunner of the type of novels which will be considered in this dissertation. Quain was, after all, the unconscious creator of one of the first structurally disintegrated novels in the history of western literature, April March. His first novel, The God of the Labyrinth, also exhibits elements which are characteristic of structurally disintegrated fiction, for it provides the reader with two possible solutions to a mysterious crime. As a matter of fact, one might suggest that Quain’s debut novel offers the reader the possibility to ignore the solution to the crime and carry on living his or her readerly life, turning a blind eye to the novel itself. It may hence be argued that Quain’s first novel is in fact a compound of three different novels. It is self-evident that the structure of Quain’s oeuvre is of an experimental nature, combining geometrical precision with authorial innovation, and one finds in it a higher consideration for formal defiance than for the text itself. In other words, the means of expression are the concern of the author and not, interestingly, the textual content. April March, for example, is a novel which regresses back into itself, its first chapter focussing on an evening which is preceded by three possible evenings which, in turn, are each preceded by three other, dissimilar, possible evenings. It is a novel of backward-movement, and it is due to this process of branching regression that April March contains within itself at least nine possible novels. Structure, therefore, paradoxically controls the text, for it allows the text to expand or contract under its formal limitations. In other words, the formal aspects of the novel, usually associated with the restrictive device of a superior design, contribute to a liberation of the novel’s discourse. It is paradoxical only in the sense that the idea of structure necessarily entails the fixation of a narrative skeleton that determines how plot and discourse interact, something which Quain flouts for the purposes of innovation. In this sense, April March’s convoluted structure allows for multiple readings and interpretations of the same text, consciously germinating narratives within itself, producing different texts from a single, unique source. Thus, text and means of expression are bonded by a structural design that, rather than limiting, liberates the text of the novel.

Avaliação da sustentabilidade corporativa: estudo das relações híbridas pelo modelo do Hybrid Bottom Line

A presente tese reflete sobre os temas do desenvolvimento sustentável, da sustentabilidade corporativa, da responsabilidade social corporativa e das dimensões do Triple Bottom Line. O principal objetivo do nosso trabalho é contribuir para o conhecimento das relações que se estabelecem nas interseções entre a dimensão económica, social e ambiental da sustentabilidade corporativa, aqui designadas de relações híbridas. Neste sentido, desenvolveu-se um enquadramento teórico que fundamenta o modelo proposto, designado por Hybrid Bottom Line. De acordo com este enquadramento procurou-se conceber uma metodologia que permitisse analisar como é que estas relações de interseção entre economia-ambiente e economia-social se verificam e de que forma os seus resultados podem beneficiar a compreensão, avaliação e melhorias no entendimento da sustentabilidade corporativa, bem como possibilitar uma análise dirigida a fatores recombinantes específicos. Em complemento, foi desenvolvida uma proposta que permite posicionar o esforço desenvolvido pela empresa no âmbito da sustentabilidade e desta forma tipificar as suas ações. Nesta tese a abordagem empírica recaiu na análise dos relatórios de sustentabilidade publicados pelas empresas e baseados nas diretivas de relato propostas pelo Global Reporting Initiative. A amostra para o estudo abrangeu um total de 85 empresas de diferentes dimensões de 36 sectores económicos e representando 36 países de 5 continentes. A análise dos resultados foi feita utilizando diversos métodos de análise de dados (de frequência e de conteúdo) e análises estatísticas (análise de contingência, variância e de correspondências múltiplas) que permitiram observar as relações entre as dimensões do Triple Bottom Line, dando lugar à construção de uma matriz de relações híbridas. Seguidamente foi realizada uma análise longitudinal de uma das empresas da amostra tendo como referência a matriz híbrida obtida, assim como a tipificação da empresa no âmbito da sustentabilidade. Os resultados alcançados nas diferentes fases indicam que o enquadramento teórico que foi utilizado é útil para a análise das interseções entre as dimensões e permite uma avaliação dirigida a fatos ocorridos entre pares dimensionais, bem como projetar análises e posicionamentos futuros. Os resultados obtidos sugerem que a proposta apresentada é útil e deverá ser utilizada e desenvolvida noutros contextos. Esta tese contribui para a ideia de que a responsabilidade corporativa não deve ser só vista e operacionalizada como uma realidade de dimensões segmentadas mas também deve ser observada como um conjunto possível de interações que se manifestam nas interseções das suas diferentes dimensões.

Hybrid investment strategy active portfolio management – US stock market

This thesis aims to develop an alternative active managed portfolio strategy based on companies‟ Fundamental and Technical Analysis and analyze its finals results. There is a big distinction between the two approaches and the main objective is to understand if it is possible to take advantage of both. With this in mind a Hybrid investment strategy for the US stock market, due to its dimension and liquidity, which was able to outperform the S&P 500 index, the benchmark, during both Bear and Bull Markets between 2000 and 2015.