Deriving explanations from partial temporal information
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), July 21-22, 2008. CEUR Workshop Proceedings (391). CEUR Workshop Proceedings (CEUR-WS.org), Aachen, Germany. ISBN 9789606843037 ISSN 1613-0073Full text not available from this repository.
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), July 21-22, 2008|
|Additional Information:|| 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. The paper is freely available from the given Official URL.|
|Uncontrolled Keywords:||derivation, explanation, temporal reasoning|
|Subjects:||Q Science > QA Mathematics > QA76 Computer software|
|School / Department / Research Groups:||School of Computing & Mathematical Sciences|
School of Computing & Mathematical Sciences > Computer & Computational Science Research Group
School of Computing & Mathematical Sciences > Department of Computer Science
|Last Modified:||10 May 2013 10:26|
Actions (login required)