Constraint solving over multi-valued logics - application to digital circuits

Due to usage conditions, hazardous environments or intentional causes, physical and virtual systems are subject to faults in their components, which may affect their overall behaviour. In a ‘black-box’ agent modelled by a set of propositional logic rules, in which just a subset of components is externally visible, such faults may only be recognised by examining some output function of the agent. A (fault-free) model of the agent’s system provides the expected output given some input. If the real output differs from that predicted output, then the system is faulty. However, some faults may only become apparent in the system output when appropriate inputs are given. A number of problems regarding both testing and diagnosis thus arise, such as testing a fault, testing the whole system, finding possible faults and differentiating them to locate the correct one. The corresponding optimisation problems of finding solutions that require minimum resources are also very relevant in industry, as is minimal diagnosis. In this dissertation we use a well established set of benchmark circuits to address such diagnostic related problems and propose and develop models with different logics that we formalise and generalise as much as possible. We also prove that all techniques generalise to agents and to multiple faults. The developed multi-valued logics extend the usual Boolean logic (suitable for faultfree models) by encoding values with some dependency (usually on faults). Such logics thus allow modelling an arbitrary number of diagnostic theories. Each problem is subsequently solved with CLP solvers that we implement and discuss, together with a new efficient search technique that we present. We compare our results with other approaches such as SAT (that require substantial duplication of circuits), showing the effectiveness of constraints over multi-valued logics, and also the adequacy of a general set constraint solver (with special inferences over set functions such as cardinality) on other problems. In addition, for an optimisation problem, we integrate local search with a constructive approach (branch-and-bound) using a variety of logics to improve an existing efficient tool based on SAT and ILP.

Constraint reasoning for differential models

The basic motivation of this work was the integration of biophysical models within the interval constraints framework for decision support. Comparing the major features of biophysical models with the expressive power of the existing interval constraints framework, it was clear that the most important inadequacy was related with the representation of differential equations. System dynamics is often modelled through differential equations but there was no way of expressing a differential equation as a constraint and integrate it within the constraints framework. Consequently, the goal of this work is focussed on the integration of ordinary differential equations within the interval constraints framework, which for this purpose is extended with the new formalism of Constraint Satisfaction Differential Problems. Such framework allows the specification of ordinary differential equations, together with related information, by means of constraints, and provides efficient propagation techniques for pruning the domains of their variables. This enabled the integration of all such information in a single constraint whose variables may subsequently be used in other constraints of the model. The specific method used for pruning its variable domains can then be combined with the pruning methods associated with the other constraints in an overall propagation algorithm for reducing the bounds of all model variables. The application of the constraint propagation algorithm for pruning the variable domains, that is, the enforcement of local-consistency, turned out to be insufficient to support decision in practical problems that include differential equations. The domain pruning achieved is not, in general, sufficient to allow safe decisions and the main reason derives from the non-linearity of the differential equations. Consequently, a complementary goal of this work proposes a new strong consistency criterion, Global Hull-consistency, particularly suited to decision support with differential models, by presenting an adequate trade-of between domain pruning and computational effort. Several alternative algorithms are proposed for enforcing Global Hull-consistency and, due to their complexity, an effort was made to provide implementations able to supply any-time pruning results. Since the consistency criterion is dependent on the existence of canonical solutions, it is proposed a local search approach that can be integrated with constraint propagation in continuous domains and, in particular, with the enforcing algorithms for anticipating the finding of canonical solutions. The last goal of this work is the validation of the approach as an important contribution for the integration of biophysical models within decision support. Consequently, a prototype application that integrated all the proposed extensions to the interval constraints framework is developed and used for solving problems in different biophysical domains.

Prognostic modelling of breast cancer patients: a benchmark of predictive models with external validation

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores – Sistemas Digitais e Percepcionais pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Modern techniques for constraint solving the CASPER experience

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Informática, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Constraint-based modeling of minimum set covering: application to species differentation

Work presented in the context of the European Master in Computational Logics, as partial requisit for the graduation as Master in Computational Logics

The adoption of cloud computing by SMEs: identifying and coping with external factors.

Comunicação apresentada na CAPSI 2011 - 11ª Conferência da Associação Portuguesa de Sistemas de Informação – A Gestão de Informação na era da Cloud Computing, Lisboa, ISEG/IUL-ISCTE/, 19 a 21 de Outubro de 2011.

Constraint-based verification of imperative programs

work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational Logic

Framework development for providing accessibility to qualitative spatial calculi

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Probabilistic constraint reasoning

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Informática, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Studying the impact of co-authorship with external researchers:the case of research community in Portugal using social network analysis.

Project work presented as a partial requirement to obtain a Master Degree in Information Management

Determinants of Portuguese external imbalances

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

Essay on external imbalances within the Euro Area

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

External brand extensions impact on Diesel's brand image

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

Adjusting to external imbalances within the EMU, the case of Portugal

From 1995 to 2010 Portugal has accumulated a negative international asset position of 110 percent of GDP. In a developed and aging economy the number is astonishing and any argument to consider it sustainable must rely on extremely favorable forecasts on growth. Portuguese policy options are reduced in number: no autonomous monetary policy, no currency to devaluate, and limited discretion in changing fiscal deficits and government debt. To start the necessary deleveraging a remaining possible policy is a budget-neutral change of the tax structure that increases private saving and net exports. An increase in the VAT and a decrease in the employer’s social security contribution tax can achieve the desired outcome in the short run if they are complemented with wage moderation. To obtain a substantial improvement in competitiveness and a large decrease in consumption, the changes in the tax rates have to be large. While a precise quantitative assessment is difficult, the initial increase in the effective VAT rate needed to allow the social security tax to decrease by 16 percentage points (pp) is approximately 10 pp. Such a large increase in the effective VAT rate could be obtained by raising most of the reduced VAT rates to the new general VAT rate of 23 percent. The empirical analysis shows that over time the suggested tax swap could generate surpluses and improve the trade balance. A temporary version of the suggested tax-swap has the attractiveness to achieve a sharper increase in the private saving rate maintaining the short run gains in competitiveness. Finally, the temporary version of the fiscal devaluation could be the basis for an automatic stabilizer to external imbalances within a monetary union.Portugal has been running large current account deficits every year since 1995. These deficits have accumulated to an astonishing 110 percent of GDP negative external asset position. The sustainability of such a large external position is questionable and must rely on fantastic productivity growth expectations. The recent global financial crisis appears to have anticipated the international investors reality check on those future expectations with the result of a large increase in the cost of external financing. Today the rebalancing of the current account through an increase in national savings and an improvement in competitiveness must be at the top of the Portuguese authorities “to do” list as the cost of a pull out from international investors is of the order of 10% of GDP. The external rebalancing is difficult as the degrees of freedom of the Portuguese authorities are limited in number: they have no autonomous monetary policy, no currency to devaluate, and little discretion in fiscal policy as deficit limits and debt targets are set by the Stability Growth Pact and the postcrisis consensus on medium-term fiscal consolidation. One possibility that remains is to change the fiscal policy mix for a given budget deficit. The purpose of this paper is to explore the effects of a “fiscal devaluation”1 obtained through a tax swap between employers’ social security contributions and taxes on consumption2. The paper begins by illustrating Portugal’s current account evolution during the euro period. The second section section lays out a model to offer a qualitative assessment of the dynamic outcomes of the the tax swap. I show that the suggested tax swap can in theory achieve the desired outcomes in terms of competitiveness and consumption if complemented with moderation (stickiness) in wages. I also study the effects of a temporary version of the tax swap and show that it achieves a sharper improvement in the current account that accelerate the rebalancing. The third section moves to the empirical analysis and estimates the likely effects of the tax swap for the Portuguese economy. The fourth section concludes.

Corporate social responsibility: How internal and external CSR perceptions influence employee outcomes

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