A methodology for using a default and abductive reasoning system

No abstract is available for this paper.

• Publication year

  1989

• Venue

  International Journal of Intelligent Systems

• Publication date

  1989-09-01

• Fields of study

  Mathematics, Philosophy, Computer Science

• Identifiers
  DOI 10.1002/int.4550050506
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Diagnosing Multiple Faults in SSM/PMAD

  1990cited by this paper
• A Logical Framework for Depiction and Image Interpretation

  1989cited by this paper
• Normality and Faults in Logic-Based Diagnosis

  1989cited by this paper
• Explanation and prediction: an architecture for default and abductive reasoning

  1989cited by this paper
• Preferred Subtheories: An Extended Logical Framework for Default Reasoning

  1989influential reference
• Representing Knowledge for Logic-Based Diagnosis

  1988cited by this paper
• A Logical Framework for Default Reasoning

  1988cited by this paper
• On the Relation Between Default Theories and Autoepistemic Logic

  1987cited by this paper
• A First-Order Conditional Logic for Prototypical Properties

  1987cited by this paper
• A formal theory of plan recognition

  1987cited by this paper
• Towards solving the multiple extension problem: Combining defaults and probabilities

  1987cited by this paper
• Theorist: A Logical Reasoning System for Defaults and Diagnosis

  1987cited by this paper
• A Logic for Default Reasoning

  1987cited by this paper
• An Assumption-Based TMS

  1987cited by this paper
• Applications of Circumscription to Formalizing Common Sense Knowledge

  1987cited by this paper
• Formalizing Nonmonotonic Reasoning Systems

  1987cited by this paper
• General Diagnosis by Abductive Inference

  1987cited by this paper
• APPLYING THEORY FORMATION TO THE PLANNING PROBLEM

  1987cited by this paper
• A Theory of Diagnosis from First Principles

  1986cited by this paper
• Semantical Considerations on Nonmonotonic Logic

  1985cited by this paper
• On the Comparison of Theories: Preferring the Most Specific Explanation

  1985cited by this paper
• Diagnostic Reasoning Based on Structure and Behavior

  1984cited by this paper
• The Use of Design Descriptions in Automated Diagnosis

  1984cited by this paper
• Pedagogical, natural language, and knowledge engineering techniques in SOPHIE-I, II and III

  1982cited by this paper
• Causal Understanding of Patient Illness in Medical Diagnosis

  1981cited by this paper
• A Truth Maintenance System

  1979cited by this paper
• A Model-Based Method for Computer-Aided Medical Decision-Making

  1978cited by this paper
• A mathematical introduction to logic

  1972cited by this paper
• The web of belief

  1970cited by this paper
• Philosophy of Natural Science

  1966cited by this paper

• Green to stay? Mechanisms explaining green industrial resilience during an external shock

  2025cites this paper
• Does economic growth really reduce domestic conflict? An empirical evidence from Latin America

  2025cites this paper
• When to Collect Data? Choosing an Appropriate Time Frame for Data Collection During Ph.D. Program in India?

  2022cites this paper
• How to Choose an Appropriate Research Data Collection Method and Method Choice Among Various Research Data Collection Methods and Method Choices During Ph.D. Program in India?

  2022cites this paper
• A probabilistic model-based diagnostic framework for nuclear engineering systems

  2020cites this paper
• Explainable, Transparent Autonomous Agents and Multi-Agent Systems: Second International Workshop, EXTRAAMAS 2020, Auckland, New Zealand, May 9–13, 2020, Revised Selected Papers

  2020influential citation
• Towards the Role of Theory of Mind in Explanation

  2020cites this paper
• Recent Advances in Natural Language Inference: A Survey of Benchmarks, Resources, and Approaches

  2019cites this paper
• Reasoning-Driven Question-Answering for Natural Language Understanding

  2019cites this paper
• Towards a Semantically Enriched Local Dynamic Map

  2018cites this paper
• An Overview of Limits toKnowledge Level-B Modeling ( and KADS )

  2018influential citation
• An Improved Algorithm for Learning to Perform Exception-Tolerant Abduction

  2017cites this paper
• Learning Abduction under Partial Observability

  2017cites this paper
• Event Detection and Diagnosis for Intelligent Transport Systems

  2017cites this paper
• Learning Abductive Reasoning Using Random Examples

  2016cites this paper
• On the adoption of abductive reasoning for time series interpretation

  2016cites this paper
• Razonamiento abductivo aplicado al diagnóstico de PyMEs

  2015cites this paper
• Abduction in Annotated Logic Programming

  2015cites this paper
• Toward a Theoretical Foundation for Experience Design in Tourism

  2014influential citation
• Contribution à la supervision des systèmes dynamiques à base des Bond Graphs Signés. (Contribution to the supervision of dynamic systems using Signed Bond Graph)

  2013cites this paper
• Cooperative Knowledge Processing for Engineering Design

  2013cites this paper
• Perspectives on design creativity and innovation research

  2013cites this paper
• Perspectives on design creativity and innovation research

  2013cites this paper
• Justifying argument and explanation in labelled argumentation

  2012cites this paper
• Software evolution: a requirements engineering approach

  2012cites this paper
• Evolutivo de inteligencia em la optimización de funciones

  2011cites this paper
• Maximal-confirmation diagnoses

  2011cites this paper
• Head-On Collision Avoidance by Knowledge Exchange under RAF Control of Autonomous Decentralized FMS

  2011cites this paper
• Integrating incomplete information into the relational data model

  2010cites this paper
• Intelligent AGV Control of Autonomous Decentralized FMS by Oblivion and Memory

  2010cites this paper
• Hypothetical reasoning approach for Automated Guided Vehicle action decision in Autonomous Decentralised Flexible Manufacturing Systems

  2009cites this paper
• Local Users Guide to Theorist

  2009cites this paper
• Preferring maximal confirmation diagnoses

  2009influential citation
• Preferring maximum confirmation diagnoses

  2009influential citation
• Real-time AGV Action Decision in AD-FMS by Hypothetical Reasoning

  2009cites this paper
• Design Problems, Frames and Innovative Solutions

  2009cites this paper
• Advanced Technology towards Developing Decentralized Autonomous Flexible Manufacturing Systems

  2009cites this paper
• The Independent Choice Logic and Beyond

  2008cites this paper
• Addition and Deletion of Agent Memories to Realize Autonomous Decentralized Manufacturing Systems

  2008cites this paper
• Checking the quality of clinical guidelines using automated reasoning tools

  2008influential citation
• Who chooses the assumptions

  2007influential citation
• Default logic

  2007cites this paper
• Applications of Abduction : An Inference Engine for TopovisualQualitative Diagrammatic

  2007cites this paper
• Exhaustive Abduction: A Practical Model Validation Tool

  2007cites this paper
• Real-time control of decentralised autonomous flexible manufacturing systems by using memory and oblivion

  2007cites this paper
• Ripple-Down Rationality: A Framework for Maintaining PSMs

  2007cites this paper
• Anticipating Action Decisions of Automated Guided Vehicle in an Autonomous Decentralized Flexible Manufacturing System

  2007cites this paper
• Abductive logic programming in allergy diagnosis

  2006cites this paper
• When Agents Communicate Hypotheses in Critical Situations

  2006influential citation
• Real-Time Control of Decentralized Autonomous Flexible Manufacturing Systems by Using Memory and Oblivion

  2006cites this paper
• Real-time Decision Making of Agents to Realize Decentralized Autonomous FMS by Anticipation

  2006cites this paper
• ABDUCTIVE LOGIC PROGRAMMING IN ALLERGY DIAGNOSIS WNIOSKOWANIE ABDUKCYJNE W DIAGNOZIE ALERGII

  2006cites this paper
• Automated Theorem Proving for Quality-checking Medical Guidelines

  2005cites this paper
• Automated Theorem Proving for Quality--checkingMedical Guidelines

  2005cites this paper
• Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving

  2004cites this paper
• EXPLANATORY BELIEF ASCRIPTION NOTES AND PREMATURE

  2004cites this paper
• Computationally efficient algorithms for multiple fault diagnosis in large graph-based systems

  2003cites this paper
• Validating complex agent behavior

  2003cites this paper
• Quality Checking of Medical Guidelines through Logical Abduction

  2003cites this paper
• Detecting Conflict-Free Assumption-Based Knowledge Bases

  2003cites this paper
• Design as Interactions of Problem Framing and Problem Solving

  2002cites this paper
• Abduction in Logic Programming

  2002cites this paper
• Two Transformations of Clauses into Constraints and Their Properties for Cost-Based Hypothetical Reasoning

  2002cites this paper
• A Model Counting Characterization of Diagnoses

  2002cites this paper
• Modelling Design Interpretation as Interaction of Problem Framing and Problem Solving

  2002cites this paper
• Detecting Conflict-Free Argumentative or Abductive Knowledge Bases

  2002cites this paper
• Temporal constraints in clinical diagnosis

  2002cites this paper
• Abductive Diagnosis Using Time‐Objects: Criteria for the Evaluation of Solutions

  2001cites this paper
• Bayesian model-based diagnosis

  2001cites this paper
• La relevancia de la lógica relevante en el razonamiento no monotónico

  2001cites this paper
• Learning, Bayesian Probability, Graphical Models, and Abduction

  2000cites this paper
• Logic, Knowledge Representation, and Bayesian Decision Theory

  2000cites this paper
• Some Empirical Automated Software Engineering

  2000cites this paper
• Abductive and Consistency-Based Diagnosis Revisited: a Modeling Perspective

  2000cites this paper
• Abduction and induction: essays on their relation and integration

  2000cites this paper
• Design Knowledge Representation. Retrieval And Delivery for Cooperative Knowledge Processing

  1999cites this paper
• Inferring Causal Explanations

  1999cites this paper
• Logic-Based Abductive Inference

  1998influential citation
• A spectrum of de nitions for temporal model-based diagnosis

  1998influential citation
• A Spectrum of Deenitions for Temporal Model-based Diagnosis

  1998influential citation
• Analysis of Notions of Diagnosis

  1998cites this paper
• A Spectrum of Definitions for Temporal Model-Based Diagnosis

  1998cites this paper
• A Theory of Medical Diagnosis as Hypothesis Refinement

  1997cites this paper
• Symbolic diagnosis and its formalisation

  1997influential citation
• Prime component decomposition of images and its applications in an image understanding system

  1997cites this paper
• EKAMD—A Knowledge-Based Concurrent Engineering Support System

  1997cites this paper
• Applications of abduction: hypothesis testing of neuroendocrinological qualitative compartmental models

  1997cites this paper
• Hypothesis Testing in Neuroendocrinology via Abduction over Qualitative Compartmental Models

  1996cites this paper
• Appropriate Responses to the Challenge of Situated Cognition for Knowledge Acquisition

  1996cites this paper
• Assessing Responses to Situated CognitionTim MenziesDept

  1996cites this paper
• Characterizing Temporal Abductive Diagnosis

  1996cites this paper
• Support Set Selection for Abductive and Default Reasoning

  1996cites this paper
• Cognitive Modeling and Group Adaptation in Intelligent Multi-Agent Meeting Scheduling

  1996cites this paper
• What’s Happening? Elements of Commonsense Causation

  1996cites this paper
• Applications of abduction: knowledge-level modelling

  1996cites this paper
• Applications of Abduction \#3: ``Black-Box'' to ``Gray-Box'' Model

  1995cites this paper
• An Overview of Abduction as aGeneral Framework for Knowledge-Based Systems

  1995cites this paper
• Applications of Abduction \#1: Intelligent Decision Support Systems.

  1995cites this paper
• The role of abduction in database view updating

  1995cites this paper
• Limits to Knowledge Level-B Modeling (and KADS)

  1995influential citation