loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
7th IEEE International Conference on Computer and Information Technology (CIT 2007)
Proof for Multi-agent Communication of Semantic Web Information
Aizu-Wakamatsu City, Fukushima, Japan
October 16-October 19
ISBN: 0-7695-2983-6
ASCII Text
x 
 
Vuong Xuan Tran, Hidekazu Tsuji, "Proof for Multi-agent Communication of Semantic Web Information," Computer and Information Technology, International Conference on, pp. 229-234, 7th IEEE International Conference on Computer and Information Technology (CIT 2007), 2007.
 
 
BibTex
x
 
@article{ 10.1109/CIT.2007.108,
author = {Vuong Xuan Tran and Hidekazu Tsuji},
title = {Proof for Multi-agent Communication of Semantic Web Information},
journal ={Computer and Information Technology, International Conference on},
volume = {0},
year = {2007},
isbn = {0-7695-2983-6},
pages = {229-234},
doi = {http://doi.ieeecomputersociety.org/10.1109/CIT.2007.108},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer and Information Technology, International Conference on
TI - Proof for Multi-agent Communication of Semantic Web Information
SN - 0-7695-2983-6
SP229
EP234
A1 - Vuong Xuan Tran,
A1 - Hidekazu Tsuji,
PY - 2007
VL - 0
JA - Computer and Information Technology, International Conference on
ER -
 
Vuong Xuan Tran, Tokai University, Japan
Hidekazu Tsuji, Tokai University, Japan
In Semantic Web, an application should not just giving a correct answer but also providing a proof or some kinds of explanations for that answer. A proof contains information related to the process that creates an answer like knowledge sources, reasoning systems, etc. Provided a proof or explanations, a user can trust and use a result with confidence. Such a means of answer provenance is even more important for distributed systems where an answer may be derived from many knowledge sources and by several systems. In this paper, basing on our existing logical framework for multi-agent communication of Semantic Web information, we extend the framework so that the agents are capable of tracing and providing proofs of their answers. A proof contains information about sources of knowledge, agents participated in the reasoning process as well as facts, rules, and axioms that are employed for inferring an answer. Such proofs are essential for various tasks like checking and validating answers, computing trust information, or generating explanations of answers.
Citation:
Vuong Xuan Tran, Hidekazu Tsuji, "Proof for Multi-agent Communication of Semantic Web Information," cit, pp.229-234, 7th IEEE International Conference on Computer and Information Technology (CIT 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.