Case study: A negotiation between a shopping centre and a retailer

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

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.

Machine ethics via logic programming

Machine ethics is an interdisciplinary field of inquiry that emerges from the need of imbuing autonomous agents with the capacity of moral decision-making. While some approaches provide implementations in Logic Programming (LP) systems, they have not exploited LP-based reasoning features that appear essential for moral reasoning. This PhD thesis aims at investigating further the appropriateness of LP, notably a combination of LP-based reasoning features, including techniques available in LP systems, to machine ethics. Moral facets, as studied in moral philosophy and psychology, that are amenable to computational modeling are identified, and mapped to appropriate LP concepts for representing and reasoning about them. The main contributions of the thesis are twofold. First, novel approaches are proposed for employing tabling in contextual abduction and updating – individually and combined – plus a LP approach of counterfactual reasoning; the latter being implemented on top of the aforementioned combined abduction and updating technique with tabling. They are all important to model various issues of the aforementioned moral facets. Second, a variety of LP-based reasoning features are applied to model the identified moral facets, through moral examples taken off-the-shelf from the morality literature. These applications include: (1) Modeling moral permissibility according to the Doctrines of Double Effect (DDE) and Triple Effect (DTE), demonstrating deontological and utilitarian judgments via integrity constraints (in abduction) and preferences over abductive scenarios; (2) Modeling moral reasoning under uncertainty of actions, via abduction and probabilistic LP; (3) Modeling moral updating (that allows other – possibly overriding – moral rules to be adopted by an agent, on top of those it currently follows) via the integration of tabling in contextual abduction and updating; and (4) Modeling moral permissibility and its justification via counterfactuals, where counterfactuals are used for formulating DDE.

Conception and first results of a cross-sectional national study on the demography, disease characteristics and socioeconomics status of the Portuguese patients with multiple sclerosis : the PORT-MS study

RESUMO: Introdução e objetivos: Não existia um estudo multicêntrico que descrevesse as características dos doentes com EM, da doença em si, ou do seu tratamento, em Portugal.Métodos: Doentes McDonald 2010 positivos foram sequencialmente recrutados em 7 centros entre Maio e Novembro 2014. Aplicou-se um Caderno de Recolha de Dados incidindo na demografia, doença, educação e emprego (estudo PORT-MS). Resultados: 561 doentes incluídos. Primeiros sintomas aos 30,2±10,5 anos (RRMS 29,2±10, PPMS 39,4±11,7, p<0,001); diagnóstico 3,2±5,3 anos depois (RRMS 3,0±5,1, PPMS 4,9±2,5, p=0,002); tempo de doença após diagnóstico 9,4±7,2 anos (semelhante RRMS no diagnóstico e PPMS); idade atual 42,9±12,4 anos (grupo RRMS no diagnóstico 42,0±12,1, PPMS 52,5±11,3, p<0,001); EDSS atual 2,5 (RRMS 2.0, PPMS 6.0); proporção feminino:masculino é 2,5:1 (RRMS semelhante, PPMS 1,1:1, p<0,05); no diagnóstico RRMS 90,6%, SPMS 0,9%, PPMS 8,6%; 9,5% dos RRMS encontravam-se em SP na inclusão (nomeadamente os com mais idade no diagnóstico e/ou atualidade ou tempo de doença mais prolongado). PPMS mais frequente em doentes diagnosticados mais tardiamente (p<0,001), onde aumenta também ligeiramente a proporção de mulheres na PPMS. Nas últimas décadas: novos casos mostram estabilidade na proporção de géneros e tipos de doença; idade nos primeiros sintomas e no diagnóstico aumentou ligeiramente, tempo entre eles diminuiu ligeiramente. Proporção sob DMT (Maio 2014): global 84,5%; atualmente RRMS 90,4%; SPMS 70,8%; PPMS 36,8%; progressivas agregadas 48%. Tipo de DMT, amostra global: interferões 56,5%, GA 18,4%, Natalizumab 11,6%, Fingolimod 9,7%. Global: economicamente ativos 61,5%, desemprego 13,5%, 74,1% dos não activos estão reformados por doença. Gravidezes após diagnóstico em 15% mulheres. Casos com história familiar positiva 7,8%. Discussão e conclusões: Incluída cerca de 10% da população portuguesa. Resultados congruentes com dados internacionais. Elevada proporção sob DMT, mesmo EDSS alto e formas progressivas. Terapêuticas de segunda linha sub representadas. Doentes jovens e com doença ligeira com vida económica ativa; restantes essencialmente reformados por doença.---------------- ABSTRACT : Background/aims: In Portugal, there wasn’t a multicentric study on the general characteristics (demography, disease milestones, DMT, socioeconomic status) of Multiple Sclerosis patients. Methods: Patients fulfilling McDonald 2010 criteria were sequentially recruited from May to November 2014 in 7 centers and data was systematically collected. Results: 561 patients included. First symptoms occurred at 30,2±10,5 years-old (RRMS 29,2±10, PPMS 39,4±11,7, p<0,001); diagnosis 3,2±5,3 years later (RRMS 3,0±5,1, PPMS 4,9±2,5, p=0,002); 9,4±7,2 years elapsed since diagnosis (similar for those is RRMS at diagnosis and PPMS); current age 42,9±12,4 years-old (group RRMS at diagnosis 42,0±12,1, PPMS 52,5±11,3, p<0,001); current EDSS 2,5 (RRMS 2.0, PPMS 6.0); females to males 2,5:1 (RRMS similar, PPMS 1,1:1, p<0,05); at diagnosis RRMS 90,6%, SPMS 0,9%, PPMS 8,6%; 9,5% of RRMS reached SP at inclusion (those older at diagnosis, in actuality, or with longer follow-up). PPMS more frequente in patients diagnosed at older ages (p<0,001), also slight increase in females. Along the last decades: new cases have showed stable proportions of gender and disease types; age at first symptoms and diagnosis slightly increased, time between them slightly decreased. Proportion on DMT (May 2014): 84,5% of all; 90,4% of currently in RRMS; 70,8% of SPMS; 36,8% of PPMS; 48% of progressive forms together. Type of DMT, all patients: interferons 56,5%, Glatiramer Acetate 18,4%, Natalizumab 11,6%, Fingolimod 9,7%. Economically active 61,5% of all, unemployment 13,5%, 74,1% of non-active are retired due to disease. Females pregnant after diagnosis 15%. Positive family cases in 7,8%. Discussion/Conclusions: 10% of the national MS population collected. Data generally consistente with international reports. Proportion under DMT relatively high in all disease types, but second line therapies underrepresented. Young patients with mild disease have an active economic life. Those not active are essentially retired due to disease.

Improving the early diagnostic of prostate cancer by multiple biomarker detection with new biosensing devices

Prostate cancer (PCa) is the most common form of cancer in men, in Europe (World Health Organization data). The most recent statistics, in Portuguese territory, confirm this scenario, which states that about 50% of Portuguese men may suffer from prostate cancer and 15% of these will die from this condition. Its early detection is therefore fundamental. This is currently being done by Prostate Specific Antigen (PSA) screening in urine but false positive and negative results are quite often obtained and many patients are sent to unnecessary biopsy procedures. This early detection protocol may be improved, by the development of point-of-care cancer detection devices, not only to PSA but also to other biomarkers recently identified. Thus, the present work aims to screen several biomarkers in cultured human prostate cell lines, serum and urine samples, developing low cost sensors based on new synthetic biomaterials. Biomarkers considered in this study are the following: prostate specific antigen (PSA), annexin A3 (ANXA3), microseminoprotein-beta (MSMB) and sarcosine (SAR). The biomarker recognition may occurs by means of molecularly imprinted polymers (MIP), which are a kind of plastic antibodies, and enzymatic approaches. The growth of a rigid polymer, chemically stable, using the biomarker as a template allows the synthesis of the plastic antibody. MIPs show high sensitivity/selectivity and present much longer stability and much lower price than natural antibodies. This nanostructured material was prepared on a carbon solid. The interaction between the biomarker and the sensing-material produces electrical signals generating quantitative or semi-quantitative data. These devices allow inexpensive and portable detection in point-of-care testing.

Reconfigurable photonic logic architecture

The amorphous silicon photo-sensor studied in this thesis, is a double pin structure (p(a-SiC:H)-i’(a-SiC:H)-n(a-SiC:H)-p(a-SiC:H)-i(a-Si:H)-n(a-Si:H)) sandwiched between two transparent contacts deposited over transparent glass thus with the possibility of illumination on both sides, responding to wave-lengths from the ultra-violet, visible to the near infrared range. The frontal il-lumination surface, glass side, is used for light signal inputs. Both surfaces are used for optical bias, which changes the dynamic characteristics of the photo-sensor resulting in different outputs for the same input. Experimental studies were made with the photo-sensor to evaluate its applicability in multiplexing and demultiplexing several data communication channels. The digital light sig-nal was defined to implement simple logical operations like the NOT, AND, OR, and complex like the XOR, MAJ, full-adder and memory effect. A pro-grammable pattern emission system was built and also those for the validation and recovery of the obtained signals. This photo-sensor has applications in op-tical communications with several wavelengths, as a wavelength detector and to execute directly logical operations over digital light input signals.

Is Modernity Multiple?

Fundação para a Ciência e a Tecnologia (FCT), Fundação Millennium bcp