2,642 Hits in 4.5 sec

A specialized framework for Medical Diagnostic Knowledge Based Systems

G Lanzola, M Stefanelli
1991 Proceedings. Symposium on Computer Applications in Medical Care  
This paper describes a Specialized Framework for Medical Diagnostic Knowledge Based Systems able to help an expert in the process of building KBSs in a medical domain.  ...  To have a knowledge based system (KBS) exhibiting an intelligent behavior, it must be endowed even with knowledge able to represent the expert's strategies, other than with domain knowledge.  ...  Acknowledgments This work is part of the AIM project A1005 A General Architecture for Medical Expert Systems, and was supported by the European Commission.  ... 
pmid:1807566 pmcid:PMC2247709 fatcat:iy2u3dqumjavdadzbwjon5x45e

Integration of reasoning systems in architectural modeling activities

Halime Demirkan
1998 Automation in Construction  
In the first phase of a design process, the designer understands the problem and assimilates it to a conceptual framework that is already known to him.  ...  An integrated reasoning system is proposed for modeling the architectural processes. Such a system may help designers to make decisions based on past experiences as well as domain theory.  ...  [21] describe conceptual models as, "abstract descriptions of the objects and operations that a system should know about, formulated in such a way that capture the intuitions that humans have of this  ... 
doi:10.1016/s0926-5805(97)00056-3 fatcat:egp3e3mnwbgahmgywfbstjo6eq

Inferential theory of learning as a conceptual basis for multistrategy learning

Ryszard S. Michalski
1993 Machine Learning  
It aims at synergistically integrating a wide range of inferential learning strategies, such as empirical and constructive inductive generalization, deductive generalization, abductive derivation, abstraction  ...  Abstractions and concretions change the level of detail in describing a reference set.  ...  In symbolic learning systems, transmutations are usually (but not always) implemented in a more or less explicit way and executed in steps that are conceptually comprehensible.  ... 
doi:10.1007/bf00993074 fatcat:dcwpcw2owzdatdmjmmv6pvkrum

Inferential Theory of Learning as a Conceptual Basis for Multistrategy Learning [chapter]

Ryszard S. Michalski
1993 Multistrategy Learning  
Several fundamental knowledg e transmutations are described in a novel and general way, such as generalization, abstraction, explanation and similization, and their counterparts, specialization, concretion  ...  The development of multistrategy learning systems requires a clear understanding of the roles and the applicability conditions of different learning strategies.  ...  The theory should provide conceptual foundations for constructing learning systems that integrate a whole spectrum of learning strategies in a domain -dependent way.  ... 
doi:10.1007/978-1-4615-3202-6_2 fatcat:3z4yxkxg3ndunpwth5h4lqmpam

Critical Computation: Digital Automata and General Artificial Thinking

Luciana Parisi
2019 Theory, Culture and Society. Explorations in Critical Social Science  
Since the 1980s, computational systems of information processing have evolved to include not only deductive methods of decision, whereby results are already implicated in their premises, but have crucially  ...  This shift in logical methods of decision-making does not simply concern technical apparatuses, but is a symptom of a transformation in logical thinking activated with and through machines.  ...  In other words, theoretical and manipulative abductions in automated systems show an experimental gap between causal efficacy and conceptual elaborations, demarcating a techno-sociality of thinking where  ... 
doi:10.1177/0263276418818889 fatcat:jb3nk7tdafairgmmtztpbntr6i

Applications of scott's notion of consequence to the study of general binary intensional connectives and entailment

Dov M. Gabbay
1973 Journal of Philosophical Logic  
This paper is the first in a series in reformulating classical and non-classical logic in a goal directed way.  ...  This paper outlines a general method for proving decidability and undecidability for non-classical logical systems.  ...  Modal and Temporal Logic Programming III Abduction in Labelled Deductive Systems; a Conceptual Abstract Elements of Algorthimic Proof Theory Labelled Deductive Systems and Situation Theory In Situation  ... 
doi:10.1007/bf00129607 fatcat:e6lokulrwrfcvl525fgj6dcr3m

Universal vs. particular reasoning: a study with neuroimaging techniques

V. M. Abrusci, C. Casadio, M. T. Medaglia, C. Porcaro
2013 Logic Journal of the IGPL  
In this paper we explore the question of introducing interaction inside cognition as a general framework on the basis of which to develop an explanation of human reasoning allowing applications in the  ...  In the first part of the paper, the distinction between positive vs. negative operators is introduced and applied to the analysis of Aristotelian syllogism, the inferential deductive scheme particularly  ...  The central notion in the proposed conceptualization is that of an instrumental system.  ... 
doi:10.1093/jigpal/jzt008 fatcat:in3heigktvba3p6rt33jnbplgq

Deductive and abductive argumentation based on information graphs

Remi Wieten, Floris Bex, Henry Prakken, Silja Renooij
2021 Argument & Computation  
In this paper, we propose an argumentation formalism that allows for both deductive and abductive argumentation, where 'deduction' is used as an umbrella term for both defeasible and strict 'forward' inference  ...  A new notion of attack is defined that captures a crucial aspect of abductive reasoning, namely that of competition between abductively inferred alternative explanations.  ...  IG corresponding to an interpretation of the Wigmore chart of Fig. 1 , where 'e' labels denote evidential generalisations, 'c' labels denote causal generalisations, 'a' labels denote abstractions, is  ... 
doi:10.3233/aac-200539 fatcat:nv7atq4aznf5fpjs3nygmfxv4m

What is explanation?

A.D. Manning
2001 IEEE Transactions on Professional Communication  
Abstract explanations are created by abduction, but they must be made valid by examination. This examination must include a specific description of examples (by deduction).  ...  Mystery writers from A. Conan Doyle onward mistakenly label this kind of reasoning as deduction. Peirce, on the contrary, argues that this reasoning is neither deduction nor induction.  ... 
doi:10.1109/47.911132 fatcat:5pvtz3cbrfdnvblran3xs5heku

USE: A Concept-Based Recommendation System to Support Creative Search

J. Sousa Lopes, S. Alvarez-Napagao, J. Vazquez-Salceda
2009 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology  
In this paper we propose a system for the recommendation of tagged pictures obtained from the Web.  ...  Semiotics is a field on which research in Computer Science methodologies has focused, mainly concerning Syntax and Semantics.  ...  LA r is a logic based on Classical Logic with a non-monotonic dynamical process in which deductive steps are combined with abductive steps.  ... 
doi:10.1109/wi-iat.2009.220 dblp:conf/iat/LopesAV09 fatcat:r2ajwiuyajesxizqgthubguewi

A Guide to Abductive Thematic Analysis

Jamie Thompson
2022 The Qualitative Report  
Recognizing the challenges faced by qualitative scholars, I developed and present an 8-step prescriptive approach specific to abductive methodologies incorporating many concepts from seminal works in thematic  ...  analysis, and importantly maintaining the balance of theorising with empirical data, which is the core of abductive research.  ...  Firstly, the process requires you to produce a label for each code, which should be short, concise, and remain close to the raw data to avoid too much of a conceptual leap (Boyatzis, 1998; Guest et al  ... 
doi:10.46743/2160-3715/2022.5340 fatcat:3t5itm5um5fbzi2kh6voozoa6y

An automated reasoning framework for translational research

Alberto Riva, Angelo Nuzzo, Mario Stefanelli, Riccardo Bellazzi
2010 Journal of Biomedical Informatics  
In this paper we propose a novel approach to the design and implementation of knowledge-based decision support systems for translational research, specifically tailored to the analysis and interpretation  ...  Finally, we describe a computational system we are developing, aimed at assisting translational research.  ...  Acknowledgments The authors thank Alireza Nazarian for his help in analyzing the WTCCC data, and Alberto Malovini for his help in implementing the GWAS analysis pipeline.  ... 
doi:10.1016/j.jbi.2009.11.005 pmid:19931420 pmcid:PMC2878845 fatcat:2hfq5r76pjhwplrmcctr5jchoe

e-MGR: an architecture for symbolic plasticity

M.J. Coombs, H.D. Pfeiffer, R.T. Hartley
1992 International Journal of Man-Machine Studies  
been conceptualized as a search through a space of problem states (Nilsson, 1980) .  ...  A task environment is considered to contain novelty when the problem solution requires the system to relate objects in ways unanticipated by the system designer.  ...  In contrast, the removal of incoherences from models may be seen more as a process of adjusting abductions, than of making deductions.  ... 
doi:10.1016/0020-7373(92)90016-e fatcat:cznj7ktqszcudo2zdi3gbttbtq

Theorizing with managers: how to achieve both academic rigor and practical relevance?

Suvi Nenonen, Roderick J. Brodie, Kaj Storbacka, Linda D. Peters
2017 European Journal of Marketing  
Second, we ground collaborative theorizing processes in the philosophy of science and put abduction forward as a common nominator for such studies.  ...  Based on a literature review of collaborative theorizing processes, we develop a conceptual framework highlighting the main research design decisions when theorizing with managers.  ...  Possibly due to the differences in defining the scope of abduction, also views on how abduction relates to deduction and induction vary considerably.  ... 
doi:10.1108/ejm-03-2017-0171 fatcat:lldt2pt7l5alvkw377d7up66bu

Abstract Interpretation as Automated Deduction

Vijay D'Silva, Caterina Urban
2016 Journal of automated reasoning  
We show that three components of an abstract interpreter, the lattice, transformers and iteration algorithm, represent a first-order, substructural theory, parametric deduction and abduction in that theory  ...  We encode reachability of a location in a control-flow graph as satisfiability in a monadic, second-order logic parameterized by a firstorder theory.  ...  Abstract Transformers, Deduction and Abduction The constant and interval domains are used in practice even though, as shown in the previous section, they have weak proof systems.  ... 
doi:10.1007/s10817-016-9382-4 fatcat:avm55dylavfohjycxobfuu25jy
« Previous Showing results 1 — 15 out of 2,642 results