liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Stream Reasoning using Temporal Logic and Predictive Probabilistic State Models
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Integrated Computer Systems. Linköping University, Faculty of Science & Engineering. (KPLAB)ORCID iD: 0000-0002-8546-4431
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Integrated Computer Systems. Linköping University, Faculty of Science & Engineering. (KPLAB)
2016 (English)In: 23nd International Symposium on Temporal Representation and Reasoning (TIME), 2016, IEEE Computer Society, 2016Conference paper (Refereed)
Abstract [en]

Integrating logical and probabilistic reasoning and integrating reasoning over observations and predictions are two important challenges in AI. In this paper we propose P-MTL as an extension to Metric Temporal Logic supporting temporal logical reasoning over probabilistic and predicted states. The contributions are (1) reasoning over uncertain states at single time points, (2) reasoning over uncertain states between time points, (3) reasoning over uncertain predictions of future and past states and (4) a computational environment formalism that ground the uncertainty in observations of the physical world. Concrete robot soccer examples are given.

Place, publisher, year, edition, pages
IEEE Computer Society, 2016.
Keyword [en]
temporal logic, robotics, execution monitoring, estimation, prediction, probabilistic logic, probabilistic robotics, autonomous systems, situation awareness
National Category
Computer Science Computer Vision and Robotics (Autonomous Systems)
Identifiers
URN: urn:nbn:se:liu:diva-132319OAI: oai:DiVA.org:liu-132319DiVA: diva2:1043981
Conference
Temporal Representation and Reasoning (TIME)
Projects
CADICSCENIITCUASCUGSELLIIT
Funder
CUGS (National Graduate School in Computer Science)ELLIIT - The Linköping‐Lund Initiative on IT and Mobile Communications
Note

Presented at the 23nd International Symposium on Temporal Representation and Reasoning (TIME) at the Technical University of Denmark (DTU), Denmark, the 19th October 2016.

Available from: 2016-11-01 Created: 2016-10-31 Last updated: 2016-11-01

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Tiger, MattiasHeintz, Fredrik
By organisation
Artificial Intelligence and Integrated Computer SystemsFaculty of Science & Engineering
Computer ScienceComputer Vision and Robotics (Autonomous Systems)

Search outside of DiVA

GoogleGoogle Scholar

Total: 209 hits
ReferencesLink to record
Permanent link

Direct link