Applying logic forms and statistical methods to CL-SR performance

This paper describes a CL-SR system that employs two different techniques: the first one is based on NLP rules that consist on applying logic forms to the topic processing while the second one basically consists on applying the IR-n statistical search engine to the spoken document collection. The application of logic forms to the topics allows to increase the weight of topic terms according to a set of syntactic rules. Thus, the weights of the topic terms are used by IR-n system in the information retrieval process.

An application of fuzzy logic for hardware/software partitioning in embedded systems

Hardware/Software partitioning (HSP) is a key task for embedded system co-design. The main goal of this task is to decide which components of an application are to be executed in a general purpose processor (software) and which ones, on a specific hardware, taking into account a set of restrictions expressed by metrics. In last years, several approaches have been proposed for solving the HSP problem, directed by metaheuristic algorithms. However, due to diversity of models and metrics used, the choice of the best suited algorithm is an open problem yet. This article presents the results of applying a fuzzy approach to the HSP problem. This approach is more flexible than many others due to the fact that it is possible to accept quite good solutions or to reject other ones which do not seem good. In this work we compare six metaheuristic algorithms: Random Search, Tabu Search, Simulated Annealing, Hill Climbing, Genetic Algorithm and Evolutionary Strategy. The presented model is aimed to simultaneously minimize the hardware area and the execution time. The obtained results show that Restart Hill Climbing is the best performing algorithm in most cases.

Logic hybrid simulation-optimization algorithm for distillation design

In this paper, we propose a novel algorithm for the rigorous design of distillation columns that integrates a process simulator in a generalized disjunctive programming formulation. The optimal distillation column, or column sequence, is obtained by selecting, for each column section, among a set of column sections with different number of theoretical trays. The selection of thermodynamic models, properties estimation etc., are all in the simulation environment. All the numerical issues related to the convergence of distillation columns (or column sections) are also maintained in the simulation environment. The model is formulated as a Generalized Disjunctive Programming (GDP) problem and solved using the logic based outer approximation algorithm without MINLP reformulation. Some examples involving from a single column to thermally coupled sequence or extractive distillation shows the performance of the new algorithm.

Truth Values in t-norm based Systems Many-valued FUZZY Logic

In t-norm based systems many-valued logic, valuations of propositions form a non-countable set: interval [0,1]. In addition, we are given a set E of truth values p, subject to certain conditions, the valuation v is v=V(p), V reciprocal application of E on [0,1]. The general propositional algebra of t-norm based many-valued logic is then constructed from seven axioms. It contains classical logic (not many-valued) as a special case. It is first applied to the case where E=[0,1] and V is the identity. The result is a t-norm based many-valued logic in which contradiction can have a nonzero degree of truth but cannot be true; for this reason, this logic is called quasi-paraconsistent.

Paraconsistent Multivalued Logic and Coincidentia Oppositorum: Evaluation with Complex Numbers

Paraconsistent logic admits that the contradiction can be true. Let p be the truth values and P be a proposition. In paraconsistent logic the truth values of contradiction is . This equation has no real roots but admits complex roots . This is the result which leads to develop a multivalued logic to complex truth values. The sum of truth values being isomorphic to the vector of the plane, it is natural to relate the function V to the metric of the vector space R2. We will adopt as valuations the norms of vectors. The main objective of this paper is to establish a theory of truth-value evaluation for paraconsistent logics with the goal of using in analyzing ideological, mythical, religious and mystic belief systems.

Logic-Based Outer Approximation for the Design of Discrete-Continuous Dynamic Systems with Implicit Discontinuities

We address the optimization of discrete-continuous dynamic optimization problems using a disjunctive multistage modeling framework, with implicit discontinuities, which increases the problem complexity since the number of continuous phases and discrete events is not known a-priori. After setting a fixed alternative sequence of modes, we convert the infinite-dimensional continuous mixed-logic dynamic (MLDO) problem into a finite dimensional discretized GDP problem by orthogonal collocation on finite elements. We use the Logic-based Outer Approximation algorithm to fully exploit the structure of the GDP representation of the problem. This modelling framework is illustrated with an optimization problem with implicit discontinuities (diver problem).

Logic-Based Outer-Approximation Algorithm for Solving Discrete-Continuous Dynamic Optimization Problems

We present an extension of the logic outer-approximation algorithm for dealing with disjunctive discrete-continuous optimal control problems whose dynamic behavior is modeled in terms of differential-algebraic equations. Although the proposed algorithm can be applied to a wide variety of discrete-continuous optimal control problems, we are mainly interested in problems where disjunctions are also present. Disjunctions are included to take into account only certain parts of the underlying model which become relevant under some processing conditions. By doing so the numerical robustness of the optimization algorithm improves since those parts of the model that are not active are discarded leading to a reduced size problem and avoiding potential model singularities. We test the proposed algorithm using three examples of different complex dynamic behavior. In all the case studies the number of iterations and the computational effort required to obtain the optimal solutions is modest and the solutions are relatively easy to find.

Profitability analysis of a femtosecond laser system for cataract surgery using a fuzzy logic approach

AIM: To define the financial and management conditions required to introduce a femtosecond laser system for cataract surgery in a clinic using a fuzzy logic approach. METHODS: In the simulation performed in the current study, the costs associated to the acquisition and use of a commercially available femtosecond laser platform for cataract surgery (VICTUS, TECHNOLAS Perfect Vision GmbH, Bausch & Lomb, Munich, Germany) during a period of 5y were considered. A sensitivity analysis was performed considering such costs and the countable amortization of the system during this 5y period. Furthermore, a fuzzy logic analysis was used to obtain an estimation of the money income associated to each femtosecond laser-assisted cataract surgery (G). RESULTS: According to the sensitivity analysis, the femtosecond laser system under evaluation can be profitable if 1400 cataract surgeries are performed per year and if each surgery can be invoiced more than $500. In contrast, the fuzzy logic analysis confirmed that the patient had to pay more per surgery, between $661.8 and $667.4 per surgery, without considering the cost of the intraocular lens (IOL). CONCLUSION: A profitability of femtosecond laser systems for cataract surgery can be obtained after a detailed financial analysis, especially in those centers with large volumes of patients. The cost of the surgery for patients should be adapted to the real flow of patients with the ability of paying a reasonable range of cost.

Compendium logicæ secundum principia D. Renati Descarte catechisticè propositum : [1693]

Small leather hardcover volume containing a manuscript copy of William Brattle’s abstract of René Descartes’ "Compendium Logicae" copied in Latin, likely by Thomas Phipps in 1693. A crossed out inscription on the inside back cover appears to read “Thomas Phips 1693” likely referring to Thomas Phipps, a member of the Harvard Class of 1695.

The Political Logic of Disintegration: Seven Lessons from the Soviet Collapse. CEPS Essay (No. 1), September 2012

In short, the European Union, as we know it, no longer exists. The very foundations on which it was built are eroding. Shared memories of the Second World War have faded away – half the 15- and 16-year-olds in German high schools do not know that Hitler was a dictator, while a third believe that he protected human rights. The collapse of the Soviet Union has stripped away the geopolitical rationale for European unity. The democratic welfare state that was at the heart of the post-war political consensus is under siege by, among other things, sheer demographics. And the prosperity that bolstered the European project’s political legitimacy is vanishing. More than six out of ten Europeans believe that the lives of today’s children will be more difficult than those of people from their own generation. Against this background, how unthinkable is the EU’s disintegration? Should Europeans make the mistake of taking the Union for granted? Should they assume that the Union would not collapse because it should not collapse? Here, Europe’s capacity to learn from the Soviet precedent could play a crucial part. For the very survival of the EU may depend on its leaders’ ability to manage a similar mix of political, economic and psychological factors that were in play in the process of the Soviet collapse. The game of disintegration is primarily a political one driven much more by the perceptions and misperceptions of the political actors than simply by the constellation of the structural factors – institutional and economic.

Mutual Recognition: economic and regulatory logic in goods and services. Bruges European Economic Research (BEER) Papers 24/June 2012

Mutual recognition is one of the most appreciated innovations of the EU. The idea is that one can pursue market integration, indeed "deep' market integration, while respecting 'diversity' amongst the participating countries. Put differently, in pursuing 'free movement' for goods, mutual recognition facilitates free movement by disciplining the nature and scope of 'regulatory barriers', whilst allowing some degree of regulatory discretion for EU Member States. This BEER paper attempts to explain the rationale and logic of mutual recognition in the EU internal goods market, its working in actual practice for about three decades now, culminating in a qualitative cost/benefit analysis and its recent improvement in terms of 'governance' in the so-called New Legislative Framework (first denoted as the 2008 Goods package) thereby ameliorating the benefits/costs ratio. For new (in contrast to existing) national regulation, the intrusive EU procedure to impose mutual recognition is presented as well, with basic data so as to show its critical importance to keep the internal goods market free. All this is complemented by a short summary of the scant economic literature on mutual recognition. Subsequently, the analysis is extended to the internal market for services. This is done in two steps, first by reminding the debate on the origin principle (which goes further than mutual recognition EU-style) and how mutual recognition works under the horizontal services directive. This is followed by a short section on how mutual recognition works in vertical (i.e. sectoral) services markets.

Can the new refugee relocation system work? Perils in the Dublin logic and flawed reception conditions in the EU. CEPS Policy Brief No. 332, October 2015 Thursday, 1 October 2015

This Policy Brief argues that the newly adopted EU temporary relocation (quota) system constitutes a welcome yet timid step forward in addressing a number of central controversies of the current refugee debate in Europe. Two main challenges affect the effective operability of the new EU relocation model. First, EU member states’ asylum systems show profound (on-the-ground) weaknesses in reception conditions and judicial/administrative capacities. These prevent a fair and humane processing of asylum applications. EU states are not implementing the common standards enshrined in the EU reception conditions Directive 2013/33. Second, the new relocation system constitutes a move away from the much-criticised Dublin system, but it is still anchored to its premises. The Dublin system is driven by an unfair and unsustainable rule according to which the first EU state of entry is responsible for assessing asylum applications. It does not properly consider the personal, private and family circumstances or the preferences of asylum-seekers. Policy Recommendations In order to respond to these challenges, the Policy Brief offers the following policy recommendations: The EU should strengthen and better enforce member states’ reception capacities, abolish the current Dublin system rule of allocation of responsibility and expand the new relocation distribution criteria to include in the assessment (as far as possible) asylum-seekers’ preferences and personal/family links to EU member states. EU member countries should give priority to boosting their current and forward-looking administrative and judicial capacities to deal and welcome asylum applications. The EU should establish a permanent common European border and asylum service focused on ensuring the highest standards through stable operational support, institutional solidarity across all EU external borders and the practical implementation of new distribution relocation criteria.

Beyond a logic of effectiveness: Horizontal coordination, democratic legitimacy and accountability

Horizontal coordination, where actors join together to accomplish a common task, has been applauded for its output legitimacy. However, such processes often face challenges due to opposition from local actors who raise concerns about democratic legitimacy and accountability. Moving beyond a logic of effectiveness, we aim to show how and why other forms of legitimacy such as input and throughput dimensions also affect horizontal coordination, in addition to output criteria. Beyond the assumed positive relationship between coordination and effectiveness, we additionally expect horizontal coordination to be (a) impeded by local actors' fear of losing democratic legitimacy; and (b) fostered by accountability in terms of the steering capacity of the state. A comparative case study analysis of water supply structures at the regional level in Switzerland shows, in contrast to our expectation, that effectiveness has mixed impacts on horizontal coordination. Rather than being solely a positive factor for horizontal coordination, certain output criteria such as financial redistribution are found to be a key hindrance. We also find that democratic legitimacy may, indeed, impede horizontal coordination whereas increased accountability positively affects such coordination.

Anwendungen von Fuzzy Logic im Controlling

Die wesentliche Aufgabe des Controllings besteht darin, dem Management aufbereitete Informationen zur Verfügung zu stellen. Die zu verarbeitenden Informationen liegen allerdings nicht immer in der gewünschten Genauigkeit vor. Trotz dieser Unschärfe muss eine Beschreibung stattfinden, um eine Entscheidungsfindung zu realsieren. Eine Möglichkeit ist der hier vorgestellte wissensbasierte Ansatz der Fuzzy Logic. Anhand von drei Controllinginstrumenten wird in der vorliegenden Arbeit das Anwendungspotential der Fuzzy Logic im Controlling bewertet.