liu.seSearch for publications in DiVA
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Partial-State Progression for Stream Reasoning with Metric Temporal Logic
Linköpings universitet, Institutionen för datavetenskap, Artificiell intelligens och integrerade datorsystem. Linköpings universitet, Tekniska fakulteten. (KPLAB - Knowledge Processing Lab)ORCID-id: 0000-0001-6356-045X
Linköpings universitet, Institutionen för datavetenskap, Artificiell intelligens och integrerade datorsystem. Linköpings universitet, Tekniska fakulteten.
2018 (engelsk)Inngår i: Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR) / [ed] Michael Thielscher, Francesca Toni, and Frank Wolter, Palo Alto: AAAI Press, 2018, s. 633-634Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
Palo Alto: AAAI Press, 2018. s. 633-634
Emneord [en]
partiality, progression, path checking, execution monitoring, stream reasoning
HSV kategori
Identifikatorer
URN: urn:nbn:se:liu:diva-149896ISI: 000492398600076ISBN: 978-1-57735-803-9 (tryckt)OAI: oai:DiVA.org:liu-149896DiVA, id: diva2:1235841
Konferanse
16th International Conference on Principles of Knowledge Representation and Reasoning
Forskningsfinansiär
CUGS (National Graduate School in Computer Science)
Merknad

Funding agencies: National Graduate School in Computer Science, Sweden (CUGS)

Tilgjengelig fra: 2018-07-27 Laget: 2018-07-27 Sist oppdatert: 2019-11-11

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Link to full text

Personposter BETA

de Leng, DanielHeintz, Fredrik

Søk i DiVA

Av forfatter/redaktør
de Leng, DanielHeintz, Fredrik
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric

isbn
urn-nbn
Totalt: 244 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf