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

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Partial-State Progression for Stream Reasoning with Metric Temporal Logic
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Integrated Computer Systems. Linköping University, Faculty of Science & Engineering.
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Integrated Computer Systems. Linköping University, Faculty of Science & Engineering.
2018 (English)In: SIXTEENTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE , 2018, p. 633-634Conference paper, Published paper (Refereed)
Abstract [en]

The formula progression procedure for Metric Temporal Logic (MTL), originally proposed by Bacchus and Kabanza, makes use of syntactic formula rewritings to incrementally evaluate MTL 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 robot applications. Our main contribution is an extension of the progression procedure to handle partial state information. For each missing truth value, we efficiently consider all consistent hypotheses by branching progression for each such hypothesis. The resulting procedure is flexible, allowing a trade-off between faster but approximate and slower but precise partial-state progression.

Place, publisher, year, edition, pages
ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE , 2018. p. 633-634
National Category
Robotics
Identifiers
URN: urn:nbn:se:liu:diva-161881ISI: 000492398600076OAI: oai:DiVA.org:liu-161881DiVA, id: diva2:1370853
Conference
16th International Conference on Principles of Knowledge Representation and Reasoning
Note

Funding Agencies|National Graduate School in Computer Science, Sweden (CUGS)

Available from: 2019-11-18 Created: 2019-11-18 Last updated: 2019-11-18

Open Access in DiVA

No full text in DiVA

Search in DiVA

By author/editor
de Leng, DanielHeintz, Fredrik
By organisation
Artificial Intelligence and Integrated Computer SystemsFaculty of Science & Engineering
Robotics

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 11 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf