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.

Expert clinical reasoning and pain assessment in mechanically ventilated patients: A descriptive study.

BACKGROUND: Pain assessment in mechanically ventilated patients is challenging, because nurses need to decode pain behaviour, interpret pain scores, and make appropriate decisions. This clinical reasoning process is inherent to advanced nursing practice, but is poorly understood. A better understanding of this process could contribute to improved pain assessment and management. OBJECTIVE: This study aimed to describe the indicators that influence expert nurses' clinical reasoning when assessing pain in critically ill nonverbal patients. METHODS: This descriptive observational study was conducted in the adult intensive care unit (ICU) of a tertiary referral hospital in Western Switzerland. A purposive sample of expert nurses, caring for nonverbal ventilated patients who received sedation and analgesia, were invited to participate in the study. Data were collected in "real life" using recorded think-aloud combined with direct non-participant observation and brief interviews. Data were analysed using deductive and inductive content analyses using a theoretical framework related to clinical reasoning and pain. RESULTS: Seven expert nurses with an average of 7.85 (±3.1) years of critical care experience participated in the study. The patients had respiratory distress (n=2), cardiac arrest (n=2), sub-arachnoid bleeding (n=1), and multi-trauma (n=2). A total of 1344 quotes in five categories were identified. Patients' physiological stability was the principal indicator for making decision in relation to pain management. Results also showed that it is a permanent challenge for nurses to discriminate situations requiring sedation from situations requiring analgesia. Expert nurses mainly used working knowledge and patterns to anticipate and prevent pain. CONCLUSIONS: Patient's clinical condition is important for making decision about pain in critically ill nonverbal patients. The concept of pain cannot be assessed in isolation and its assessment should take the patient's clinical stability and sedation into account. Further research is warranted to confirm these results.

A modular tethering complex for endosomal recycling.

How proteins migrate through the interconnected organelles of the endolysosomal system is poorly understood. A piece of the puzzle has been added with the identification of a complex of tethering factors that functions in the recycling of proteins towards the cell surface.

Harmonising the Modular Product Range

Työn tavoitteena on analysoida KONEen hissien ovituoteperheitä ja harmonisoida modulaarista ovituotevalikoimaa niin, että tulos olisi mahdollisimman suotuisa KONEelle sekä sen sidosryhmille. Harmonisointi toteutetaan, koska KONEen tuotevalikoima on erittäin laaja ja monimutkainen ja siitä syystä erittäin kallis ja vaikea hallita ja ylläpitää. Tavoitteena on selvittää myös termejä modulaarisuus ja tuotealusta olennaisen kirjallisuuden pohjalta. Nykyään yritysten täytyy kehittää tuotevalikoimaa jatkuvasti. Yrityksen koko tuotevalikoiman varioituvuus tulisi kuitenkin pitää järkevissä rajoissa. Moduuleita ja tuotealustoja pitäisi käyttää jakamaan tuotteiden avainelementtejä ja lisäämään varioituvuutta helposti hallittavalla tavalla. Kannattamattomat ja matalavolyymiset tuotteet kuluttavat yrityksen niukkoja resursseja. Tällaiset tuotteet tulisi poistaa tuotevalikoimasta, mutta ei ilman harkintaa. Kannattama-tonkin tuote voi olla erittäin arvokas asiakkaalle ja tällaisen tuotteen hylkääminen voi olla yritykselle pitkällä tähtäimellä erittäin kohtalokasta. Työn tuloksena oli harmonisointiehdotus KONEen AMD-oville ja selvitys harmonisoinnin vaikutuksista. Harmonisointi KONEella päätettiin toteuttaa siten, että matalavolyymiset tuotteet siirrettiin erikoistuotteiden valikoimaan. Myös kustannusanalyysi tukee harmonisointipäätöstä laskentajärjestelmän puutteista huolimatta.

Designing a modular, open and expandable Bluetooth-platform

Lähitulevaisuudessa langattomien järjestelmien kaupalliset mahdollisuudet tulevat olemaan valtavia. Tutkiaksemme tulevia tarpeita, tässä diplomityössä esitellään kuinka voidaan suunnitella ja toteuttaa avoin langaton asiakas-palvelin järjestelmä. Järjestelmänä päätettiin käyttää Bluetooth:ia. Tutkituista langattomista standardeista Bluetooth sopii parhaiten akkukäyttöiselle laitteelle, jonka tulee olla monipuolinen. Lisäksi Bluetooth:iin on liitetty suuria kaupallisia odotuksia ja yksi työn tavoitteista olikin tutkia, ovatko nämä odotukset realistisia. Bluetooth:iin havaittiin liittyvän paljon ylimainontaa ja, sen todettiin olevan monimutkainen. Sillä on kuitenkin paljon ominaisuuksia ja erilaisten käyttöprofiilien avulla sitä voidaan käyttää monenlaisiin tehtäviin. Suunniteltu järjestelmä ajaa socket-palvelinta Bluetooth-yhteyden päällä. Tietyntyyppiseen liikenteeseen erikoistuneet socket:t tarjoavat vaaditun laajennattavuuden. Palvelin toteutetiin Linux-säikeenä ja se hallitsee Bluetooth protokollapinoa sekä sovelluksia, joita suoritetaan palvelimella. Näiden sovelluksien palvelut ovat muiden käytössä Bluetooth:n kautta.

Population Variation and Genetic Control of Modular Chromatin Architecture in Humans.

Chromatin state variation at gene regulatory elements is abundant across individuals, yet we understand little about the genetic basis of this variability. Here, we profiled several histone modifications, the transcription factor (TF) PU.1, RNA polymerase II, and gene expression in lymphoblastoid cell lines from 47 whole-genome sequenced individuals. We observed that distinct cis-regulatory elements exhibit coordinated chromatin variation across individuals in the form of variable chromatin modules (VCMs) at sub-Mb scale. VCMs were associated with thousands of genes and preferentially cluster within chromosomal contact domains. We mapped strong proximal and weak, yet more ubiquitous, distal-acting chromatin quantitative trait loci (cQTL) that frequently explain this variation. cQTLs were associated with molecular activity at clusters of cis-regulatory elements and mapped preferentially within TF-bound regions. We propose that local, sequence-independent chromatin variation emerges as a result of genetic perturbations in cooperative interactions between cis-regulatory elements that are located within the same genomic domain.

Are we modular lying cues detectors ? The answer is "yes sometimes"

We quickly form first impressions about newly encountered people guiding our subsequent behaviour (approach, avoidance). Such instant judgments might be innate and automatic, being performed unconsciously and independently to other cognitive processes. Lying detection might be subject to such a modular process. Unfortunately, numerous studies highlighted problems with lying detection paradigms such as high error rates and learning effects. Additionally, humans should be motivated doing both detecting others' lies and dis- guising own lies. Disguising own lies might even be more challenging than detecting other people's lies. Thus, when trying to disguise cheating behaviour, liars might display a mixture of disguising (fake) trust cues and uncontrolled lying cues making the interpretation of the expression difficult (perceivers are guessing). In two consecutive online studies, we tested whether seeing an increasing amount (range 0-4) of lying cues (LC) and non-lying cues (NLC) on a standard face results in enhanced guessing behaviour (studies 1 and 2) and that enhanced guessing is accompanied by slower responding (study 2). Results showed that pronounced guessing and slowest responding occurred for faces with an intermediate number and not with the highest number of LC and NLC. In particular, LC were more impor- tant than NLC to uncertain lying decisions. Thus, only a few LC may interfere with automatic processing of lying detection (irrespective of NLC), probably because too little lying cue information is yet available.

Digital evidence, 'absence' of data and ambiguous patterns of reasoning

In this paper we discuss the use of digital data by the Swiss Federal Criminal Court in a recent case of attempted homicide. We use this case to examine drawbacks for the defense when the presentation of scientific evidence is partial, especially when the only perspective mentioned is that of the prosecution. We tackle this discussion at two distinct levels. First, we pursue an essentially non-technical presentation of the topic by drawing parallels between the court's summing up of the case and flawed patterns of reasoning commonly seen in other forensic disciplines, such as DNA and particle traces (e.g., gunshot residues). Then, we propose a formal analysis of the case, using elements of probability and graphical probability models, to justify our main claim that the partial presentation of digital evidence poses a risk to the administration of justice in that it keeps vital information from the defense. We will argue that such practice constitutes a violation of general principles of forensic interpretation as established by forensic science literature and current recommendations by forensic science interest groups (e.g., the European Network of Forensic Science Institutes). Finally, we posit that argument construction and analysis using formal methods can help replace digital evidence appropriately into context and thus support a sound evaluation of the evidence.

Tissue-specific regulatory circuits reveal variable modular perturbations across complex diseases.

Mapping perturbed molecular circuits that underlie complex diseases remains a great challenge. We developed a comprehensive resource of 394 cell type- and tissue-specific gene regulatory networks for human, each specifying the genome-wide connectivity among transcription factors, enhancers, promoters and genes. Integration with 37 genome-wide association studies (GWASs) showed that disease-associated genetic variants-including variants that do not reach genome-wide significance-often perturb regulatory modules that are highly specific to disease-relevant cell types or tissues. Our resource opens the door to systematic analysis of regulatory programs across hundreds of human cell types and tissues (http://regulatorycircuits.org).

The modular forming press for paperboard packages

In this master’s thesis the structural and functional features of a forming tool are developed to meet the needs of modern packaging production for paperboard packaging are studied. The goal of the study is to develop a new type of machine for the manufacture of the paperboard package by pressing. In the structure of the developed forming press the possibility to modify the packaging as well as the requirements of industrial production, food hygiene and other operational matters are accounted for. The press has been sized based on the main dimensions of a single food-grade paperboard tray. In the LUT Packaging Laboratory the forming press is designed suitable for on-line operation. In addition, suggestions for further development of packaging line and equipment have been made based on the information gathered during this thesis study.

Cost estimation framework for modular product

Cost estimation is an important, but challenging process when designing a new product or a feature of it, verifying the product prices given by suppliers or planning a cost saving actions of existing products. It is even more challenging when the product is highly modular, not a bulk product. In general, cost estimation techniques can be divided into two main groups - qualitative and quantitative techniques - which can further be classified into more detailed methods. Generally, qualitative techniques are preferable when comparing alternatives and quantitative techniques when cost relationships can be found. The main objective of this thesis was to develop a method on how to estimate costs of internally manufactured and commercial elevator landing doors. Because of the challenging product structure, the proposed cost estimation framework is developed under three different levels based on past cost information available. The framework consists of features from both qualitative and quantitative cost estimation techniques. The starting point for the whole cost estimation process is an unambiguous, hierarchical product structure so that the product can be classified into controllable parts and is then easier to handle. Those controllable parts can then be compared to existing past cost knowledge of similar parts and create as accurate cost estimates as possible by that way.

A Case-based reasoning approach to validate grammatical gender and number agreement in Spanish language

Across Latin America 420 indigenous languages are spoken. Spanish is considered a second language in indigenous communities and is progressively introduced in education. However, most of the tools to support teaching processes of a second language have been developed for the most common languages such as English, French, German, Italian, etc. As a result, only a small amount of learning objects and authoring tools have been developed for indigenous people considering the specific needs of their population. This paper introduces Multilingual–Tiny as a web authoring tool to support the virtual experience of indigenous students and teachers when they are creating learning objects in indigenous languages or in Spanish language, in particular, when they have to deal with the grammatical structures of Spanish. Multilingual–Tiny has a module based on the Case-based Reasoning technique to provide recommendations in real time when teachers and students write texts in Spanish. An experiment was performed in order to compare some local similarity functions to retrieve cases from the case library taking into account the grammatical structures. As a result we found the similarity function with the best performance

Clinical reasoning of medical students in a public university in Brazil

The aim of this research was to understand the reasoning developed by medical students in a public university in Brazil. This research on education included semi-structured interviews and film recordings of interns discussing 10 clinical cases. A sample of 16 interns analyzed cases presented on a notebook computer with a webcam. They were instructed to verbalize all their thoughts on the procedures they would use. The film recordings and transcripts of the interviews were analyzed. Quantitative data was evaluated using Yates' chi-squared test and speech analysis was used to evaluate the transcripts. The theme worked on in the practice of reasoning was: the student's perceptions of their clinical practice. Of the 160 diagnoses, 57% were done with analytical reasoning and 43% with non-analytical reasoning. The hypothetical deductive method was employed by 31% of the interns and the inductive method was employed by 69%. The diagnostic accuracy was 81% correct for easy cases and 85% correct for difficult cases. We observed two empirical categories: the cognitive universe of the student and the patient's context.

Desenvolvimento e testes de uma semeadora-adubadora modular para pequenas propriedades rurais

O trabalho apresenta o desenvolvimento e testes de campo de equipamento agrícola modular. Para o desenvolvimento do equipamento, foi utilizada metodologia de projeto para sistemas modulares. O objetivo principal foi desenvolver um sistema modular que contribuísse para melhorar o atual quadro de mecanização agrícola da pequena propriedade rural, enfocando alguns dos equipamentos destinados às atividades conservacionistas de cultivo. Por ser modular, o equipamento atende às funções de semear-adubar, escarificar e sulcar o solo. Para a função semear-adubar, podem ser usados cinzéis e disco duplo para a semeadura; já para as funções de escarificação e sulcagem, podem ser usadas ferramentas específicas, facilmente intercambiadas em um chassi tubular principal. Os resultados para solo argiloso (Typic Oxisols), com umidade em torno de 20,5% e massa seca de 11,5 t ha-1 para a variante semeadora-adubadora com duplo cinzel, foram satisfatórios com relação aos parâmetros de patinagem das rodas motoras, regularidade de distribuição em profundidade, cobertura das sementes, distribuição longitudinal das sementes e emergência de plantas.

Determination of slurry’s viscosity using case based reasoning approach

Case-based reasoning (CBR) is a recent approach to problem solving and learning that has got a lot of attention over the last years. In this work, the CBR methodology is used to reduce the time and amount of resources spent on carry out experiments to determine the viscosity of the new slurry. The aim of this work is: to develop a CBR system to support the decision making process about the type of slurries behavior, to collect a sufficient volume of qualitative data for case base, and to calculate the viscosity of the Newtonian slurries. Firstly in this paper, the literature review about the types of fluid flow, Newtonian and non-Newtonian slurries is presented. Some physical properties of the suspensions are also considered. The second part of the literature review provides an overview of the case-based reasoning field. Different models and stages of CBR cycles, benefits and disadvantages of this methodology are considered subsequently. Brief review of the CBS tools is also given in this work. Finally, some results of work and opportunities for system modernization are presented. To develop a decision support system for slurry viscosity determination, software application MS Office Excel was used. Designed system consists of three parts: workspace, the case base, and section for calculating the viscosity of Newtonian slurries. First and second sections are supposed to work with Newtonian and Bingham fluids. In the last section, apparent viscosity can be calculated for Newtonian slurries.