Towards Checking Hybrid Proofs

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 and Priyendra Deshwal
title	Towards Checking Hybrid Proofs
number	KSL-05-01
institution	Knowledge Systems, AI Laboratory
year	2005
Bibtex more
note	Technical Report
Access Paper
abstract	The distributed and heterogeneous nature of today's applications such as the Web implies that a variety of agents may participate in answering questions. Since multiple agents with various reasoning methods and representation languages are possible, inference rules used to derive any particular answer may be quite diverse. In this paper we introduce the Inference Meta Language to represent inference rules in an abstract and uniform way. The language may be used to annotate proofs enabling them to be automatically checked. Checking may be critical if systems combine answers, i.e., web service composition. We have implemented a parser and checker for the language and it is in use in several proof-based explanation solutions.

KSL Technical Report ID: KSL-05-01

Abstract	The distributed and heterogeneous nature o … The distributed and heterogeneous nature of today's applications such as the Web implies that a variety of agents may participate in answering questions. Since multiple agents with various reasoning methods and representation languages are possible, inference rules used to derive any particular answer may be quite diverse. In this paper we introduce the Inference Meta Language to represent inference rules in an abstract and uniform way. The language may be used to annotate proofs enabling them to be automatically checked. Checking may be critical if systems combine answers, i.e., web service composition. We have implemented a parser and checker for the language and it is in use in several proof-based explanation solutions. everal proof-based explanation solutions.
Author	Paulo Pinheiro da Silva and Patrick J. Hayes and Deborah L. McGuinness and Richard Fikes and Priyendra Deshwal +
Bibtype	techreport +
Has author	Paulo Pinheiro da Silva and Patrick J. Hayes and Deborah L. McGuinness and Richard Fikes and Priyendra Deshwal +
Has identifier	KSL-05-01 +
Has publishing details	2005 +
Has title	Towards Checking Hybrid Proofs +
Has where published	KSL-05-01 +
Has year	2005 +
Institution	Knowledge Systems, AI Laboratory +
Ksl tr id	KSL-05-01 +
Note	Technical Report
Number	KSL-05-01 +
Process note	NO +
Title	Towards Checking Hybrid Proofs +
Year	2005 +