Sökning: "reasoning"
Visar resultat 16 - 20 av 769 avhandlingar innehållade ordet reasoning.
16. Extending the Automated Reasoning Toolbox
Sammanfattning : Due to the semi-decidable nature of first-order logic, it can be desirable to address a wider range of problems than the standard ones of satisfiability and derivability. We extend the automated reasoning toolbox by introducing three new tools for analysing problems in first-order logic. Infinox aims to show finite unsatisfiability, i.e. LÄS MER
17. Analogical reasoning in science education : - connections to semantics and scientific modelling in thermodynamics
Sammanfattning : Analogiskt tänkande är en central kognitiv förmåga som vi använder i vardagslivet, såväl som i mer formella sammanhang, såsom i forskning och undervisning. Föreliggande avhandling behandlar hur analogier och analogiskt tänkande, uppmärksamhet på semantik och förståelse för vetenskaplig modellering kan användas för att hantera utmaningar i naturvetenskapsundervisningen, särskilt inom området termodynamik. LÄS MER
18. Extending the Automated Reasoning Toolbox
Sammanfattning : Due to the semi-decidable nature of first-order logic, it can be desirable to address a wider range of problems than the standard ones of satisfiability and derivability. We extend the automated reasoning toolbox by intro- ducing two new tools for analysing problems in first-order logic. Infinox is aimed at showing finite unsatisfiability, i.e. LÄS MER
19. Decision support in dementia care : developing systems for interactive reasoning
Sammanfattning : Demensvården i Sverige och i andra delar av världen har på olika sätt varit i fokus de senaste åren där man påtalat behovet att utveckla metoder och riktlinjer för hur vården ska bedrivas. Detta för att möta den växande andelen äldre människor som också utvecklar demenssjukdomar. LÄS MER
20. Daily living and coping strategies in insulin-dependent diabetics : diagnostic reasoning in nursing
Sammanfattning : Within a defined geographical area, all patients, 192 in total, with insulin- dependent diabetes of at least 2 years' duration and free from long-term diabetic complications were identified. Their experiences of the influence of the disease on daily living, tedium, and smoking habits were evaluated using a questionnaire and related to metabolic control. LÄS MER