Ma, Jixin, Knight, Brian and Petridis, Miltos (2008) Deriving explanations from partial temporal information. In: Proceedings of the Third International Workshop on Explanation-aware Computing (ExaCt-2008), Patras, Greece, July 21-22, 2008. CEUR-WS.org (391). CEUR Workshop Proceedings (CEUR-WS.org), Aachen, Germany. ISBN 9789606843037 ISSN 1613-0073

Full text not available from this repository.

Abstract

The representation and manipulation of natural human understanding of temporal phenomena is a fundamental field of study in Computer Science, which aims both to emulate human thinking, and to use the methods of human intelligence to underpin engineering solutions. In particular, in the domain of Artificial Intelligence, temporal knowledge may be uncertain and incomplete due to the unavailability of complete and absolute temporal information. This paper introduces an inferential framework for deriving logical explanations from partial temporal information. Based on a graphical representation which allows expression of both absolute and relative temporal knowledge in incomplete forms, the system can deliver a verdict to the question if a given set of statements is temporally consistent or not, and provide understandable logical explanation of analysis by simplified contradiction and rule based reasoning.

Item Type:	Conference Proceedings
Title of Proceedings:	Proceedings of the Third International Workshop on Explanation-aware Computing (ExaCt-2008), Patras, Greece, July 21-22, 2008
Additional Information:	[1] First published on CEUR-WS: 16-Sep-2008. [2] Published as: Ma, Jixin, Knight, Brian and Petridis, Miltos (2008) Deriving explanations from partial temporal information. In: Proceedings of the Third International Workshop on Explanation-aware Computing (ExaCt-2008), Patras, Greece, July 21-22, 2008. CEUR-WS.org (391). CEUR Workshop Proceedings (CEUR-WS.org), Aachen, Germany. [3] This paper was presented at the Third International Workshop on Explanation-aware Computing (ExaCt 2008) held from 21-22 July 2008 in Patras, Greece. It was given on Day 1, 21 July 2008. The Workshop was held in conjunction with the 18th European Conference on Artificial Intelligence (ECAI 2008), held from 21-25 July 2008 at the University of Patras, Patras, Greece. [4] The paper is freely available from the given Official URL. [5] CEUR Workshop Proceedings (CEUR-WS.org) is a free open-access publication service.
Uncontrolled Keywords:	derivation, explanation, temporal reasoning
Subjects:	Q Science > QA Mathematics > QA76 Computer software
Pre-2014 Departments:	School of Computing & Mathematical Sciences School of Computing & Mathematical Sciences > Computer & Computational Science Research Group School of Computing & Mathematical Sciences > Department of Computer Science
Related URLs:	Publisher Publisher Publisher Organisation
Last Modified:	14 Oct 2016 09:03
URI:	http://gala.gre.ac.uk/id/eprint/1233

Actions (login required)

View Item