A framework for evidential-reasoning systems
Readings in uncertain reasoning
Artificial Intelligence - Special issue on knowledge representation
Reasoning about qualitative temporal information
Artificial Intelligence - Special volume on constraint-based reasoning
Journal of the ACM (JACM)
Probabilistic temporal representation and reasoning
International Journal of Expert Systems
Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra
Journal of the ACM (JACM)
A Sufficient Condition for Backtrack-Free Search
Journal of the ACM (JACM)
Maintaining knowledge about temporal intervals
Communications of the ACM
Constructing an asymptotic phase transition in random binary constraint satisfaction problems
Theoretical Computer Science - Phase transitions in combinatorial problems
Evidence Theory and Its Applications
Evidence Theory and Its Applications
Temporal Constraints: A Survey
Constraints
Representing Spatial and Temporal Uncertainty
IPMU '92 Proceedings of the 4th International Conference on Processing and Management of Uncertainty in Knowledge-Based Systems: Advanced Methods in Artificial Intelligence
A New Framework for Reasoning about Points, Intervals and Durations
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Improving Search Using Indexing: A Study with Temporal CSPs
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Representation and Reasoning with Uncertain Temporal Relations
Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference
Evidential Temporal Representations and Reasoning
PRICAI '96 Proceedings of the 4th Pacific Rim International Conference on Artificial Intelligence: Topics in Artificial Intelligence
The design and experimental analysis of algorithms for temporal reasoning
Journal of Artificial Intelligence Research
Probabilistic temporal networks: A unified framework for reasoning with time and uncertainty
International Journal of Approximate Reasoning
Hi-index | 0.00 |
The Interval Algebra (IA) framework for temporal reasoning encodes indefinite knowledge in terms of disjunctions of relations. Many problems arising in practice can have evidences from past or from other external sources to indicate that some relations in a disjunction may be more probable than others. IA framework is inadequate to encode this information. The aim of the present study is two fold. First, to extend IA framework by associating numeric weights to the relations for capturing additional information and provide a reasoning methodology for the extended framework. Second, to apply the extended framework for developing a heuristic algorithm which finds a solution of the conventional IA network problem without backtrack. We make use of well-known evidential reasoning techniques to develop the new framework, Evidential Interval Algebra (EvIA). EvIA is an augmentation of interval algebra with evidential techniques. The constraint, constraint operators namely converse, composition and intersection, and path consistency algorithm of interval algebra are overlayed by evidential function and evidential operations to get enhanced expressiveness and efficient reasoning capability. The efficiency of the EvIA framework is demonstrated in the form of a heuristic which finds a solution of the interval algebra network without backtrack. Experimental results of the heuristic algorithm reveal that the algorithm is sound and for some specific types of the problems, the success of finding a solution is more than 90 percent. The results also show that the algorithm is efficient in terms of runtime when compared with a backtrack search algorithm.