oru.sePublikationer
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • 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
A robot sets a table: a case for hybrid reasoning with different types of knowledge
Örebro University, School of Science and Technology. (AASS)
Örebro University, School of Science and Technology. (AASS)ORCID iD: 0000-0002-9652-7864
2016 (English)In: Journal of experimental and theoretical artificial intelligence (Print), ISSN 0952-813X, E-ISSN 1362-3079, Vol. 28, no 5, 801-821 p.Article in journal (Refereed) 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.

Place, publisher, year, edition, pages
Taylor & Francis, 2016. Vol. 28, no 5, 801-821 p.
Keyword [en]
Hybrid knowledge representation and reasoning; meta-CSP; online robot planning; spatio-temporal reasoning; metric and qualitative temporal constraints
National Category
Computer Science
Research subject
Computer Science
Identifiers
URN: urn:nbn:se:oru:diva-45485DOI: 10.1080/0952813X.2015.1132267ISI: 000382330400003OAI: oai:DiVA.org:oru-45485DiVA: diva2:844585
Projects
RACE
Note

Funding Agency;

EC 287752

Available from: 2015-08-06 Created: 2015-08-06 Last updated: 2017-10-17Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Mansouri, MasoumehPecora, Federico
By organisation
School of Science and Technology
In the same journal
Journal of experimental and theoretical artificial intelligence (Print)
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 564 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • 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