A formal model of explanation
From MaRDI portal
Publication:1898821
DOI10.1007/BF01211606zbMath0835.68079OpenAlexW2035814931MaRDI QIDQ1898821
Richard Stamper, Bryan S. Todd
Publication date: 25 September 1995
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01211606
Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Specification and verification (program logics, model checking, etc.) (68Q60)
Uses Software
Cites Work
- Unnamed Item
- Explanation-based generalisation \(=\) partial evaluation
- Production rules as a representation for a knowledge-based consultation program
- Measuring the Accuracy of Diagnostic Systems
- Statistical and Knowledge-Based Approaches to Clinical Decision-Support Systems, with an Application in Gastroenterology