PPDR: A Proof Protocol for Deductive Reasoning

From Tetherless World Wiki

Jump to: navigation, search

Citation: Paulo Pinheiro da Silva and Patrick J. Hayes and Deborah L. McGuinness and Richard Fikes. (2004) PPDR: A Proof Protocol for Deductive Reasoning. In KSL-04-04, 2004,2004.

Publication techreport ( Edit )
type Technical Report
bibtype techreport
Bibtex basics
author Paulo Pinheiro da Silva and Patrick J. Hayes and Deborah L. McGuinness and Richard Fikes
title PPDR: A Proof Protocol for Deductive Reasoning
number KSL-04-04
institution Knowledge Systems, AI Laboratory
year 2004
month 2004
Bibtex more
note Technical Report
Access Paper
abstract 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.

KSL Technical Report ID: KSL-04-04
Facts about PPDR: A Proof Protocol for Deductive ReasoningRDF feed
Abstract The distributed and heterogeneous nature o … 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. against the abstract rule specification.
Author Paulo Pinheiro da Silva and Patrick J. Hayes and Deborah L. McGuinness and Richard Fikes  +
Bibtype techreport  +
Has author Paulo Pinheiro da Silva and Patrick J. Hayes and Deborah L. McGuinness and Richard Fikes  +
Has identifier KSL-04-04  +
Has publishing details 2004,2004  +
Has title PPDR: A Proof Protocol for Deductive Reasoning  +
Has where published KSL-04-04  +
Has year 2004  +
Institution Knowledge Systems, AI Laboratory  +
Ksl tr id KSL-04-04  +
Month 2004  +
Note Technical Report
Number KSL-04-04  +
Process note NO  +
Title PPDR: A Proof Protocol for Deductive Reasoning  +
Year 2004  +
Retrieved from "http://tw.rpi.edu/wiki/PPDR:_A_Proof_Protocol_for_Deductive_Reasoning"
Personal tools