]> 2012-02-10T17:06:13-05:00 Abstracting web agent proofs into human-level justifications Information supporting answer explanations are derived from proofs. One ofthe difficulties for humans to understand web agent proofs is that the proofsare typically described at the machine-level. In this paper, we introducea novel and generic approach for abstracting machine-level portable proofsinto human-level justifications. This abstraction facilitates generatingexplanations from proofs on the web. Our approach consists of creating arepository of proof templates, called abstraction patterns, describing howmachine-level inference rules and axioms in proofs can be replaced by rulesthat are more meaningful for humans. Intermediate results supportingmachine-level proofs may also be dropped during the abstraction process.The Inference Web Abstractor algorithm has been developed with the goal ofmatching the abstraction patterns in the repository against the originalproof and applying a set of strategies to abstract the proof therebysimplifying its presentation. The tools used for creating and applyingabstraction patterns are shown along with an intelligence analysis example. inproceedings Proceedings of the 20th International FLAIRS Conference (FLAIRS-20) KSL-07-06 80-85 Abstracting Web Agent Proofs into Human-Level Justifications KSL-07-06 2007 Year Tr id Title Computer science Tag Inference web Relation Paper url Pages May Month Key Booktitle Bibtype Cynthia Chang Vladia Pinheiro Juliana Carvalho Dhyanesh Narayanan Priyendra Deshwal Deborah L. McGuinness Paulo Pinheiro da Silva Vasco Furtado Author Key West, Florida Address Abstract KSL Technical Report Publication Proceeding Paper Conference Paper