Abstract
Unifying the symbolic and geometric representations and algorithms used in AI and robotics is an important challenge for both fields. We take a small step in this direction by presenting an interface between geometric reasoning and a popular class of agent systems, in a way that uses some of the agent’s available constructs and semantics. We then describe how certain kinds of information can be extracted from the geometric model of the world and used in agent reasoning. We motivate our concepts and algorithms within the context of a real-world production system.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
R is short for \( Robot \), F for \( From \), T for \( To \) and \( ti \) for \( table\; i \).
- 2.
An action-rule’s body is adapted from STRIPS to be a sequence of functions that return a (possibly empty) set of literals, each of which is applied to the belief base B, i.e. the positive literals are added to B, and atoms associated with negative literals are removed from B.
- 3.
For simplicity we omit the last parameters of \( {\text{INT}}(p, \varvec{v}) \), which may be \( null \) constants.
References
Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Proceedings of the MAAMAW Workshop, pp. 42–55 (1996)
de Silva, L., Pandey, A.K. Alami, R.: An interface for interleaved symbolic-geometric planning and backtracking. In: IROS, pp. 232–239 (2013)
Srivastava, S., Fang, E., Riano, L., Chitnis, R., Russell, S., Abbeel, P.: Combined task and motion planning through an extensible planner-independent interface layer, ICRA, pp. 639–646 (2014)
Lagriffoul, F., Dimitrov, D., Saffiotti, A., Karlsson, L.: Constraint propagation on interval bounds for dealing with geometric backtracking, IROS, pp. 957–964 (2012)
Erdem, E., Haspalamutgil, K., Palaz, C., Patoglu, V., Uras, T.: Combining high-level causal reasoning with low-level geometric reasoning and motion planning for robotic manipulation, ICRA, pp. 4575–4581, (2011)
Plaku, E. Hager, G.D.: Sampling-based motion and symbolic action planning with geometric and differential constraints, ICRA, pp. 5002–5008 (2010)
Dornhege, C., Eyerich, P., Keller, T., Trüg, S., Brenner, M. Nebel, B.: Semantic attachments for domain-independent planning systems, ICAPS, pp. 114–121 (2009)
Gaschler, A., Kessler, I., Petrick, R., Knoll, A.: Extending the knowledge of volumes approach to robot task planning with efficient geometric predicates. ICRA, (2015) (To appear)
Kaelbling, L.P., Lozano-Pérez, T.: Integrated task and motion planning in belief space. IJRR 32(9–10), 1194–1227 (2013)
LaValle, S.M.: Planning Algorithms. Cambridge University Press (2006)
Antzoulatos, N., Castro, E., de Silva, L., Ratchev, S.: Interfacing agents with an industrial assembly system for “plug and produce”. In AAMAS, pp. 1957–1958 (2015)
Acknowledgements
We thank Amit Kumar Pandey and the reviewers for useful feedback. Felipe thanks CNPq for support within grant no. 306864/2013-4 under the PQ fellowship and 482156/2013-9 under the Universal project programs. The other authors are grateful for support from the Evolvable Assembly Systems EPSRC project (EP/K018205/1), and the PRIME EU FP7 project (Grant Agreement: 314762).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
de Silva, L. et al. (2016). Interfacing Belief-Desire-Intention Agent Systems with Geometric Reasoning for Robotics and Manufacturing. In: Borangiu, T., Trentesaux, D., Thomas, A., McFarlane, D. (eds) Service Orientation in Holonic and Multi-Agent Manufacturing. Studies in Computational Intelligence, vol 640. Springer, Cham. https://doi.org/10.1007/978-3-319-30337-6_17
Download citation
DOI: https://doi.org/10.1007/978-3-319-30337-6_17
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-30335-2
Online ISBN: 978-3-319-30337-6
eBook Packages: EngineeringEngineering (R0)