A theory of diagnosis from first principles
From MaRDI portal
Publication:1102126
DOI10.1016/0004-3702(87)90062-2zbMath0643.68122OpenAlexW2108309071WikidataQ59884925 ScholiaQ59884925MaRDI QIDQ1102126
Publication date: 1987
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(87)90062-2
Related Items
Parameterized enumeration, transversals, and imperfect phylogeny reconstruction, Model-based fault detection in information poor plants, The complexity of propositional closed world reasoning and circumscription, Fast, flexible MUS enumeration, Quantified maximum satisfiability, Grammatically biased learning: Learning logic programs using an explicit antecedent description language, Explaining safety violations in real-time systems, Counting minimal unsatisfiable subsets, Distributed revision of composite beliefs, A top-down approach to search-trees: Improved algorithmics for 3-hitting set, On rules of abduction., Data repair of inconsistent nonmonotonic description logic programs, Diagnosing multiple faults, Choosing reference classes and building provisional models, Reasoning about action. I: A possible worlds approach, Measuring inconsistency with constraints for propositional knowledge bases, Circumscriptive semantics for updating knowledge bases, Tableau reasoning for description logics and its extension to probabilities, A heuristic extension to Reiter's diagnostic theory, On computing minimal models, Some computational aspects of DISTANCE SAT, A correction to the algorithm in Reiter's theory of diagnosis, Efficient query processing with reduced implicate tries, Fuzzy logic and neural network applications to fault diagnosis, Preference reasoning with soft constraints in constraint-based recommender systems, Defaults and relevance in model-based reasoning, Minimal sets on propositional formulae. Problems and reductions, Logic-based argumentation with existential rules, Causes for query answers from databases: datalog abduction, view-updates, and integrity constraints, Discussion on ``Decentralized fault free model approach for fault detection and isolation of discrete event systems, Quantifying conflicts in propositional logic through prime implicates, A game-theoretic approach to fault diagnosis and identification of hybrid systems, Probabilistic conflicts in a search algorithm for estimating posterior probabilities in Bayesian networks, Using action-based hierarchies for real-time diagnosis, A new approach to quantitative and credible diagnosis for multiple faults of components and sensors, Responsibility for inconsistency, Possibilistic reasoning with partially ordered beliefs, On the measure of conflicts: Shapley inconsistency values, Extending Removed Sets Revision to partially preordered belief bases, Revision in networks of ontologies, Finding and fixing faults, Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation, Automated debugging based on a constraint model of the program and a test case, On the responsibility for undecisiveness in preferred and stable labellings in abstract argumentation, Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results, Measuring and repairing inconsistency in probabilistic knowledge bases, A syntax-based approach to measuring the degree of inconsistency for belief bases, Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases, Finding explanations of inconsistency in multi-context systems, Towards optimal and expressive kernelization for \(d\)-hitting set, The computational complexity of abduction, An event-based distributed diagnosis framework using structural model decomposition, Reformulating table constraints using functional dependencies-an application to explanation generation, Computational aspects of monotone dualization: a brief survey, Self-duality of bounded monotone Boolean functions and related problems, Enhancing unsatisfiable cores for LTL with information on temporal relevance, Fault isolability with different forms of the faults-symptoms relation, Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases, Why Friedman's non-monotonic reasoning defies Hempel's covering law model, Parameterized algorithms for \(d\)-hitting set: the weighted case, AGM 25 years. Twenty-five years of research in belief change, The weighted list update problem and the lazy adversary, Linearity and regularity with negation normal form, Automata-based axiom pinpointing, Conditional entailment: bridging two approaches to default reasoning., Abduction versus closure in causal theories., On-line alert systems for production plants: A conflict based approach, The computation of hitting sets: Review and new algorithms, Sensor placement for fault isolation in linear differential-algebraic systems, Electronic circuit diagnostic expert systems - a survey, Relaxed maximum a posteriori fault identification, Using propositional logic to compute probabilities in multistate systems, A spectrum of definitions for temporal model-based diagnosis, Analysis of notions of diagnosis, Model-based diagnostics and probabilistic assumption-based reasoning, Remote Agent: to boldly go where no AI system has gone before, On the design of coordination diagnosis algorithms for teams of situated agents, Lexicographic priorities in default logic, A general scheme for formalizing defaults using the predicate \(ab(I,S)\), Semi-quantitative system identification, Abductive reasoning through filtering, Is default logic a reinvention of inductive-statistical reasoning?, Conceptual fuzzy sets and their connectives, Process algebras for systems diagnosis., More on representation theory for default logic, Preprocessing of intractable problems, Abduction as belief revision, About the incremental validation of first-order stratified knowledge-based decision-support systems, Probabilistic Horn abduction and Bayesian networks, Generating efficient diagnostic procedures from model-based knowledge using logic programming techniques, Efficient dualization of \(O(\log n\))-term monotone disjunctive normal forms, A variant of Reiter's hitting-set algorithm, Fixed-parameter complexity in AI and nonmonotonic reasoning, Diagnosis of discrete-event systems from uncertain temporal observations, Yet some more complexity results for default logic, A theory of measurement in diagnosis from first principles, Evaluating the effect of semi-normality on the expressiveness of defaults, A consistency-based approach for belief change, Consistency-based diagnosis of configuration knowledge bases, Compiling propositional weighted bases, On Tackling Explanation Redundancy in Decision Trees, Model-based reasoning: a principled approach for software engineering, Tri-valued Evaluation of Residuals as a Method of Addressing the Problem of Fault Compensation Effect, Optimal fixed-premise repairs of \(\mathcal{E}\mathcal{L}\) TBoxes, Serial and parallel kernelization of multiple hitting set parameterized by the Dilworth number, implemented on the GPU, Sequential model-based diagnosis by systematic search, On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging, Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics, A Logic Framework for P2P Deductive Databases, Fault Detection and Localization Using Modelica and Abductive Reasoning, Investigating the solution space for online iterative explanation in goal reasoning agents, Diagnosis of Deep Discrete-Event Systems, Fault tolerance evaluation based on the lattice of system configurations, Compiling finite domain constraints to SAT withBEE, Theorem proving techniques for view deletion in databases, Diagnosing tree-structured systems, Bayesian model-based diagnosis, A Fine-Grained Approach to Resolving Unsatisfiable Ontologies, On the relationship between model-based debugging and program slicing, PRACTICAL INCONSISTENCY MANAGEMENT FOR CRITICAL-TASKS DECISION-SUPPORT SYSTEMS, Constraints on extensions of a default theory, A Hybrid Method for Probabilistic Satisfiability, Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach, Omission-Based Abstraction for Answer Set Programs, Locating Errors in Faulty Formulas, Design and implementation of diagnostic strategies using modal logic, A simple signed system for paraconsistent reasoning, Case Studies and Modeling Formalism, Structural Analysis, Model-Based Diagnosis by the Artificial Intelligence Community: The DX Approach, Model-Based Diagnosis by the Artificial Intelligence Community: Alternatives to GDE and Diagnosis of Dynamic Systems, BRIDGE: Matching Model-Based Diagnosis from FDI and DX Perspectives, Explaining by evidence, Memory-limited model-based diagnosis, Sequential testing of complex systems: a review, Interactive Debugging of Non-ground ASP Programs, Diagnostic Reasoning for Robotics Using Action Languages, Symbolic Possibilistic Logic: Completeness and Inference Methods, SAT-Based Formula Simplification, Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing, A New Approach to Partial MUS Enumeration, SAT-Based Horn Least Upper Bounds, A new methodology for query answering in default logics via structure-oriented theorem proving, The degree of conflict between formulas in an inconsistent knowledge base, Diagnosability of fair transition systems, On a rule-based interpretation of default conditionals, Conflict-directed \(A^{*}\) and its role in model-based embedded systems, On propositional definability, Theory of evidence ? A survey of its mathematical foundations, applications and computational aspects, A graph theory-based approach to the description of the process and the diagnostic system, A new efficient and flexible algorithm for the design of testable subsystems, Minimal diagnosis and diagnosability of discrete-event systems modeled by automata, From causes for database queries to repairs and model-based diagnosis and back, Abduction to plausible causes: an event-based model of belief update, Default reasoning using classical logic, Fault detection and isolation in manufacturing systems with an identified discrete event model, Robot task planning and explanation in open and uncertain worlds, How many diagnoses do we need?, Localising iceberg inconsistencies, A model of explanation for financial knowledge-based systems, Revision in ACMS, Representing diagnosis knowledge, Consistency-based and abductive diagnoses as generalised stable models, Explanatory diagnoses and their characterization by circumscription, Further contributions to characterizing diagnosis, Preferring diagnoses using a partial order on assumptions, Multiple models of physical systems --- modeling intermittent faults, inaccuracy, and tests in diagnosis, A framework for controlling model-based diagnosis systems with multiple actions, Theory diagnoses: A concise characterization of faulty systems, Controlling the complexity in model-based diagnosis, Focusing on independent diagnosis problems, An SE-tree-based prime implicant generation algorithm, Analytical and qualitative model-based fault diagnosis --- a survey and some new results, Support set selection for abductive and default reasoning, COORDINATION DIAGNOSTIC ALGORITHMS FOR TEAMS OF SITUATED AGENTS: SCALING UP, A FRAMEWORK FOR HANDLING LOGICAL INCONSISTENCIES IN THE FUSION OF BOOLEAN KNOWLEDGE BASES, On the impact of stratification on the complexity of nonmonotonic reasoning, The Minimal Hitting Set Generation Problem: Algorithms and Computation, The KB paradigm and its application to interactive configuration, Causality analysis and fault ascription in component-based systems, Optimal-size problem kernels for \(d\)-Hitting Set in linear time and space, Computing smallest MUSes of quantified Boolean formulas, Multiagent simulation subsystem of diagnostic complexes based on device models, Tableaux for diagnosis applications, Handling and measuring inconsistency in non-monotonic logics, Implementing Prioritized Circumscription by Computing Disjunctive Stable Models, A theory of hybrid diagnosis, Comments on the theory of measurement in diagnosis from first principles, Une approche intentionnelle du calcul des implicants premiers et essentiels des fonctions booléennes, Knowledge transformation and fusion in diagnostic systems, Model-based reasoning about learner behaviour, Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic, Debugging incoherent terminologies, Parity relations for linear uncertain dynamic systems, Propositional proof systems based on maximum satisfiability, Use of Explanation Trees to Describe the State Space of a Probabilistic-Based Abduction Problem, Batch repair actions for automated troubleshooting, Reasoning with Uncertain and Inconsistent OWL Ontologies, Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies, Explanation of exceptional values in multi-dimensional business databases, Study of the diagnosability of automated production systems based on functional graphs, Predicting causality ascriptions from background knowledge: model and experimental validation, A diagnostic system based upon knowledge and experience, Maximal sensitivity of Boolean nested canalizing functions, A complexity theory for hard enumeration problems, A New Approach to Multiple Fault Diagnosis: A Combination of Diagnostic Matrices, Graphs, Algebraic and Rule-Based Models. The Case of Two-Layer Models, Processing expertise systematically, On the measure of conflicts: an argumentation-based framework, Machine fault classification: a neural network approach, The hardness of resilience for nested aggregation query, Query answering DL-lite knowledge bases from hidden datasets, Local Diagnosis, Efficiently enumerating hitting sets of hypergraphs arising in data profiling, MCS Extraction with Sublinear Oracle Queries, BEACON: An Efficient SAT-Based Tool for Debugging $${\mathcal {EL}}{^+}$$ Ontologies, Complex optimization in answer set programming, Reasoning credulously and skeptically within a single extension, The Probabilistic Interpretation of Model-Based Diagnosis, A Tableau Calculus for Minimal Modal Model Generation, The complexity of dependency detection and discovery in relational databases, Efficient Reasoning for Inconsistent Horn Formulae, Explanation in artificial intelligence: insights from the social sciences, Strong inconsistency, Abductive inference in defeasible reasoning: a model for research programmes, An improved model-based method to test circuit faults, SIMPLIFYING EXPLANATIONS IN BAYESIAN BELIEF NETWORKS, ACTION FAILURE RECOVERY VIA MODEL-BASED DIAGNOSIS AND CONFORMANT PLANNING, Knowledge assimilation in domains of actions: a possible causes approach, The case for psychologism in default and inheritance reasoning, The localization and correction of errors in models: a constraint-based approach, Iterative and core-guided maxsat solving: a survey and assessment, Supercharging plant configurations using Z3, SAT-based rigorous explanations for decision lists
Cites Work
