# 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), Patras, Greece, July 21-22, 2008.
CEUR-WS.org
(391).
CEUR Workshop Proceedings (CEUR-WS.org), Aachen, Germany.
ISBN 9789606843037
ISSN 1613-0073

## 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 |

School / Department / Research Groups: | School of Computing & Mathematical Sciences Faculty of Architecture, Computing & Humanities > School of Computing & Mathematical Sciences School of Computing & Mathematical Sciences > Computer & Computational Science Research Group Faculty of Architecture, Computing & Humanities > School of Computing & Mathematical Sciences > Computer & Computational Science Research Group School of Computing & Mathematical Sciences > Department of Computer Science Faculty of Architecture, Computing & Humanities > School of Computing & Mathematical Sciences > Department of Computer Science |

Related URLs: | |

Last Modified: | 05 Jul 2013 11:45 |

URI: | http://gala.gre.ac.uk/id/eprint/1233 |

### Actions (login required)

View Item |