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 (only showing first 100 items - show all)
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
Cites Work
This page was built for publication: A theory of diagnosis from first principles
