A robot sets a table : a case for hybrid reasoning with different types of knowledge. Mansouri, M. & Pecora, F. Journal of Experimental & Theoretical Artificial Intelligence, 28(5):801–821, 2016. Publisher: Taylor & Francis
A robot sets a table : a case for hybrid reasoning with different types of knowledge [link]Paper  doi  abstract   bibtex   
An important contribution ofAI 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.
@article{mansouri_robot_2016,
	title = {A robot sets a table : a case for hybrid reasoning with different types of knowledge},
	volume = {28},
	issn = {0952-813X},
	url = {http://dx.doi.org/10.1080/0952813X.2015.1132267},
	doi = {10.1080/0952813X.2015.1132267},
	abstract = {An important contribution ofAI 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.},
	number = {5},
	journal = {Journal of Experimental \& Theoretical Artificial Intelligence},
	author = {Mansouri, Masoumeh and Pecora, Federico},
	year = {2016},
	note = {Publisher: Taylor \& Francis},
	pages = {801--821}
}
Downloads: 0