Abstract
We focus on the recently introduced problem of maximizing the number of satisfied constraints in a qualitative constraint network (\(\mathsf {QCN}\)), called the \(\mathsf {MAX}\text{- }\mathsf {QCN}\) problem. We present a particular local search method for solving the \(\mathsf {MAX}\text{- }\mathsf {QCN}\) problem of a given \(\mathsf {QCN}\), which involves first obtaining a partial scenario \(\mathcal {S}\) of that \(\mathsf {QCN}\) and then exploring neighboring scenarios that are obtained by disconnecting a variable of \(\mathcal {S}\) and repositioning it appropriately. The experimentation that we have conducted shows the interest of our approach for maximizing satisfiability in qualitative spatial and temporal constraint networks.
This work is partially supported by PHC-UTIQUE program (project RESCUESYS-34942VF) managed by the CMCU.
References
Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832–843 (1983)
Bhatt, M., Guesgen, H., Wölfl, S., Hazarika, S.: Qualitative spatial and temporal reasoning: emerging applications, trends, and directions. Spat. Cogn. Comput. 11, 1–14 (2011)
Bodlaender, H.L., Koster, A.M.C.A.: Treewidth computations I. Upper bounds. Inf. Comput. 208, 259–275 (2010)
Chmeiss, A., Condotta, J.F.: Consistency of triangulated temporal qualitative constraint networks. In: Proceedings of 23rd International Conference on Tools with Artificial Intelligence (ICTAI 2011), Boca Raton, FL, USA, pp. 799–802 (2011)
Condotta, J.F., Mensi, A., Nouaouri, I., Sioutis, M., Saïd., L.B.: A practical approach for maximizing satisfiability in qualitative spatial and temporal constraint networks. In: Proceedings of 27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2015). IEEE (2015)
Condotta, J., Nouaouri, I., Sioutis, M.: A SAT approach for maximizing satisfiability in qualitative spatial and temporal constraint networks. In: KR (2016)
Diestel, R.: Graph Theory. Graduate Texts in Mathematics, vol. 173, 4th edn. Springer, Berlin (2012)
Hazarika, S.: Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions. IGI Global, Hershey (2012)
Huang, J.: Compactness and its implications for qualitative spatial and temporal reasoning. In: Proceedings of 13th International Conference Principles of Knowledge Representation and Reasoning (KR 2012), Rome, Italy (2012)
Ligozat, G., Renz, J.: What is a qualitative calculus? A general framework. In: Zhang, C., W. Guesgen, H., Yeap, W.-K. (eds.) PRICAI 2004. LNCS (LNAI), vol. 3157, pp. 53–64. Springer, Heidelberg (2004)
Martí, R., Laguna, M., Glover, F.: Principles of tabu search. In: Gonzalez, T.F. (ed.) Handbook of Approximation Algorithms and Metaheuristics. Chapman and Hall, London (2007)
Nebel, B.: Solving hard qualitative temporal reasoning problems: evaluating the efficiency of using the ORD-horn class. Constraints 1, 175–190 (1997)
Randell, D., Cui, Z., Cohn, A.: A spatial logic based on regions and connection. In: Proceedings of 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR 1992), pp. 165–176 (1992)
Renz, J., Nebel, B.: Qualitative spatial reasoning using constraint calculi. In: Aiello, M., Pratt-Hartmann, I., Van Benthem, J. (eds.) Handbook of Spatial Logics, pp. 161–215. Springer, Berlin (2007)
Sioutis, M., Koubarakis, M.: Consistency of chordal RCC-8 networks. In: ICTAI (2012)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Condotta, JF., Mensi, A., Nouaouri, I., Sioutis, M., Ben Saïd, L. (2016). Local Search for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks. In: Dichev, C., Agre, G. (eds) Artificial Intelligence: Methodology, Systems, and Applications. AIMSA 2016. Lecture Notes in Computer Science(), vol 9883. Springer, Cham. https://doi.org/10.1007/978-3-319-44748-3_24
Download citation
DOI: https://doi.org/10.1007/978-3-319-44748-3_24
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-44747-6
Online ISBN: 978-3-319-44748-3
eBook Packages: Computer ScienceComputer Science (R0)