Semantics of logic programs with explicit negation

After a historical introduction, the bulk of the thesis concerns the study of a declarative semantics for logic programs. The main original contributions are: ² WFSX (Well–Founded Semantics with eXplicit negation), a new semantics for logic programs with explicit negation (i.e. extended logic programs), which compares favourably in its properties with other extant semantics. ² A generic characterization schema that facilitates comparisons among a diversity of semantics of extended logic programs, including WFSX. ² An autoepistemic and a default logic corresponding to WFSX, which solve existing problems of the classical approaches to autoepistemic and default logics, and clarify the meaning of explicit negation in logic programs. ² A framework for defining a spectrum of semantics of extended logic programs based on the abduction of negative hypotheses. This framework allows for the characterization of different levels of scepticism/credulity, consensuality, and argumentation. One of the semantics of abduction coincides with WFSX. ² O–semantics, a semantics that uniquely adds more CWA hypotheses to WFSX. The techniques used for doing so are applicable as well to the well–founded semantics of normal logic programs. ² By introducing explicit negation into logic programs contradiction may appear. I present two approaches for dealing with contradiction, and show their equivalence. One of the approaches consists in avoiding contradiction, and is based on restrictions in the adoption of abductive hypotheses. The other approach consists in removing contradiction, and is based in a transformation of contradictory programs into noncontradictory ones, guided by the reasons for contradiction.

Lean construction in rehabilitation works – suitability analysis and contribution for the definition of an implementation model

Proceedings IGLC-19, July 2011, Lima, Perú

From Consciousness to Knowledge – The Explanatory Power of Revelation

Epistemology in philosophy of mind is a difficult endeavor. Those who believe that our phenomenal life is different from other domains suggest that self-knowledge about phenomenal properties is certain and therefore privileged. Usually, this so called privileged access is explained by the idea that we have direct access to our phenomenal life. This means, in contrast to perceptual knowledge, self-knowledge is non-inferential. It is widely believed that, this kind of directness involves two different senses: an epistemic sense and a metaphysical sense. Proponents of this view often claim that this is due to the fact that we are acquainted with our current experiences. The acquaintance thesis, therefore, is the backbone in justifying privileged access. Unfortunately the whole approach has a profound flaw. For the thesis to work, acquaintance has to be a genuine explanation. Since it is usually assumed that any knowledge relation between judgments and the corresponding objects are merely causal and contingent (e.g. in perception), the proponent of the privileged access view needs to show that acquaintance can do the job. In this thesis, however, I claim that the latter cannot be done. Based on considerations introduced by Levine, I conclude that this approach involves either the introduction of ontologically independent properties or a rather obscure knowledge relation. A proper explanation, however, cannot employ either of the two options. The acquaintance thesis is, therefore, bound to fail. Since the privileged access intuition seems to be vital to epistemology within the philosophy of mind, I will explore alternative justifications. After discussing a number of options, I will focus on the so called revelation thesis. This approach states that by simply having an experience with phenomenal properties, one is in the position to know the essence of those phenomenal properties. I will argue that, after finding a solution for the controversial essence claim, this thesis is a successful replacement explanation which maintains all the virtues of the acquaintance account without necessarily introducing ontologically independent properties or an obscure knowledge relation. The overall solution consists in qualifying the essence claim in the relevant sense, leaving us with an appropriate ontology for phenomenal properties. On the one hand, this avoids employing mysterious independent properties, since this ontological view is physicalist in nature. On the other hand, this approach has the right kind of structure to explain privileged self-knowledge of our phenomenal life. My final conclusion consists in the claim that the privileged access intuition is in fact veridical. It cannot, however, be justified by the popular acquaintance approach, but rather, is explainable by the controversial revelation thesis.

In Search of the Origins of Modernism: Venice and the Crisis of Classical Architecture in the mid-eighteenth century

This paper attempts to prove that in the years 1735 to 1755 Venice was the birthplace and cradle of Modern architectural theory, generating a major crisis in classical architecture traditionally based on the Vitruvian assumption that it imitates early wooden structures in stone or in marble. According to its rationalist critics such as the Venetian Observant Franciscan friar and architectural theorist Carlo Lodoli (1690-1761) and his nineteenth-century followers, classical architecture is singularly deceptive and not true to the nature of materials, in other words, dishonest and fallacious. This questioning did not emanate from practising architects, but from Lodoli himself– a philosopher and educator of the Venetian patriciate – who had not been trained as an architect. The roots of this crisis lay in a new approach to architecture stemming from the new rationalist philosophy of the Enlightenment age with its emphasis on reason and universal criticism.

Balanced scorecard como metodologia utilizada no planeamento estratégico de um laboratório de patologia clínica

RESUMO - O título do presente trabalho de projeto é: “Balanced Scorecard como metodologia utilizada no planeamento estratégico de um Laboratório de Patologia Clínica”. Atualmente a qualidade dos serviços prestados na área da saúde constitui uma questão que preocupa todos os stakeholders envolvidos. Neste âmbito, a escolha desta temática prende-se com a necessidade urgente de mudança no sentido de melhorar a performance do Laboratório de Patologia Clínica. Melhorar a qualidade dos serviços prestados garantindo a eficiência e sustentabilidade do serviço constitui a grande máxima de qualquer organização. Os objetivos deste trabalho de projeto são, entre outros: analisar as implicações da avaliação da qualidade de gestão utilizando o Balanced Scorecard como metodologia; destacar a importância do uso desta metodologia num Laboratório de Patologia Clínica no que diz respeito à melhoria da qualidade, da efetividade e da eficiência e apresentar uma proposta de aplicação desta metodologia a um serviço de Patologia Clínica. A filosofia do Balanced Scorecard assenta em 4 perspetivas, financeira, dos clientes, dos processos internos e a perspetiva crescimento e aprendizagem, que funcionam de forma integrada permitindo uma avaliação da qualidade de gestão. Em cada uma destas perspetivas são definidos objetivos e indicadores que têm de funcionar de forma integrada estabelecendo relações causa-efeito entre elas. Qualquer falha decorrente de objetivos não atingidos numa das perspetivas origina o desequilíbrio de todo o sistema desencadeando desvios no percurso estratégico, no cumprimento da missão e da visão da organização. A metodologia utilizada consiste essencialmente na recolha de dados resultantes da entrevista, pesquisa bibliográfica e análise documental do serviço de Patologia Clínica, que contribuíram para a elaboração de uma proposta de implementação. A aplicação de um sistema de medição da qualidade é essencial e a metodologia Balanced Scorecard pode constituir uma ferramenta fundamental neste sentido, facilitando a gestão de organizações de saúde.

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.

Portuguese plain architecture: history opening a closed sequence

The paper will address George Kubler’s Portuguese Plain Architecture [PPA] (1972) and its effect in Portuguese architectural practice. Kubler’s philosophy of art history implied that closed sequences of objects could be opened by several reasons. Thus, it will be argued that there is an effect upon Portuguese architecture post 1974, that is apparent by the reemergence of some of the form classes treated by Kubler. This was mostly achieved through the popularity of Kubler’s book within architectural practice, scholarship and moreover by the establishment of the term “Plain Architecture” in portuguese architectural vocabulary. Plain Architecture of the seventeenth and eighteenth centuries shared some qualities with the architecture to be built in post‑revolutionary Portugal, most importantly the effect that could be achieved with low budget buildings that were responding to a situation of crisis, and simultaneously exhaled aristocratic sparsity. The connection of PPA with the ideological attributes of early modernism and the political context of the time catalysed the reemergence of a new order of Portuguese Plain that resonates still in contemporary architecture.

Social impact bond feasibility study AEIPS intervention

AEIPS is a Portuguese social organization promoting the integration of people with mental health illnesses and/or substance abuse in the community through the intervention model Housing First. The philosophy of Housing First aims at lifting people out of their homelessness status by providing instant access to individualized and permanent housing as well as support services. Housing First projects from all over the world have proved very positive results in terms of residential stability and community integration of its participants. This feasibility study evaluates the suitability of using a Social Impact Bond to fund the Housing First intervention of AEIPS in Portugal.