TEMPORAL CONSTRAINT SATISFACTION IN MATRIX METHOD
Authors:
Chengqi Zhang a;
Shichao Zhang a;
Zili Zhang b
| Affiliations: | a Faculty of Information Technology, University of Technology Sydney, Australia. |
| b School of Computing and Mathematics, Deakin University Geelong, Australia. |
DOI:
10.1080/713827103
Publication Frequency:
10 issues per year
Subjects:
Artificial Intelligence;
Computer Science (General);
Information & Communication Technology (ICT);
Formats available:
PDF
(English)
View Article:
View Article (PDF)
Abstract
Constraint satisfaction is a challenging problem in Interval Algebra (IA). So there are many efforts to attack this problem. After building a matrix method to deal with temporal reasoning problems, we develop basic techniques for applying the matrix method to constraint satisfaction in this paper. Thus, the propagating rules and the algorithms of 3- and path-consistency are studied. If our matrix method is used, then the temporal constraint satisfaction problem can be transformed into a problem that can be effectively solved.
|

Download Citation
CiteULike
Del.icio.us
BibSonomy
Connotea