Ma, Jixin, Knight, Brian, Petridis, Miltos and Bai, Xiao (2010) A graphical representation for uncertain and incomplete temporal knowledge. In: Proceedings 2010 Second WRI Global Congress on Intelligent Systems - GCIS 2010. IEEE Computer Society, Conference Publishing Services (CPS), Los Alamitos, CA, USA, pp. 117-120. ISBN 9781424492473 (doi:10.1109/GCIS.2010.219)

Full text not available from this repository.

Abstract

Complete and absolute temporal knowledge is usually not always available for many knowledge based systems, notably in the domain of artificial intelligence. Based on a time theory that takes both points and intervals as primitive, this paper introduces a graphical representation for uncertain and incomplete temporal knowledge, which allows logical expressions of both absolute and relative temporal relations, including both logical conjunctions and disjunctions. The consistency of any given collection of uncertain and incomplete temporal knowledge depends on if there is at one temporal scenario that is temporal consistent, where a consistency checker for temporal scenarios is provided.

Item Type:	Conference Proceedings
Title of Proceedings:	Proceedings 2010 Second WRI Global Congress on Intelligent Systems - GCIS 2010
Additional Information:	[1] First published: 2010. [2] Published as: Ma, Jixin, Knight, Brian, Petridis, Miltos and Bai, Xiao (2010) A graphical representation for uncertain and incomplete temporal knowledge. In: Proceedings 2010 Second WRI Global Congress on Intelligent Systems - GCIS 2010. IEEE Computer Society, Conference Publishing Services (CPS), Los Alamitos, CA, USA, pp. 117-120. [3] This paper was presented at the 2010 Second WRI Global Congress on Intelligent Systems (GCIS 2010), held from 16-17 December 2010 in Wuhan, China. [4] This paper is published in Volume 1 of the Proceedings, in the Case-Based and Temporal Reasoning section. [5] ISBN: 978-1-4244-9247-3 (Print); 978-0-7695-4304-8 (Other). [6] INSPEC Accession Number: 11806160.
Uncontrolled Keywords:	temporal knowledge, uncertainty, incompleteness, cognition, computers, finite element methods, knowledge based systems, sufficient conditions
Subjects:	Q Science > QA Mathematics Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Pre-2014 Departments:	School of Computing & Mathematical Sciences School of Computing & Mathematical Sciences > Department of Computer Systems Technology School of Computing & Mathematical Sciences > Department of Mathematical Sciences
Related URLs:	Publisher Publisher Organisation
Last Modified:	14 Oct 2016 09:11
URI:	http://gala.gre.ac.uk/id/eprint/4368

Actions (login required)

View Item