Design and implementation of diagnostic strategies using modal logic

DOI10.1007/3-540-61630-6_7zbMath1427.68292OpenAlexW1487921861MaRDI QIDQ5235256

No author found.

Publication date: 8 October 2019

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61630-6_7

zbMATH Keywords

operational semanticstransition systemsuccessor statediagnostic processsystem description

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Cites Work

• Diagnosing multiple faults
• A theory of diagnosis from first principles
• Multiple models of physical systems --- modeling intermittent faults, inaccuracy, and tests in diagnosis
• A framework for controlling model-based diagnosis systems with multiple actions
• Unnamed Item
• Unnamed Item

This page was built for publication: Design and implementation of diagnostic strategies using modal logic