Logic Grammars for Diagnosis and Repair.
Henning ChristiansenVerónica DahlPublished in: Int. J. Artif. Intell. Tools (2003)
Keyphrases
- repair actions
- logic programming
- fault isolation
- formal language
- model based diagnosis
- natural language
- fault diagnosis
- causal reasoning
- multiple faults
- logical framework
- asynchronous circuits
- visual languages
- classical logic
- fault detection
- medical diagnosis
- modal logic
- natural language processing
- attention deficit hyperactivity disorder
- diagnostic tests
- medical diagnostic
- clinically relevant
- grammatical inference
- damage assessment
- finite state automata
- deontic logic
- predicate logic
- fault models
- multi valued
- stochastic grammar
- context free grammars