Search results for "Reason"
showing 10 items of 526 documents
A Knowledge Based Decision Support System for Bioinformatics and System Biology
2011
In this paper, we present a new Decision Support System for Bioinformatics and System Biology issues. Our system is based on a Knowledge base, representing the expertise about the application domain, and a Reasoner. The Reasoner, consulting the Knowledge base and according to the user’s request, is able to suggest one or more strategies in order to resolve the selected problem. Moreover, the system can build, at different abstraction layers, a workflow for the current problem on the basis of the user’s choices, freeing the user from implementation details and assisting him in the correct configuration of the algorithms. Two possible application scenarios will be introduced: the analysis of …
Integrating resolution—like procedures with Lukasiewicz implication
1993
We discuss some conceptual and technical problems raised by the attempt of integrating resolution-like procedures with the use of Lukukasiewicz implication Min{1, 1 – [a] + [b]} in an environment of approximate reasoning modelled by fuzzy logics.
Registered nurses' clinical reasoning in home healthcare clinical practice: A think-aloud study with protocol analysis.
2016
Abstract Background The home healthcare context can be unpredictable and complex, and requires registered nurses with a high level of clinical reasoning skills and professional autonomy. Thus, additional knowledge about registered nurses' clinical reasoning performance during patient home care is required. Objectives The aim of this study is to describe the cognitive processes and thinking strategies used by recently graduated registered nurses while caring for patients in home healthcare clinical practice. Design An exploratory qualitative think-aloud design with protocol analysis was used. Settings Home healthcare visits to patients with stroke, diabetes, and chronic obstructive pulmonary…
Probabilistic Logic under Coherence‚ Model−Theoretic Probabilistic Logic‚ and Default Reasoning in System P
2016
We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail, we explore how probabilistic reasoning under coherence is related to model-theoretic probabilistic reasoning and to default reasoning in System P. In particular, we show that the notions of g-coherence and of g-coherent entailment can be expressed by combining notions in model-theoretic probabilistic logic with concepts from default reasoning. Moreover, we show that probabilistic reasoning under coherence is a generalization of default reasoning in System P. That is, we provide a new probabilistic semantics for System P, which neither uses infinitesimal probabilities nor atomic bound (or bi…
Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning
2001
We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail, we explore the relationship between coherence-based and model-theoretic probabilistic logic. Interestingly, we show that the notions of g-coherence and of g-coherent entailment can be expressed by combining notions in model-theoretic probabilistic logic with concepts from default reasoning. Crucially, we even show that probabilistic reasoning under coherence is a probabilistic generalization of default reasoning in system P. That is, we provide a new probabilistic semantics for system P, which is neither based on infinitesimal probabilities nor on atomic-bound (or also big-stepped) probabil…
The complexity of finite model reasoning in description logics
2005
AbstractWe analyse the complexity of finite model reasoning in the description logic ALCQI, i.e., ALC augmented with qualifying number restrictions, inverse roles, and general TBoxes. It turns out that all relevant reasoning tasks such as concept satisfiability and ABox consistency are ExpTime-complete, regardless of whether the numbers in number restrictions are coded unarily or binarily. Thus, finite model reasoning with ALCQI is not harder than standard reasoning with ALCQI.
Rethinking clinical decision-making to improve clinical reasoning
2022
Improving clinical reasoning techniques is the right way to facilitate decision-making from prognostic, diagnostic, and therapeutic points of view. However, the process to do that is to fill knowledge gaps by studying and growing experience and knowing some cognitive aspects to raise the awareness of thinking mechanisms to avoid cognitive errors through correct educational training. This article examines clinical approaches and educational gaps in training medical students and young doctors. The authors explore the core elements of clinical reasoning, including metacognition, reasoning errors and cognitive biases, reasoning strategies, and ways to improve decision-making. The article addres…
Performance evaluation of robotic knowledge representation (PERK)
2012
In this paper, we explore some ways in which symbolic knowledge representations have been evaluated in the past and provide some thoughts on what should be considered when applying and evaluating these types of knowledge representations for real-time robotics applications. The emphasis of this paper is that the robotic applications require real-time access to information, which has not been one of the aspects measured in traditional symbolic representation evaluation approaches.
Symbolic and conceptual representation of dynamic scenes: Interpreting situation calculus on conceptual spaces
2001
In (Chella et al. [1,2]) we proposed a framework for the representation of visual knowledge, with particular attention to the analysis and the representation of scenes with moving objects and people. One of our aims is a principled integration of the models developed within the artificial vision community with the propositional knowledge representation systems developed within symbolic AI. In the present note we show how the approach we adopted fits well with the representational choices underlying one of the most popular symbolic formalisms used in cognitive robotics, namely the situation calculus.
Formal operations and postformal reasoning: A replication
1991
The relationship between formal operations and postformal reasoning was examined by using the Shayer (1978) chemicals problem to assess formal operations and the Commons, et al. (1982) four-story problem to measure postformal reasoning. The subjects were 35 undergraduate social science and humanities students. None of the subjects who were classified as concrete operational or transitional on the chemicals task showed postformal reasoning. The hypothesis that full format operations are a necessary condition of post-formal reasoning and the expectation that subjects showing full formal operations are more likely than others to exhibit postformal reasoning was not supported.