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

Nelitietrukin ohjausjärjestelmän suunnittelu QFD-laatutyökalua hyväksikäyttäen

Tämä työ käsittelee tuotekehitysprojektia, jonka tarkoituksena on suunnitella uusi nelitietyöntömastotrukki asiakaslähtöisesti QFD-laatutyökalua hyväksi käyttäen. Työ esittelee QFD-laatutyökalun, sekä varsinkin sen nelivaiheisen ASI:n toimintamallin. Työ antaa myös perusvalmiudet ASI:n toimintamallin käyttöön tuotekehitysprojektissa. Työssä keskitytään tarkastelemaan uuden ohjausjärjestelmän mekaanista kehittelyä. Suunnittelutyössä käytetään hyväksi ASI:n (American Supplier Institute) nelivaiheista QFD-laatutyökalua, joka on autoteollisuuden toimintatapoihin perustuva QFD-tekniikka. QFD tulee sanoista Quality Funcktion Deployment ja vapaasti suomennettuna se merkitsee asiakaslähtöinen tuotesuunnittelu. Nelivaiheinen QFD-malli koostuu seuraavista matriiseista: 1. Tuotteen suunnittelu, 2. osien suunnittelu ja kehittäminen, 3. prosessin suunnittelu sekä 4. tuotannon suunnittelu. Matriisin tulokset muodostavat aina seuraavan matriisin lähtökohdat. Ensimmäisen matriisin lähtökohdat muodostuvat asiakastarvekuvauksesta, joka saadaan haastatteluista, tutkimuksista yms. Tuotekehitysprojektissa kehitetty TEM-monitietrukki, jossa rajattomasti ympäripyöriviä tukipyöriä ohjataan CAN-väylän kautta älykkäällä ohjauslogiikalla, on markkinoilla erittäin kilpailukykyinen sekä ominaisuuksiensa että hintansa puolesta. QFD yhdessä huolellisesti analysoidun asiakastarvekuvauksen kanssa selkeyttää ja priorisoi tuotteen spesifikaation määrittelyä sekä ohjaa tuotteen kehittelyä ja tuotannollistamista. Tuotekehitysprojekti pysyy aikataulussaan ja tuotannollistamisen kynnyksellä tehtävät muutokset vähenevät selkeän jäsentelyn ansiosta.

Kalvon modifioinnin vaikutus pienten molekyylien nanosuodatukseen

Tässä työssä tutkittiin pienten molekyylien nanosuodatusta kolmella kalvolla. Lappeenrannan teknillisen korkeakoulun laboratoriomittakaavan nanosuodatuslaitteistolla suodatettiin glukoosin, maitohapon ja oktaanihapon vesiliuoksia 0,45 m/s virtausnopeudella. Lisäksi NF 45, NF 270 ja NTR 7450 –kalvoja modifioitiin UV-säteilytyksellä modifiointiaineen kanssa tai ilman. Modifiointiaineina olivat maito- ja oktaanihappo. Kalvon modifioinnilla pyrittiin parantamaan permeabiliteettia ilman retentiohäviöitä. Kirjallisuusosassa käsiteltiin nanosuodatuksen erottumisperiaatteita ja konsentraatiopolarisaation merkitystä liuenneiden aineiden erottumisessa. Lisäksi käsiteltiin kalvon modifioinnin merkitystä suodatuksen parantamiseen ja pienten orgaanisten molekyylien nanosuodatusta. Aluksi suodatettiin glukoosi- ja oktaanihappoliuoksia NF 270 –kalvolla. Glukoosin retentio oli 80% pitoisuudesta riippumatta, mutta oktaanihapon retentio, 70-100%, riippui pitoisuudesta. 100 ppm oktaanihapon pitoisuudessa retentio oli 100% ja suuremmilla pitoisuuksilla alhaisempi. Kun oktaanihappoa suodatettiin modifioimattomilla kalvoilla pH:n funktiona, niin retentiot olivat pH-riippuvaisia. Alhaisilla pH-arvoilla oktaanihapon retentiot olivat lähes nolla ja nousivat jyrkästi pH:ssa 6 siten, että korkeilla pH-arvoilla retentiot olivat yli 80%. Glukoosin suodatuksissa NF 270 –kalvolla modifiointi aina hieman paransi vuota, mutta retentiot huononivat. Oktaanihapon suodatuksissa vuo parani hieman, kun kalvoja (NF 270 ja NTR 7450) oli modifioitu 20 minuuttia UV-säteilytyksellä 100 ppm maitohappoliuoksessa. NTR 7450 –kalvon vuo moninkertaistui modifioimattoman kalvon vuohon verrattuna, kun kalvoa oli UV-säteilytetty 20 minuuttia 2000 ppm maitohappoliuoksessa. Oktaanihapposuodatuksissa retentiot modifioiduilla kalvoilla olivat suurimmat pH-alueella 7-10. Modifioitujen kalvojen permeabiliteetit nousivat jyrkästi pH:ssa 12 kaikilla malliaineilla, mikä viittaa siihen, että modifiointiaine irtosi pH:ssa 12. Toisaalta korkeilla pH-arvoilla kalvo muuttuu avoimemmaksi, joten modifiointiaineen irtoamista ei voitu näiden mittausten perusteella varmentaa. Kalvon modifiointi oli onnistunut, sillä malliainesuodatuksissa havaittiin vuo- ja retentiomuutoksia.

Contrast : a concept in language and its development in Medieval Spanish

The purpose of this PhD thesis is to investigate a semantic relation present in the connection of sentences (more specifically: propositional units). This relation, which we refer to as contrast, includes the traditional categories of adversatives - predominantly represented by the connector but in English and pero in Modern Spanish - and concessives, prototypically verbalised through although / aunque. The aim is to describe, analyse and - as far as possible - to explain the emergence and evolution of different syntactic schemes marking contrast during the first three centuries of Spanish (also referred to as Castilian) as a literary language, i.e., from the 13th to the 15th century. The starting point of this question is a commonplace in syntax, whereby the semantic and syntactic complexity of clause linkage correlates with the degree of textual elaboration. In historical linguistics, i.e., applied to the phylogeny of a language, it is commonly referred to as the parataxis hypothesis A crucial part of the thesis is dedicated by the definition of contrast as a semantic relation. Although the label contrast has been used in this sense, mainly in functional grammar and text linguistics, mainstream grammaticography and linguistics remain attached to the traditional categories adversatives and concessives. In opposition to this traditional view, we present our own model of contrast, based on a pragma-semantic description proposed for the analysis of adversatives by Oswald Ducrot and subsequently adopted by Ekkehard König for the analysis of concessives. We refine and further develop this model in order for it to accommodate all, not just the prototypical instances of contrast in Spanish, arguing that the relationship between adversatives and concessives is a marked opposition, i.e., that the higher degree of semantic and syntactic integration of concessives restricts some possible readings that the adversatives may have, but that this difference is almost systematically neutralised by contextual factors, thus justifying the assumption of contrast as a comprehensive onomasiological category. This theoretical focus is completed by a state-of-the-question overview attempting to account for all relevant forms in which contrast is expressed in Medieval Spanish, with the aid of lexicographic and grammaticographical sources, and an empirical study investigating the expression of corpus in a corpus study on the textual functions of contrast in nine Medieval Spanish texts: Cantar de Mio Cid, Libro de Alexandre, Milagros de Nuestra Sehora, Estoria de Espana, Primera Partida, Lapidario, Libro de buen amor, Conde Lucanor, and Corbacho. This corpus is analysed using quantitative and qualitative tools, and the study is accompanied by a series of methodological remarks on how to investigate a pragma-semantic category in historical linguistics. The corpus study shows that the parataxis hypothesis fails to prove from a statistical viewpoint, although a qualitative analysis shows that the use of subordination does increase over time in some particular contexts.

Determinants of Broadband Access: Is Platform Competition always the Key Variable to Success?

Previous studies have identified the rivalry among technological platforms as one of the main driving forces of broadband services penetration. This paper draws on data from the Spanish market between 2005 and 2011 to estimate the main determinants of broadband prices. Controlling for broadband tariffs features and network variables, we examine the impact of the different modes of competition on prices. We find that inter-platform competition has no significant effects over prices, while intra-platform competition is a key driver of the prices charged in the broadband market. Our analysis suggests that the impact of different types of competition on prices is critically affected by the levels of development of the broadband market achieved by the considered country

Interventions présumées des scribes concernant le motif de l'arbre sacré dans le Pentateuque

Abstract: This article deals with several presumed scribal interventions which all concern the sacred tree motif. One finds deliberate changes in the MT, in the Septuagint, in Targum Onkelos and in the Vulgate. The Greek translators of Genesis and Samuel (1-2 Kingdoms) avoided rendering the word אשׁל "tamarisk" by its equivalent μυρίκη, chosing instead the word ἄρουρα "field". Similarly, the Greek translator of Genesis, in the passage of the death of Rebecca's nurse Deborah, passed over the motif of her burial under a grand tree. According to the hypothesis of the present article, all four changes are related to one other; they might be due to the translator's fear to connect the respective texts with traditions and customs concerning the Egyptian god Osiris. On the other side, a scribe of the proto-Massoretic tradition modified the readings mentioning the large tree of Mamre close to Hebron. By changing the noun's number from singular to plural the corrector tried to conceal the existence and importance of the sacred tree in the tradition of Abraham. By contrast, the scribe did not modify texts related to the sacred tree of Shechem. This disparity of treatment may be explained by the fact that, in the view of the Judean scribe, the tree of Shechem would put the Samaritans in a bad light. Finally, the authors of Targum Onkelos and of the Vulgate intervened almost systematically in Pentateuchal texts having the terms אֵלוֹן) אלון or אַלּוֹן ), which always designate a holy tree. The two expressions are rendered by terms referring to plains (Targum Onkelos) or a valley (Vulgate).

Les maladies rénales chroniques ne sont pas toutes silencieuses [Chronic kidney diseases do not always pass unnoticed].

Kidney diseases are frequent, but most of the time, they develop unnoticed. This paucity of symptoms may lead to delayed diagnosis with important consequences on their outcome. Nevertheless, specific systemic signs such as skin lesions, joint pain or electrolytes disturbances may sometimes alert the clinician and direct the diagnosis to an underlying nephropathy. A high awareness of clinicians is warranted to recognize these red flags and diagnose these diseases early, as illustrated by two clinical cases discussed in this article.

Conservation Laws in Cellular Automata

Conservation laws in physics are numerical invariants of the dynamics of a system. In cellular automata (CA), a similar concept has already been defined and studied. To each local pattern of cell states a real value is associated, interpreted as the “energy” (or “mass”, or . . . ) of that pattern.The overall “energy” of a configuration is simply the sum of the energy of the local patterns appearing on different positions in the configuration. We have a conservation law for that energy, if the total energy of each configuration remains constant during the evolution of the CA. For a given conservation law, it is desirable to find microscopic explanations for the dynamics of the conserved energy in terms of flows of energy from one region toward another. Often, it happens that the energy values are from non-negative integers, and are interpreted as the number of “particles” distributed on a configuration. In such cases, it is conjectured that one can always provide a microscopic explanation for the conservation laws by prescribing rules for the local movement of the particles. The onedimensional case has already been solved by Fuk´s and Pivato. We extend this to two-dimensional cellular automata with radius-0,5 neighborhood on the square lattice. We then consider conservation laws in which the energy values are chosen from a commutative group or semigroup. In this case, the class of all conservation laws for a CA form a partially ordered hierarchy. We study the structure of this hierarchy and prove some basic facts about it. Although the local properties of this hierarchy (at least in the group-valued case) are tractable, its global properties turn out to be algorithmically inaccessible. In particular, we prove that it is undecidable whether this hierarchy is trivial (i.e., if the CA has any non-trivial conservation law at all) or unbounded. We point out some interconnections between the structure of this hierarchy and the dynamical properties of the CA. We show that positively expansive CA do not have non-trivial conservation laws. We also investigate a curious relationship between conservation laws and invariant Gibbs measures in reversible and surjective CA. Gibbs measures are known to coincide with the equilibrium states of a lattice system defined in terms of a Hamiltonian. For reversible cellular automata, each conserved quantity may play the role of a Hamiltonian, and provides a Gibbs measure (or a set of Gibbs measures, in case of phase multiplicity) that is invariant. Conversely, every invariant Gibbs measure provides a conservation law for the CA. For surjective CA, the former statement also follows (in a slightly different form) from the variational characterization of the Gibbs measures. For one-dimensional surjective CA, we show that each invariant Gibbs measure provides a conservation law. We also prove that surjective CA almost surely preserve the average information content per cell with respect to any probability measure.

Eliminating Software Failures - A Literature Survey

Software faults are expensive and cause serious damage, particularly if discovered late or not at all. Some software faults tend to be hidden. One goal of the thesis is to figure out the status quo in the field of software fault elimination since there are no recent surveys of the whole area. Basis for a structural framework is proposed for this unstructured field, paying attention to compatibility and how to find studies. Bug elimination means are surveyed, including bug knowhow, defect prevention and prediction, analysis, testing, and fault tolerance. The most common research issues for each area are identified and discussed, along with issues that do not get enough attention. Recommendations are presented for software developers, researchers, and teachers. Only the main lines of research are figured out. The main emphasis is on technical aspects. The survey was done by performing searches in IEEE, ACM, Elsevier, and Inspect databases. In addition, a systematic search was done for a few well-known related journals from recent time intervals. Some other journals, some conference proceedings and a few books, reports, and Internet articles have been investigated, too. The following problems were found and solutions for them discussed. Quality assurance is testing only is a common misunderstanding, and many checks are done and some methods applied only in the late testing phase. Many types of static review are almost forgotten even though they reveal faults that are hard to be detected by other means. Other forgotten areas are knowledge of bugs, knowing continuously repeated bugs, and lightweight means to increase reliability. Compatibility between studies is not always good, which also makes documents harder to understand. Some means, methods, and problems are considered method- or domain-specific when they are not. The field lacks cross-field research.

Eficiència energètica aplicada a les instal·lacions de la Universitat de Vic

En termes generals, es pot definir l’Eficiència Energètica com la reducció del consum d’energia mantenint els mateixos serveis energètics, sense disminuir el nostre confort i qualitat de vida, protegint el medi ambient, assegurant el proveïment i fomentant un comportament Sostenible al seu ús. L’objectiu principal d’aquest treball, és reduir el consum d’energia i terme de potència contractat a la Universitat de Vic, aplicant un programa d’estalvi amb mesures correctores en el funcionament de les seves instal·lacions o espais. Per tal de poder arribar a aquest objectiu marcat, prèviament s’ha realitzat un estudi acurat, obtenint tota la informació necessària per poder aplicar les mesures correctores a la bossa més important de consum. Un cop trobada, dur a terme l’estudi de la viabilitat de la inversió de les mesures correctores més eficients, optimitzant els recursos destinats. L’espai on s’ha dut a terme l’estudi, ha estat a l’edifici F del Campus Miramarges, seguint les indicacions d’Arnau Bardolet (Cap de Manteniment de la UVIC). Aquest edifici consta d’un entresol, baixos i quatre plantes. L’equip de mesura que s’ha fet servir per realitzar l’estudi, és de la marca Circutor sèrie AR5-L, aquests equips són programables que mesuren, calculen i emmagatzemen en memòria els principals paràmetres elèctrics en xarxes trifàsiques. Els projectes futurs complementaris que es podrien realitzar a part d’aquest són: instal·lar sensors, instal·lar mòduls convertidors TCP/IP, aprofitar la xarxa intranet i crear un escada amb un sinòptic de control i gestió des d’un punt de treball. Aquest aplicatiu permet visualitzar en una pantalla d’un PC tots els estats dels elements controlats mitjançant un sinòptic (encendre/parar manualment l’enllumenat i endolls de les aules, estat d’enllumenat i endolls de les aules, consums instantanis/acumulats energètics, estat dels passadissos entre altres) i explotar les dades recollides a la base de dades. Cada espai tindria la seva lògica de funcionament automàtic específic. Entre les conclusions més rellevants obtingudes en aquest treball s’observa: · Que és pot reduir la potència contractada a la factura a l’estar per sota de la realment consumida. · Que no hi ha penalitzacions a la factura per consum de reactiva, ja que el compensador funciona correctament. · Que es pot reduir l’horari de l’inici del consum d’energia, ja que no correspon a l’activitat docent. · Els valors de la tensió i freqüència estan dintre de la normalitat. · Els harmònics estan al llindar màxim. Analitzant aquestes conclusions, voldria destacar les mesures correctores més importants que es poden dur a terme: canvi tecnològic a LED, temporitzar automàticament l’encesa i apagada dels fluorescents i equips informàtics de les aules “seguint calendari docent”, instal·lar sensors de moviment amb detecció lumínica als passadissos. Totes les conclusions extretes d’aquest treball, es poden aplicar a tots els edificis de la facultat, prèviament realitzant l’estudi individual de cadascuna, seguint els mateixos criteris per tal d’optimitzar la inversió.

Comparative performance of the stable isotope signatures of carbon, nitrogen and oxygen in assessing early vigour and grain yield in durum wheat

The present paper studied the performance of the stable isotope signatures of carbon (δ13C), nitrogen (δ15N) and oxygen (δ18O) in plants when used to assess early vigour and grain yield (GY) in durum wheat growing under mild and moderate Mediterranean stress conditions. A collection of 114 recombinant inbred lines was grown under rainfed (RF) and supplementary irrigation (IR) conditions. Broad sense heritabilities (H2) for GY and harvest index (HI) were higher under RF conditions than under IR. Broad sense heritabilities for δ13C were always above 0·60, regardless of the plant part studied, with similar values for IR and RF trials. Some of the largest genetic correlations with GY were those shown by the δ13C content of the flag leaf blade and mature grains. Under both water treatments, mature grains showed the highest negative correlations between δ13C and GY across genotypes. Flag leaf δ13C was negatively correlated with GY only under RF conditions. The δ13C in seedlings was negatively correlated, under IR conditions only, with GY but also with early vigour. The sources of variation in early vigour were studied by stepwise analysis using the stable isotope signatures measured in seedlings. The δ13C was able to explain almost 0·20 of this variation under RF, but up to 0·30 under IR. In addition, nitrogen concentration in seedlings accounted for another 0·05 of variation, increasing the amount explained to 0·35. The sources of variation in GY were also studied through stable isotope signatures and biomass of different plant parts: δ13C was always the first parameter to appear in the models for both water conditions, explaining c. 0·20 of the variation. The second parameter (δ15N or N concentration of grain, or biomass at maturity) depended on the water conditions and the plant tissue being analysed. Oxygen isotope composition (δ18O) was only able to explain a small amount of the variation in GY. In this regard, despite the known and previously described value of δ13C as a tool in breeding, δ15N is confirmed as an additional tool in the present study. Oxygen isotope composition does not seem to offer any potential, at least under the conditions of the present study.

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.

Esimiestyöllä työn imua

Yritys edistää menestymistään oikeanlaisen johtamisen sekä työn imua omaavan henkilöstön kautta. Johtajuus käsittää asioiden- ja henkilöiden johtamisen sekä valmentamisen. Tutkimus etenee johtamisen teemasta valmentamisen ja motivaation kautta työn imun kokemuksiin. Henkilöjohtaminen tarkoittaa lähes kokonaan esimiehen käyttäytymistä, mikä on koko ajan tarkkailun alla, halusi hän sitä tai ei. Leader -johtaja tekee organisaatiossa muutosta. Valmentaminen on erinomainen tapa päästä lähelle työntekijöitä ja aikaansaada oikeansuuntaista ja haluttua kehitystä. Valmentamisen yksi tärkeimmistä työkaluista on avoimet kysymykset, joiden avulla esimies pystyy auttamaan valmennettavaa löytämään omat vahvuutensa, kehittämiskohteensa sekä motivaationlähteensä. Työn imu on yksi työhyvinvoinnin käsitteistä. Työn imulla tarkoitetaan myönteistä tunne- ja motivaatiotäyttymyksen tilaa, jota luonnehtivat tarmokkuus (vigor), omistautuminen (dedication) ja uppoutuminen (absorption). Se on pitkäkestoinen ja kaikkialle levittyvä tila, joka ei kohdistu mihinkään yhteen tiettyyn asiaan, tapahtumaan, yksilöön tai käyttäytymiseen.