Solving temporal over-constrained problems using fuzzy techniques

Journal of Intelligent and Fuzzy Systems

Volumn 18, Issue 3, 2007, Pages 255-265

  Badaloni, S ^a   Falda, M ^a   Giacomin, M ^b  

^a UNIVERSITY OF PADOVA   (Italy)

^b UNIVERSITY OF BRESCIA   (Italy)

Author keywords

Fuzzy temporal reasoning; Over constrained problems

Indexed keywords

CONSTRAINT THEORY; FUZZY LOGIC; MATHEMATICAL MODELS; SCHEDULING;

FUZZY CONSTRAINTS; FUZZY TEMPORAL REASONING; OVER-CONSTRAINED PROBLEMS;

PROBLEM SOLVING;

EID: 34548258897     PISSN: 10641246     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (30)

1. J.F. Allen, Maintaining knowledge about temporal intervals, Communications of the ACM 26(1) (1983), 832-843.
2. S. Badaloni, M. Falda and M. Giacomin, Integrating qualitative and quantitative constraints in fuzzy temporal networks, in: Proc. of the Workshop on Spatial and Temporal Reasoning, Acapulco, Mexico, 2003, pp. 39-48.
3. S. Badaloni, M. Falda and M. Giacomin, Integrating quantitative and qualitative constraints in fuzzy temporal networks, AI Communications 17(4) (2004), 183-272.
4. S. Badaloni and M. Giacomin, Flexible temporal constraints, In Proc. of IPMU 2000, Madrid, Spain, 2000, 1262-1269.
5. S. Badaloni and M. Giacomin, A fuzzy extension of Allen's interval algebra, in: Springer Verlag, (Vol. 1792), LNAI, ed., 2000, pp. 1555-165.
6. S. Badaloni and M. Giacomin, Fuzzy extension of interval-based temporal sub-algebras, In Proc. of IPMU 2002, Annecy, France, 2002, 1119-1126.
7. S. Badaloni and M. Giacomin, The algebra IAfuz: a framework for qualitative fuzzy temporal reasoning, Artificial Intelligence 170(10) (2006), 872-908.
8. S. Barro, R. Marín, J. Mira and A. Paton, A. model and a language for the fuzzy representation and handling of time, Fuzzy Sets and Systems 175 (1994), 61-153.
9. M. Beaumont, J.R. Thornton, A. Sattar and M. Maher, Solving overconstrained temporal reasoning problems using local search, In Proc. of PRICAI-2004, Auckland, NZ, 2004, 134-143.
10. E. Bensana, G. Verfaillie, C. Michelon-Edery and N.G. Bataille, Dealing with uncertainty when managing an earth observation satellite, In ISAIRAS99, 1999, 120-124.
11. R. Dechter, I. Meiri and J. Pearl, Temporal, constraint networks, Artificial Intelligence 49 (1991), 61-95.
12. D. Dubois, H. Fargier and H. Prade, Possibility theory in constraint satisfaction problems: Handling priority, preference and uncertainty, Applied Intelligence 6 (1996), 287-309.
13. E.C. Freuder and R.J. Wallace, Partial constraint satisfaction, Artificial Intelligence 58(1-3) (1992), 21-70.
14. M. Giacomin, From crisp to fuzzy constraint networks. In Proc. of CP '01 Workshop Modelling and Solving Problems with Soft Constraints, Paphos, Cyprus, 2001.
15. L. Godo and L. Vila, Possibilistic temporal reasoning based on fuzzy temporal constraints, In Proc. of IJCAI95, 2001, 1916-1922.
16. S.A. Harrison and M.E. Price, Task scheduling for satellite based imagery, In Proc. of Eighteenth Workshop of the UK Planning and Scheduling Special Interest Group, University of Salford, UK, 1999, 64-78.
17. M.H. Liffiton, M.D. Moffitt, M.E. Pollack and K.A. Sakallah, Identifying conflicts in overconstrained temporal problems, 19th IJCAI, August 2005, pp. 205-211.
18. J. Ma and B. Knight, A general temporal theory, The Computer Journal 37(2) (1994), 114-123.
19. J. Ma and B. Knight, Representing the dividing instant, The Computer Journal 46(2) (2003), 213-222.
20. R. Marin, M.A. Cáardenas, M. Balsa and J.L. Sanchez, Obtaining solutions in fuzzy constraint network, International Journal of Approximate Reasoning 16 (1997), 261-288.
21. I. Meiri, Combining qualitative and quantitative constraints in temporal reasoning, Artificial Intelligence 87 (1996), 343-385.
22. M.D. Moffitt and M.E. Pollack, Partial constraint satisfaction of disjiunctive temporal problems, 18th FLAIRS Conf., May 2005, pp. 715-720.
23. J.C. Pemberton and F. Galiber, A constraint-based approach to satellite scheduling, in: Constraint Programming and Large Scale Discrete Optimization, (vol. 57) of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, E.C. Freuder and R.J. Wallace, eds, 1998 pp. 101-114.
24. J.C. Pemberton and L. Green wald, On the need for dynamic scheduling of imaging satellites, In Future Intelligent Earth Observing Satellites Symposium, 2002.
25. T. Petit, J. Regin and C. Bessiere, Specific filtering algorithms for over-constrained problems, In CP2001, 2001, 451-463.
26. T. Petit, J. Regin, C. Bessiere and J.F. Puget, An original constraint based approach for solving over constrained problems, In CP2000, 2000, 543-548.
27. F. Rossi, A. Sperduti, K.B. Venable, L. Khatib, P. Morris and R. Morris, Learning and solving soft temporal constraints: an experimental study, In CP 2002, Ithaca, NY, 2002. Springer Verlag.
28. F. Rossi, K.B. Venable and N. Yorke-Smith, Simple temporal problems with preferences and uncertainty, In CP 2003 workshop on Online Constraint Solving: Handling Change and Uncertainty, Kinsale, Co. Cork, Ireland, 2003.
29. P. Van Beek and D.W. Manchak, The design and experimental analysis of algorithms for temporal reasoning, Journal of Artificial Intelligence Research 4 (1996), 1-18.
30. M. Vilain, H. Kautz and P. Van Beek, Constraint propagation algorithms for temporal reasoning: a revised report, in: Readings in Qualitative Reasoning about Physical Systems, J. de Kleer and D.S. Weld, eds, San Mateo, CA, 1989. Morgan Kaufmann, pp. 373-381.