Search: onr:"swepub:oai:DiVA.org:liu-153444" >
Approximate Stream ...
Approximate Stream Reasoning with Metric Temporal Logic under Uncertainty
-
- de Leng, Daniel, 1988- (author)
- Linköpings universitet,Artificiell intelligens och integrerade datorsystem,Tekniska fakulteten,KPLAB - Knowledge Processing Lab
-
- Heintz, Fredrik, 1975- (author)
- Linköpings universitet,Artificiell intelligens och integrerade datorsystem,Tekniska fakulteten
-
(creator_code:org_t)
- 2019-07-17
- 2019
- English.
-
In: Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI). - Palo Alto : AAAI Press. ; , s. 2760-2767
- Related links:
-
https://aaai.org/Lib...
-
show more...
-
https://www.aaai.org...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- Stream reasoning can be defined as incremental reasoning over incrementally-available information. The formula progression procedure for Metric Temporal Logic (MTL) makes use of syntactic formula rewritings to incrementally evaluate formulas against incrementally-available states. Progression however assumes complete state information, which can be problematic when not all state information is available or can be observed, such as in qualitative spatial reasoning tasks or in robotics applications. In those cases, there may be uncertainty as to which state out of a set of possible states represents the ‘true’ state. The main contribution of this paper is therefore an extension of the progression procedure that efficiently keeps track of all consistent hypotheses. The resulting procedure is flexible, allowing a trade-off between faster but approximate and slower but precise progression under uncertainty. The proposed approach is empirically evaluated by considering the time and space requirements, as well as the impact of permitting varying degrees of uncertainty.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Publication and Content Type
- ref (subject category)
- kon (subject category)
Find in a library
To the university's database