Towards checking hybrid proofs
From Semantic Portal Wiki
| Edit |
Reference:
- Paulo Pinheiro da Silva, Patrick J. Hayes, Deborah L. McGuinness, Richard Fikes, Priyendra Deshwal. Towards Checking Hybrid Proofs , Knowledge Systems, AI Laboratory, Stanford University (KSL-05-01), 2005
bibtex
@techreport { KSL-05-01 ,
author = "Paulo Pinheiro da Silva, Patrick J. Hayes, Deborah L. McGuinness, Richard Fikes, Priyendra Deshwal",
institution = "Knowledge Systems, AI Laboratory, Stanford University",
number = "KSL-05-01",
title = "Towards Checking Hybrid Proofs",
year = "2005",
}
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.
download:
- paper: KSL-05-01.pdf
- slides:
| 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. several proof-based explanation solutions. |
| Author | Paulo Pinheiro da Silva +, Patrick J. Hayes +, Deborah L. McGuinness +, Richard Fikes +, and Priyendra Deshwal + |
| Bibtype | techreport + |
| Institution | Knowledge Systems, AI Laboratory, Stanford University + |
| Key | KSL-05-01 + |
| Number | KSL-05-01 + |
| Paper | KSL-05-01.pdf + |
| Tag | Computer science + |
| Title | Towards Checking Hybrid Proofs + |
| Tr id | KSL-05-01 + |
| Year | 2005 + |
