KSL-05-01 + redirect page
Towards Checking Hybrid Proofs + Has identifier
Towards Checking Hybrid Proofs + Ksl tr id
Towards Checking Hybrid Proofs + Number
| Towards Checking Hybrid Proofs |
Bibtype
techreport
Has publishing details
2005
Has title
Towards Checking Hybrid Proofs
Has where published
KSL-05-01
Has year
2005
Title
Towards Checking Hybrid Proofs
Year
2005
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.
Note
Technical Report
Author
Paulo Pinheiro da Silva and Patrick J. Hayes and Deborah L. McGuinness and Richard Fikes and Priyendra Deshwal +
Has author
Paulo Pinheiro da Silva and Patrick J. Hayes and Deborah L. McGuinness and Richard Fikes and Priyendra Deshwal +
Has identifier
Towards Checking Hybrid Proofs +
Institution
Knowledge Systems, AI Laboratory +
Ksl tr id
Towards Checking Hybrid Proofs +
Number
Towards Checking Hybrid Proofs +
Process note
NO +
Categories KSL Technical Report +, Publication +, Technical Report +
|
