| Title: |
Proof Explanation in the DR-DEVICE System |
| Author(s): |
N. Bassiliades, G. Antoniou, G. Governatori.
|
| Availability: |
Click here to download the PDF (Acrobat Reader) file (10 pages).
|
| Keywords: |
proof, explanation, rules
rules
rule, defeasible logic, semantic web, RDF.
|
| Appeared in: |
1st International Conference on Web Reasoning and Rule Systems (RR 2007), Springer-Verlag, LNCS 4524, pp. 249-258, Innsbruck, Austria, 7-8 June 2007, 2007.
|
| Abstract: |
Trust is a vital feature for the Semantic Web: If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain their actions, sources, and beliefs, and this issue is the topic of the proof layer in the design of the Semantic Web. This paper presents the design of a system for proof explanation on the Semantic Web, based on defeasible reasoning. The basis of this work is the DR-DEVICE system that is extended to handle proofs. A critical aspect is the representation of proofs in an XML language, which is achieved by a RuleML language extension. |
| See also : |
http://iskp.csd.auth.gr/systems/dr-device.html
|
This paper has been cited by the following:
| 1 |
Regis Riveret, "Interactions Between Normative Systems And Software Cognitive Agents: A Formalization In Temporal Modal Defeasible Logic", PhD Thesis, Centro Interdipartimentale di Ricerca in Storia del Diritto, Filosofia e Sociologia del Diritto e Informatica Giuridica, University of Bolognia, 2008. |
| 2 |
Lai-Chen Lu, “Automatic Electronic Business Collaboration Based On Intelligent Agent Technology”, PhD Thesis, Department of Computer Science and Engineering, Tatung University, Korea, June 2009. |
| 3 |
Benjamin Grosof, Mark Burstein, Mike Dean, Carl Andersen, Brett Benyo, William Ferguson, Daniela Inclezan, Richard Shapiro, "A SILK Graphical UI for Defeasible Reasoning, with a Biology Causal Process Example", Proceedings of the RuleML-2010 Challenge, at the 4th International Web Rule Symposium, Washington, DC, USA, October, 21-23, 2010, CEUR Workshop Proceedings, Vol-649, http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-649/. |
| 4 |
Benjamin Grosof, Mark Burstein, Mike Dean, Carl Andersen, Brett Benyo, William Ferguson, Daniela Inclezan, Richard Shapiro, "A SILK Graphical UI for Defeasible Reasoning, with a Biology Causal Process Example", demo/poster session, ISWC-2010, Shanghai, China, 7-11 Nov, 2010. |
| 5 |
Ankesh Khandelwal, Bao Jie, Kagal Lalana, Jacobi Ian, Ding Li, Hendler James, "Analyzing the AIR Language: A Semantic Web (Production) Rule Language", Proc. Web Reasoning and Rule Systems 2010 (RR-2010), Lecture Notes in Computer Science, 6333, 2010, Springer, pp. 58-72. |
| 6 |
Lalana Kagal, Ian Jacobi, and Ankesh Khandelwal, "Gasping for AIR: Why we need Linked Rules and Justifications on the Semantic Web", MIT, Computer Science and Artificial Intelligence Laboratory, Technical Report, MIT-CSAIL-TR-2011-023, April 16, 2011. |
| 7 |
Rakebul Hasan and Fabien Gandon, “A Brief Review of Explanation in the Semantic Web”, Proc. of the Seventh International ExaCt workshop, Explanation-aware Computing - ExaCt 2012, ECAI 2012 Workshop, Montpellier, France, 28 July 2012, pp. 16-20. |
| 8 |
Rakebul Hasan and Fabien Gandon, "Explanation in the Semantic Web: a survey of the state of the art", Technical Report, INRIA, RR-7974, May 2012, http://hal.inria.fr/hal-00702277. |
| 9 |
Fong, J., Lam, H.-P., Robinson, R., Indulska, J., “Defeasible preferences for intelligible pervasive applications to enhance eldercare”, (2012) 2012 IEEE International Conference on Pervasive Computing and Communications Workshops, PERCOM Workshops 2012, art. no. 6197580, pp. 572-577. |
| 10 |
Rakebul Hasan. Predicting query performance and explaining results to assist Linked Data consumption.. PhD Thesis. Université Nice Sophia Antipolis, 2014. English. |
|
