Filters








551,207 Hits in 7.4 sec

INRECA: A seamlessly integrated system based on inductive inference and case-based reasoning [chapter]

E. Auriol, S. Wess, M. Manago, K. D. Althoff, R. Traphöner
1995 Lecture Notes in Computer Science  
This paper focuses on integrating inductive inference and case-based reasoning.  ...  The integrated system we implemented evolves smoothly along application development time from a pure case-based reasoning approach, where each particular case is a piece of knowledge, to a more inductive  ...  The authors are indebted to Guido Derwand who implemented the core parts of the integrated INRECA system.  ... 
doi:10.1007/3-540-60598-3_33 fatcat:q4qqdqza3bhhla54z4k4iqieau

Integrating induction and case-based reasoning: Methodological approach and first evaluations [chapter]

Eric Auriol, Michel Manago, Klaus-Dieter Althoff, Stefan Wess, Stefan Dittrich
1995 Lecture Notes in Computer Science  
We propose in this paper a general framework for integrating inductive and case-based reasoning techniques for diagnosis tasks.  ...  We present a set of practical integrated approaches realised between the KATE-Induction decision tree builder and the PATDEX case-based reasoning system.  ...  KATE is a trademark of Michel Manago. S3-CASE is a product of tecInno GmbH. The data on the "Travel Agency" domain were provided by Mario Lenz to which we are indebt.  ... 
doi:10.1007/3-540-60364-6_24 fatcat:butpwngdorac7lmlpq56coqf3i

Case-based reasoning supported by genetic algorithms for corporate bond rating

Kyung-shik Shin, Ingoo Han
1999 Expert systems with applications  
Case-based reasoning is a problem solving technique by re-using past cases and experiences to find solutions to problems.  ...  This paper investigates the effectiveness of integrated approach using induction techniques to case indexing process for business classification tasks.  ...  INTEGRATING INDUCTION TECHNIQUE AND CASE-BASED REASONING Inductive learning and case-based reasoning are classification techniques that can be applied in financial decision making.  ... 
doi:10.1016/s0957-4174(98)00063-3 fatcat:zv6754unajguhgqet3oiuwrho4

Online Assessment and Game-Based Development of Inductive Reasoning

Attila Pásztor, Andrea Magyar, Anita Pásztor-Kovács, Attila Rausch
2022 Journal of Intelligence  
The aims of the study were (1) to develop a domain-general computer-based assessment tool for inductive reasoning and to empirically test the theoretical models of Klauer and Christou and Papageorgiou;  ...  Confirmatory factor analyses revealed that the six processes of inductive reasoning and the three latent factors of Similarity, Dissimilarity, and Integration could be empirically confirmed.  ...  Informed Consent Statement: Informed consent was obtained from all subjects involved in the study. Data Availability Statement: Not applicable.  ... 
doi:10.3390/jintelligence10030059 pmid:35997415 pmcid:PMC9397073 fatcat:bnvssctlzfgklbia3zhyk36srm

Integrating Abduction and Induction in Machine Learning [chapter]

Raymond J. Mooney
2000 Applied Logic Series  
This paper discusses the integration of traditional abductive and inductive reasoning methods in the development of machine learning systems.  ...  make it consistent with a set of empirical data; and 2 The use of inductive learning methods to automatically acquire from examples a diagnostic knowledge base used for abductive reasoning.  ...  Acknowledgements Many of the ideas reviewed in this paper were developed in collaboration with Dirk Ourston, Brad Richards, Paul Ba es, Cindi Thompson, and Sowmya Ramachandran.  ... 
doi:10.1007/978-94-017-0606-3_12 fatcat:avw2ihmewra5jgkljimh4ea2ue

Reasoning Strategies in Smart Cyber-Physical Systems

Anne Håkansson, Ronald Hartung, Esmiralda Moradian
2015 Procedia Computer Science  
Cyber-physical systems are integrations of computerized physical things in the environment that are merged by communications, and computations using embedded systems and networks.  ...  The reasoning strategies use users' needs as a starting point and provide an environment that gives personalized support.  ...  The case-based reasoning has a broader range of application than deductive reasoning and inductive reasoning and can be applied in several different situations.  ... 
doi:10.1016/j.procs.2015.08.267 fatcat:bz4saj26jjcwjc5mdxmfe2hcoy

Multi-Strategy Semantic Web Reasoning for Medical Knowledge Bases

William Van Woensel, Hossein Mohammadhassanzadeh, Samina Raza Abidi, Syed Sibte Raza Abidi
2015 International Semantic Web Conference  
To cope with their shortcomings, we propose integrating such weak inferencing with a single, explanation-based generalization, allowing us to leverage their complementary strengths as well as apply a tutor-based  ...  This includes inductive generalization, which leverages data similarities to induce new rules, and analogical reasoning, which relies on plausible domain knowledge.  ...  Given a clinical case, a CDSS reasons over the available knowledge to generate evidence-based recommendations for diagnosis/therapy, alerts, risk assessments and order sets.  ... 
dblp:conf/semweb/WoenselMAA15 fatcat:rl333fnkv5gbjp6wrjcyabesw4

Integrating Defeasible Argumentation and Machine Learning Techniques [article]

Sergio Alejandro Gomez, Carlos Ivan Chesñevar
2004 arXiv   pre-print
We suggest how different aspects of a generic argument-based framework can be integrated with other ML-based approaches.  ...  In the last years defeasible argumentation has proven to be a sound setting to formalize common-sense qualitative reasoning.  ...  Integrating ML and argument-based frameworks Argument-based frameworks [SL92, CML00, PV99] provide a sound formalization of defeasible reasoning, and have found a wide acceptance in many areas such as  ... 
arXiv:cs/0402057v2 fatcat:gcxzssyoa5at3jbo2rgfxa4zqm

Abduction and Argumentation for Explainable Machine Learning: A Position Survey [article]

Antonis Kakas, Loizos Michael
2020 arXiv   pre-print
Argumentation, as a conservative extension of classical deductive reasoning, offers a flexible prediction and coverage mechanism for learning -- an associated target language for learned knowledge -- that  ...  explicitly acknowledges the need to deal, in the context of learning, with uncertain, incomplete and inconsistent data that are incompatible with any classically-represented logical theory.  ...  Other ILP frameworks based on the integration of abductive and inductive reasoning can be found in [8, 13, 35] .  ... 
arXiv:2010.12896v1 fatcat:2tbvydbglrdzhd73y3a5ekp554

Mathematics and Science Teachers' Use of and Confidence in Empirical Reasoning: Implications for STEM Teacher Preparation

Nicholas H. Wasserman, Dara Rossi
2015 School Science and Mathematics  
of inductive and deductive modes of reasoning in mathematics.  ...  Through a specific set of mathematical conjectures, researchers explored differences between mathematics (n = 24) and science (n = 23) teachers' reasoning schemes, as well as the confidence they had in  ...  The inductive proof scheme uses specific cases to validate a universal assertion, whereas a perceptual scheme is based on a rudimentary mental image of the general case that limits complete relational  ... 
doi:10.1111/ssm.12099 fatcat:x5a7w25lojb5pcj3fwwrphs4xi

Different knowledge, different styles of reasoning: a challenge for guideline development

Sietse Wieringa, Dunja Dreesens, Frode Forland, Carel Hulshof, Sue Lukersmith, Fergus Macbeth, Beth Shaw, Arlène van Vliet, Teun Zuiderent-Jerak
2018 BMJ evidence-based medicine  
Because of uncertainty in medicine, we usually deal with a specific type of inference, called induction, where the conclusions of our reasoning are not always right even when based on true premises.  ...  For instance, providing laboratory information about aetiology helps to make an inference based on mechanistic reasoning. 16 A description of cases of harm can offer an inference based on the precautionary  ... 
doi:10.1136/bmjebm-2017-110844 pmid:29615396 pmcid:PMC5969373 fatcat:oi6hjxxx7fedfahcepdljg5xp4

Highlights of the European INRECA Projects [chapter]

Ralph Bergmann
2001 Lecture Notes in Computer Science  
INduction and REasoning from CAses was the title of two large European CBR projects funded by the European Commission from 1992 -1999.  ...  The projects initiated the rise of three SMEs that base their main business on CBR application development, employing together more than 100 people in 2001.  ...  Acknowledgements The results I had the pleasure to summarize in this paper could have only been achieved by a very tight collaboration that involved many people.  ... 
doi:10.1007/3-540-44593-5_1 fatcat:tldvjrhy65gvlmedag2jtb6hwy

Page 6075 of Mathematical Reviews Vol. , Issue 2002H [page]

2002 Mathematical Reviews  
As a case study, the infer- ence system of the SPIKE theorem prover has been shown to be an instance of the abstract inference system integrating reasoning modules based on rewriting techniques defined  ...  Summary: “We present a method for integrating rippling-based rewriting into matrix-based theorem proving as a means for au- tomating inductive specification proofs.  ... 

Performing Implicit Induction Reasoning with Certifying Proof Environments

Amira Henaien, Sorin Stratulat
2013 Electronic Proceedings in Theoretical Computer Science  
In this paper, we present a new tactic for the Coq proof assistant able to perform automatically implicit induction reasoning.  ...  Largely adopted by proof assistants, the conventional induction methods based on explicit induction schemas are non-reductive and local, at schema level.  ...  The explicit induction proof techniques, like the structural induction [7] , implement the term-based induction principle, hence they can be applied to prove only one property, in our case φ .  ... 
doi:10.4204/eptcs.122.9 fatcat:dn4pfybwebcqnffc4r3t2czfcy

On the Relation between Abduction and Inductive Learning [chapter]

Peter A. Flach, Antonis C. Kakas
2000 Abductive Reasoning and Learning  
Case. -These beans are from this bag. Result. -These beans are white. Rule. -All the beans from this bag are white. Rule. -All the beans from this bag are white. Result. -These beans are white. Case.  ...  Part of this work was supported by Esprit IV Long Term Research Project 20237 (Inductive Logic Programming 2).  ...  This type of cooperation between abductive and inductive reasoning is based on a deeper level of integration of the two forms of reasoning, where induction is perceived as hypothesising abductive (rather  ... 
doi:10.1007/978-94-017-1733-5_1 fatcat:bo7ood4jsbc3dh52gyeewv5yee
« Previous Showing results 1 — 15 out of 551,207 results