]> 2012-02-10T14:48:10-05:00 Ppdr: a proof protocol for deductive reasoning The distributed and heterogeneous nature of the Web implies that a variety of agents may participate in helping to answer any question posed to a web application. Since multiple agents with various reasoning methods and representation languages may be used, inference rules used to derive any particular answer may be quite diverse. Since the evolving web is expected to continue to leverage diverse agents with diverse reasoning rules and since many users will need to have access to some explanation of how answers were obtained, this emerging web needs to have a way of leveraging and explaining hybrid reasoning. The emerging web needs an abstract, uniform way of specifying inference rules used in answer generation if tools are going to combine answers from hybrid systems, manipulate the justifications of those answers, and check to see if the justifications include correct applications of the inference rules. In this paper we introduce PPDR -- the Proof Protocol for Deductive Reasoning -- which is a language used to represent diverse inference rules. Also, in combination with the Proof Markup Language (PML), PPDR allows proofs produced by multiple agents to be combined, manipulated to present abstract explanations, and verified against the abstract rule specification. techreport KSL-04-04 KSL-04-04 PPDR: A Proof Protocol for Deductive Reasoning KSL-04-04 2004 Year Tr id Title Computer science Tag Media:KSL-04-04.pdf Paper Number Key Knowledge Systems, AI Laboratory, Stanford University Institution Bibtype Richard Fikes Deborah L. McGuinness Patrick J. Hayes Paulo Pinheiro da Silva Author Abstract KSL Technical Report Publication Technical Report