TY - GEN
T1 - Combining binary constraint networks in qualitative reasoning
AU - Li, Jason Jingshi
AU - Kowalski, Tomasz
AU - Renz, Jochen
AU - Li, Sanjiang
N1 - Publisher Copyright:
© 2008 The authors and IOS Press. All rights reserved.
PY - 2018
Y1 - 2018
N2 - Constraint networks in qualitative spatial and temporal reasoning are always complete graphs. When one adds an extra element to a given network, previously unknown constraints are derived by intersections and compositions of other constraints, and this may introduce inconsistency to the overall network. Likewise, when combining two consistent networks that share a common part, the combined network may become inconsistent. In this paper, we analyse the problem of combining these binary constraint networks and develop certain conditions to ensure combining two networks will never introduce an inconsistency for a given spatial or temporal calculus. This enables us to maintain a consistent world-view while acquiring new information in relation with some part of it. In addition, our results enable us to prove other important properties of qualitative spatial and temporal calculi in areas such as representability and complexity.
AB - Constraint networks in qualitative spatial and temporal reasoning are always complete graphs. When one adds an extra element to a given network, previously unknown constraints are derived by intersections and compositions of other constraints, and this may introduce inconsistency to the overall network. Likewise, when combining two consistent networks that share a common part, the combined network may become inconsistent. In this paper, we analyse the problem of combining these binary constraint networks and develop certain conditions to ensure combining two networks will never introduce an inconsistency for a given spatial or temporal calculus. This enables us to maintain a consistent world-view while acquiring new information in relation with some part of it. In addition, our results enable us to prove other important properties of qualitative spatial and temporal calculi in areas such as representability and complexity.
UR - http://www.scopus.com/inward/record.url?scp=78751690094&partnerID=8YFLogxK
U2 - 10.3233/978-1-58603-891-5-515
DO - 10.3233/978-1-58603-891-5-515
M3 - Conference contribution
SN - 978158603891
T3 - Frontiers in Artificial Intelligence and Applications
SP - 515
EP - 519
BT - Frontiers in Artificial Intelligence and Applications
PB - IOS Press BV
T2 - 18th European Conference on Artificial Intelligence, ECAI 2008
Y2 - 21 July 2008 through 25 July 2008
ER -