资源论文Efficient Approach to Solve the Minimal Labeling Problem of Temporal and Spatial Qualitative Constraints

Efficient Approach to Solve the Minimal Labeling Problem of Temporal and Spatial Qualitative Constraints

2019-11-08 | |  60 |   31 |   0
Abstract The Interval Algebra (IA) and a subset of the Region Connection Calculus (RCC), namely RCC-8, are the dominant Artificial Intelligence approaches for representing and reasoning about qualitative temporal and topological relations respectively. Such qualitative information can be formulated as a Qualitative Constraint Network (QCN). In this paper, we focus on the minimal labeling problem (MLP) and we propose an algorithm to efficiently derive all the feasible base relations of a QCN. Our algorithm considers chordal QCNs and a new form of partial consistency which we define as ?G -consistency. Further, the proposed algorithm uses tractable subclasses of relations having a specific patchwork property for which -consistency implies the consistency of the input QCN. Experimentations with QCNs of IA and RCC-8 show the importance and efficiency of this new approach.

上一篇:Constraint Satisfaction and Fair Multi-Objective Optimization Problems:

下一篇:Temporal Description Logic for Ontology-Based Data Access

用户评价
全部评价

热门资源

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to learn...

    The move from hand-designed features to learned...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...

  • Learning to Predi...

    Much of model-based reinforcement learning invo...