Producing Explanations and Justifications of Expert Consulting Programs

Traditional methods for explaining programs provide explanations by converting to English the code of the program or traces of the execution of that code. While such methods can provide adequate explanations of what the program does or did, they typically cannot provide justifications of the code w...

Full description

Bibliographic Details
Main Author: Swartout, William R.
Other Authors: Szolovits, Peter
Published: 2023
Online Access:https://hdl.handle.net/1721.1/149532
Description
Summary:Traditional methods for explaining programs provide explanations by converting to English the code of the program or traces of the execution of that code. While such methods can provide adequate explanations of what the program does or did, they typically cannot provide justifications of the code without resorting to canned-text explanations. That is, such systems cannot tell why what the system is doing is a reasonable thing to be doing.