Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants

PLFC is a first-order possibilistic logic dealing with fuzzy constants and fuzzily restricted quantifiers. The refutation proof method in PLFC is mainly based on a generalized resolution rule which allows an implicit graded unification among fuzzy constants. However, unification for precise object constants is classical. In order to use PLFC for similarity-based reasoning, in this paper we extend a Horn-rule sublogic of PLFC with similarity-based unification of object constants. The Horn-rule sublogic of PLFC we consider deals only with disjunctive fuzzy constants and it is equipped with a simple and efficient version of PLFC proof method. At the semantic level, it is extended by equipping each sort with a fuzzy similarity relation, and at the syntactic level, by fuzzily “enlarging” each non-fuzzy object constant in the antecedent of a Horn-rule by means of a fuzzy similarity relation.

Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification

Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at the object-language level. In spite of its expressive power, an important limitation in P-DeLP is that imprecise, fuzzy information cannot be expressed in the object language. One interesting alternative for solving this limitation is the use of PGL+, a possibilistic logic over Gödel logic extended with fuzzy constants. Fuzzy constants in PGL+ allow expressing disjunctive information about the unknown value of a variable, in the sense of a magnitude, modelled as a (unary) predicate. The aim of this article is twofold: firstly, we formalize DePGL+, a possibilistic defeasible logic programming language that extends P-DeLP through the use of PGL+ in order to incorporate fuzzy constants and a fuzzy unification mechanism for them. Secondly, we propose a way to handle conflicting arguments in the context of the extended framework.

A logic programming framework for possibilistic argumentation: formalization and logical properties

In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most of such frameworks, however, are unable to deal with explicit uncertainty, nor with vague knowledge, as defeasibility is directly encoded in the object language. This paper presents Possibilistic Logic Programming (P-DeLP), a new logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty. Such features are formalized on the basis of PGL, a possibilistic logic based on G¨odel fuzzy logic. One of the applications of P-DeLP is providing an intelligent agent with non-monotonic, argumentative inference capabilities. In this paper we also provide a better understanding of such capabilities by defining two non-monotonic operators which model the expansion of a given program P by adding new weighed facts associated with argument conclusions and warranted literals, respectively. Different logical properties for the proposed operators are studied

A wolf in sheep"s clothing: carnivory in dominant sea urchins in the Mediterranean

Arbacia lixula and Paracentrotus lividus are the dominant sea urchins in the Mediterranean sublittoral, where they are key structuring species due to their grazing activity. It has been commonly accepted that competition between both species is minimized by specializing in different algal foods. A. lixula is considered to feed mainly on encrusting coralline algae, while P. lividus prefers fleshy macroalgae. We used stable isotope analysis to test if these species occupy different trophic positions at 3 locations in the western Mediterranean and one in Macaronesia. Our results show unambiguously that A. lixula always occupies a higher trophic level than P. lividus, with a δ15N comparable in some locations to strict carnivores such as Actinia schmidti or Marthasterias glacialis. A temporal monitoring at one locality showed that this signature of a higher trophic level is consistent throughout the year. These results are incompatible with the current belief of an herbivorous diet for A. lixula and suggest that it must be considered an omnivore tending to carnivory in Mediterranean ecosystems, feeding at least partially on sessile animals such as Cirripedia, Hydrozoa or Bryozoa. A parallel analysis of gut contents showed a predominance of vegetal items in both species, although A. lixula consistently had a higher abundance of animal components than P. lividus. Our results challenge the validity of using gut content observations alone for characterizing the trophic behaviour of omnivorous marine invertebrates that feed on a variety of food sources with different digestibility.

What hurts the dominant airlines at hub airports?

This paper estimates a frequency equation to explain the determinants of network airline service levels at their hub airports. Drawing on European data for 2002 - 2013, we find that network airlines reduce frequencies when the share of low - cost airlines increases both on the route and at the hub airport. On the contrary, frequency choices of network airlines are not affected by competition from low - cost airlines operating in nearby secondary airports. We also find some evidence that mergers in Europe may result in a re - organization of the route structure in favor of the hubs of the larger airline.

What hurts the dominant airlines at hub airports?

This paper estimates a frequency equation to explain the determinants of network airline service levels at their hub airports. Drawing on European data for 2002 - 2013, we find that network airlines reduce frequencies when the share of low - cost airlines increases both on the route and at the hub airport. On the contrary, frequency choices of network airlines are not affected by competition from low - cost airlines operating in nearby secondary airports. We also find some evidence that mergers in Europe may result in a re - organization of the route structure in favor of the hubs of the larger airline.

High prevalence of PRPH2 in autosomal dominant retinitis pigmentosa in france and characterization of biochemical and clinical features.

PURPOSE: To assess the prevalence of PRPH2 in autosomal dominant retinitis pigmentosa (adRP), to report 6 novel mutations, to characterize the biochemical features of a recurrent novel mutation, and to study the clinical features of adRP patients. DESIGN: Retrospective clinical and molecular genetic study. METHODS: Clinical investigations included visual field testing, fundus examination, high-resolution spectral-domain optical coherence tomography (OCT), fundus autofluorescence imaging, and electroretinogram (ERG) recording. PRPH2 was screened by Sanger sequencing in a cohort of 310 French families with adRP. Peripherin-2 protein was produced in yeast and analyzed by Western blot. RESULTS: We identified 15 mutations, including 6 novel and 9 previously reported changes in 32 families, accounting for a prevalence of 10.3% in this adRP population. We showed that a new recurrent p.Leu254Gln mutation leads to protein aggregation, suggesting abnormal folding. The clinical severity of the disease in examined patients was moderate with 78% of the eyes having 1-0.5 of visual acuity and 52% of the eyes retaining more than 50% of the visual field. Some patients characteristically showed vitelliform deposits or macular involvement. In some families, pericentral RP or macular dystrophy were found in family members while widespread RP was present in other members of the same families. CONCLUSIONS: The mutations in PRPH2 account for 10.3% of adRP in the French population, which is higher than previously reported (0%-8%) This makes PRPH2 the second most frequent adRP gene after RHO in our series. PRPH2 mutations cause highly variable phenotypes and moderate forms of adRP, including mild cases, which could be underdiagnosed.

Urine Fetuin-A is a biomarker of autosomal dominant polycystic kidney disease progression.

BACKGROUND: Autosomal dominant polycystic kidney disease (ADPKD) is a genetic disorder characterized by numerous fluid-filled cysts that frequently result in end-stage renal disease. While promising treatment options are in advanced clinical development, early diagnosis and follow-up remain a major challenge. We therefore evaluated the diagnostic value of Fetuin-A as a new biomarker of ADPKD in human urine. RESULTS: We found that renal Fetuin-A levels are upregulated in both Pkd1 and Bicc1 mouse models of ADPKD. Measurement by ELISA revealed that urinary Fetuin-A levels were significantly higher in 66 ADPKD patients (17.5 ± 12.5 μg/mmol creatinine) compared to 17 healthy volunteers (8.5 ± 3.8 μg/mmol creatinine) or 50 control patients with renal diseases of other causes (6.2 ± 2.9 μg/mmol creatinine). Receiver operating characteristics (ROC) analysis of urinary Fetuin-A levels for ADPKD rendered an optimum cut-off value of 12.2 μg/mmol creatinine, corresponding to 94% of sensitivity and 60% of specificity (area under the curve 0.74 ; p = 0.0019). Furthermore, urinary Fetuin-A levels in ADPKD patients correlated with the degree of renal insufficiency and showed a significant increase in patients with preserved renal function followed for two years. CONCLUSIONS: Our findings establish urinary Fetuin-A as a sensitive biomarker of the progression of ADPKD. Further studies are required to examine the pathogenic mechanisms of elevated renal and urinary Fetuin-A in ADPKD.

Dominant-Negative Effects of Adult-Onset Huntingtin Mutations Alter the Division of Human Embryonic Stem Cells-Derived Neural Cells.

Mutations of the huntingtin protein (HTT) gene underlie both adult-onset and juvenile forms of Huntington's disease (HD). HTT modulates mitotic spindle orientation and cell fate in mouse cortical progenitors from the ventricular zone. Using human embryonic stem cells (hESC) characterized as carrying mutations associated with adult-onset disease during pre-implantation genetic diagnosis, we investigated the influence of human HTT and of an adult-onset HD mutation on mitotic spindle orientation in human neural stem cells (NSCs) derived from hESCs. The RNAi-mediated silencing of both HTT alleles in neural stem cells derived from hESCs disrupted spindle orientation and led to the mislocalization of dynein, the p150Glued subunit of dynactin and the large nuclear mitotic apparatus (NuMA) protein. We also investigated the effect of the adult-onset HD mutation on the role of HTT during spindle orientation in NSCs derived from HD-hESCs. By combining SNP-targeting allele-specific silencing and gain-of-function approaches, we showed that a 46-glutamine expansion in human HTT was sufficient for a dominant-negative effect on spindle orientation and changes in the distribution within the spindle pole and the cell cortex of dynein, p150Glued and NuMA in neural cells. Thus, neural derivatives of disease-specific human pluripotent stem cells constitute a relevant biological resource for exploring the impact of adult-onset HD mutations of the HTT gene on the division of neural progenitors, with potential applications in HD drug discovery targeting HTT-dynein-p150Glued complex interactions.

DEVELOPMENT OF LOGIC IN INDIA: SIGNIFICANCE OF 'THE DUOLOGUE BETWEEN PĀYĀSI AND KASSAPA' ("LONG DISCOURSES")

ABSTRACT 'The Duologue of King/Governor Pāyāsi' ("Long Discourses") has long been recognised as a source for the proto-materialism current at the time of the Buddha. What needs to be stressed is the significance of the text as a pointer to the development of Logic in India. Perception (observation and experiment employing the joint method of agreement and difference), which is an accepted method of experimental enquiry, and reasoning from analogy, which can lead at best to a probable conclusion - these two are the only means employed to settle the dispute concerning the existence of the other-world. The Jain version of the same duologue-cum-parable, though varying in minor details regarding the name and identity of the monk refuting the king/governor, contains the same contrast, namely, perception versus analogical reasoning. There can be little doubt that the original parable was conceived with a view to asserting the existence of the other-world. In the Kaṭha Upaniṣad (sixth century BCE), an earlier Brahmanical text, however, instead of argument by analogy, verbal testimony (śabda) was invoked to settle the same point. Naciketas is assailed by doubt about the existence of a person after his or her death. The authority of Yama, the Pluto of Indian mythology, is invoked to convince him that the other-world does exist. Thus, the three parables taken together exhibit three means of knowledge in operation: verbal testimony and argument by analogy pitted against perception.

Remarks on an algebraic semantics for paraconsistent Nelson's logic

In the paper Busaniche and Cignoli (2009) we presented a quasivariety of commutative residuated lattices, called NPc-lattices, that serves as an algebraic semantics for paraconsistent Nelson's logic. In the present paper we show that NPc-lattices form a subvariety of the variety of commutative residuated lattices, we study congruences of NPc-lattices and some subvarieties of NPc-lattices.

Matrix- based logic for avoiding paradoxes and its paraconsistent alternative

The present article shows that there are consistent and decidable many- valued systems of propositional logic which satisfy two or all the three criteria for non- trivial inconsistent theories by da Costa (1974). The weaker one of these paraconsistent system is also able to avoid a series of paradoxes which come up when classical logic is applied to empirical sciences. These paraconsistent systems are based on a 6- valued system of propositional logic for avoiding difficulties in several domains of empirical science (Weingartner (2009)).

Automation Concept for Electrically Excited LV Synchronous Motor: Implementation into AC500 Programmable Logic Environment

This bachelor’s thesis is a part of the research project realized in the summer 2011 in Lappeenranta University of Technology. The goal of the project was to develop an automation concept for controlling the electrically excited synchronous motor. Thesis concentrates on the implementation of the automation concept into the ABB’s AC500 programmable logic enviroment. The automation program was developed as a state machine with the ABB’s PS501 Control Builder software. For controlling the automation program is developed a fieldbus control and with CodeSys Visualization Tool a local control with control panel. The fieldbus control is done to correspond the ABB drives communication profile and the local control is implemented with a function block which feeds right control words into the statemachine. A field current control of the synchronous motor is realized as a method presented in doctoral thesis of Olli Pyrhönen (Pyrhönen 1998). The Method combines stator flux and torque based openloop control and power factor based feedback control.