| 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 +,
Priyendra Deshwal +
|
| Bibtype
|
techreport +
|
| Institution
|
Knowledge Systems, AI Laboratory, Stanford University +
|
| Key
|
KSL-05-01 +
|
| Modification dateThis property is a special property in this wiki.
|
1 May 2009 13:40:06 +
|
| Number
|
KSL-05-01 +
|
| Paper
|
KSL-05-01.pdf +
|
| Tag
|
Computer science +
|
| Title
|
Towards Checking Hybrid Proofs +
|
| Tr id
|
KSL-05-01 +
|
| Year
|
2005 +
|
| Categories |
Technical Report,
Publication,
KSL Technical Report
|
