oru.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
A robot sets a table: a case for hybrid reasoning with different types of knowledge
Örebro universitet, Institutionen för naturvetenskap och teknik. (AASS)ORCID-id: 0000-0002-4527-7586
Örebro universitet, Institutionen för naturvetenskap och teknik. (AASS)ORCID-id: 0000-0002-9652-7864
2016 (Engelska)Ingår i: Journal of experimental and theoretical artificial intelligence (Print), ISSN 0952-813X, E-ISSN 1362-3079, Vol. 28, nr 5, s. 801-821Artikel i tidskrift (Refereegranskat) Published
Abstract [en]

An important contribution of AI to Robotics is the model-centred approach, whereby competent robot behaviour stems from automated reasoning in models of the world which can be changed to suit different environments, physical capabilities and tasks. However models need to capture diverse (and often application-dependent) aspects of the robot's environment and capabilities. They must also have good computational properties, as robots need to reason while they act in response to perceived context. In this article, we investigate the use of a meta-CSP-based technique to interleave reasoning in diverse knowledge types. We reify the approach through a robotic waiter case study, for which a particular selection of spatial, temporal, resource and action KR formalisms is made. Using this case study, we discuss general principles pertaining to the selection of appropriate KR formalisms and jointly reasoning about them. The resulting integration is evaluated both formally and experimentally on real and simulated robotic platforms.

Ort, förlag, år, upplaga, sidor
Taylor & Francis, 2016. Vol. 28, nr 5, s. 801-821
Nyckelord [en]
Hybrid knowledge representation and reasoning; meta-CSP; online robot planning; spatio-temporal reasoning; metric and qualitative temporal constraints
Nationell ämneskategori
Datavetenskap (datalogi)
Forskningsämne
Datavetenskap
Identifikatorer
URN: urn:nbn:se:oru:diva-45485DOI: 10.1080/0952813X.2015.1132267ISI: 000382330400003OAI: oai:DiVA.org:oru-45485DiVA, id: diva2:844585
Projekt
RACE
Anmärkning

Funding Agency;

EC 287752

Tillgänglig från: 2015-08-06 Skapad: 2015-08-06 Senast uppdaterad: 2018-06-11Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltext

Personposter BETA

Mansouri, MasoumehPecora, Federico

Sök vidare i DiVA

Av författaren/redaktören
Mansouri, MasoumehPecora, Federico
Av organisationen
Institutionen för naturvetenskap och teknik
I samma tidskrift
Journal of experimental and theoretical artificial intelligence (Print)
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 649 träffar
RefereraExporteraLänk till posten
Permanent länk

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