Abstract
Modern production systems are increasingly using artificial agents (e.g., robots) of different kinds. Ideally, these agents should be able to recognize the state of the world, to act optimizing their work toward the achievement of a set of goals, to change the plan of action when problems arise, and to collaborate with other artificial and human agents. The development of such an ideal agent presents several challenges. We concentrate on two of them: the construction of a single and coherent knowledge base which includes different types of knowledge with which to understand and reason on the state of the world in a human-like way; and the isolation of types of contexts that the agent can exploit to make sense of the actual situation from a perspective and to interact accordingly with humans. We show how to build such a knowledge base (KB) and how it can be updated as time passes. The KB we propose is based on a foundational ontology, is cognitively inspired, and includes a notion of context to discriminate information. The KB has been partially implemented to test the use and suitability of the knowledge representation for the agent’s control model via a temporal planning and execution system. Some experimental results showing the feasibility of our approach are reported.

















Similar content being viewed by others
Notes
The location is fixed for robots such as robotic arms, it is parametric (in particular, it may depend on the task) for mobile robots.
In general, it suffices that the components have connected working areas. E.g. in a robot with a robotic arm and a container, the locations of the arm and the container are disconnected but the arm must be able to reach objects in the container to implement a Channel function, so the working areas must be connected.
All the experiments have been performed on a workstation endowed with an Intel Core2 Duo 2.26 GHz and 8 GB RAM.
References
Wiendahl H-P, ElMaraghy HA, Nyhuis P, Zah MF, Wiendahl H-H, Duffie N, Brieke M (2007) Changeable manufacturing—classification, design and operation. CIRP Ann Manuf Technol 56(2):783–809
Flatscher M, Riel A (2016) Stakeholder integration for the successful product–process co-design for next-generation manufacturing technologies. CIRP Ann Manuf Technol 65(1):181–184
Monostori L, Kádár B, Bauernhansl T, Kondoh S, Kumara S, Reinhart G, Sauer O, Schuh G, Sihn W, Ueda K (2016) Cyber-physical systems in manufacturing. CIRP Ann Manuf Technol 65(2):621–641
Tolio T (2009) Design of flexible production systems. Springer, Milan
Koren Y, Heisel U, Jovane F, Moriwaki T, Pritschow G, Ulsoy G, Van Brussel H (1999) Reconfigurable manufacturing systems. CIRP Ann Manuf Technol 48(2):527–540
Turaga PK, Chellappa R, Subrahmanian VS, Udrea O (2008) Machine recognition of human activities: a survey. IEEE Trans Circuits Syst Video Technol 18(11):1473–1488
Ramos L (2015) Semantic web for manufacturing, trends and open issues: toward a state of the art. Comput Ind Eng 90:444–460
Suh IH, Lim GH, Hwang W, Suh H, Choi J-H, Park Y-T (2007) Ontology-based multi-layered robot knowledge framework (OMRKF) for robot intelligence. In: Intelligent robots and systems, 2007. IROS 2007. IEEE/RSJ international conference on, pp 429–436
Hartanto R, Hertzberg J (2008) Fusing DL reasoning with HTN planning. In: Dengel AR, Berns K, Breuel TM, Bomarius F, Roth-Berghofer TR (eds) KI 2008: advances in artificial intelligence, vol 5243. Lecture notes in computer science. Springer, Berlin, pp 62–69
Behnke G, Ponomaryov D, Schiller M, Bercher P, Nothdurft F, Glimm B, Biundo S (2015) Coherence across components in cognitive systems—one ontology to rule them all. In: Proceedings of the 25th international joint conference on artificial intelligence (IJCAI 2015). AAAI Press
Tenorth M, Beetz M (2015) Representations for robot knowledge in the KnowRob framework. Artif Intell 247:151–169
Lemaignan S, Ros R, Mosenlechner L, Alami R, Beetz M (2010) ORO, a knowledge management platform for cognitive architectures in robotics. In: Intelligent robots and systems (IROS), 2010 IEEE/RSJ international conference on, pp 3548–3553
Balakirsky S (2015) Ontology based action planning and verification for agile manufacturing. Robot Comput Integr Manuf 33:21–28 (special issue on Knowledge Driven Robotics and Manufacturing)
Solano L, Rosado P, Romero F (2013) Knowledge representation for product and processes development planning in collaborative environments. Int J Comput Integr Manuf 27(8):787–801
Hristoskova A, Carlos Aguero E, Veloso M, De Turck F (2013) Heterogeneous context-aware robots providing a personalized building tour. Int J Adv Robot Syst 10:14
Calisi D, Iocchi L, Nardi D, Scalzo CM, Ziparo VA (2008) Context-based design of robotic systems. Robot Auton Syst 56(11):992–1003 (Semantic Knowledge in Robotics)
Al-Safi Y, Vyatkin V (2007) An ontology-based reconfiguration agent for intelligent mechatronic systems. In: Malik V, Vyatkin V, Colombo AW (eds) Holonic and multi-agent systems for manufacturing, vol 4659. Lecture notes in computer science. Springer, Berlin, pp 114–126
Borgo S, Cesta A, Orlandini A, Rasconi R, Suriano M, Umbrico A (2014) Towards a cooperative knowledge-based control architecture for a reconfigurable manufacturing plant. In: 19th IEEE international conference on emerging technologies and factory automation (ETFA 2014). IEEE, 2014
Carpanzano E, Cesta A, Orlandini A, Rasconi R, Suriano M, Umbrico A, Valente A (2016) Design and implementation of a distributed part routing algorithm for reconfigurable transportation systems. Int J Comput Integr Manuf 29:1317–1334
Lemai S, Ingrand F (2004) Interleaving temporal planning and execution in robotics domains. In: AAAI-04, pp 617–622
Ceballos A, Bensalem S, Cesta A, de Silva L, Fratini S, Ingrand F, Ocon J, Orlandini A, Py F, Rajan K, Rasconi R, van Winnendael M. A goal-oriented autonomous controller for space exploration. In: Proceedings of the ASTRA 2011, 11th symposium on advanced space technologies in robotics and automation
Chandrasegaran SK, Ramani K, Sriram RD, Horváth I, Bernard A, Harik RF, Gao W (2013) The evolution, challenges, and future of knowledge representation in product design systems. Comput Aided Des 45(2):204–228
Masolo C, Borgo S, Gangemi A, Guarino N, Oltramari A, Schneider L (2002) Wonderweb deliverable d17: the wonderweb library of foundational ontologies. Technical report, Laboratory for Applied Ontology, Technical report
Borgo S, Leitao P (2004) The role of foundational ontologies in manufacturing domain applications. In: Meersman R et al (eds) Infrastructures for virtual enterprises—networking industrial enterprises, vol 3290. LNCS. Springer, Berlin, pp 670–688
Prestes E, Carbonera JL, Fiorini SR, Jorge VAM, Abel M, Madhavan R, Locoro A, Goncalves P, Barreto ME, Habib M, Chibani A, Gérard S, Amirat Y, Schlenoff C (2013) Towards a core ontology for robotics and automation. Robot Auton Syst 61(11):1193–1204 (Ubiquitous Robotics)
Borgo S (2014) An ontological approach for reliable data integration in the industrial domain. Comput Ind 65(9):1242–1252
Borgo S, Masolo C (2009) Foundational choices in DOLCE. In: Staab S, Studer R (eds) Handbook on ontologies, 2nd edn. Springer, Berlin, pp 361–381
Ontologies for Robotics and Automation (ORA) Working Group (2015) IEEE standard ontologies for robotics and automation. Technical report, IEEE Std 1872-2015
Borgo S, Franssen M, Garbacz P, Kitamura Y, Mizoguchi R, Vermaas PE (2014) Technical artifacts: an integrated perspective. Appl Ontol J 9(3–4):217–235
Borgo S, Vieu L (2009) Artifacts in formal ontology. In: Meijers A (ed) Handbook of the philosophy of the technological sciences, vol 9. Technology and engineering sciences. Elsevier, New York, pp 273–307
Mizoguchi R, Kitamura Y, Borgo S (2016) A unifying definition for artifact and biological functions. Appl Ontol 11(2):129–154. https://doi.org/10.3233/AO-160165
Mizoguchi R, Borgo S (2017) A preliminary study of functional parts as roles. In: Proceedings of the 2nd workshop on foundational ontology (FOUSTII), co-located with the 3rd joint ontology workshop (JOWO2017), Bozen-Bolzano, Italy
Kitamura Y, Segawa S, Sasajima M, Mizoguchi R (2011) An ontology of classification criteria for functional taxonomies. In: IDETC/CIE. ASME
Pahl G, Beitz W, Feldhusen J, Grote KH (2007) Engineering design. A systematic approach, 3rd edn. Springer, London
Hirtz J, Stone RB, McAdams DA, Szykman S, Wood KL (2001) A functional basis for engineering design: reconciling and evolving previous efforts. Res Eng Des 13(2):65–82
Chandrasekaran B, Josephson JR (2000) Function in device representation. Eng Comput 16(3/4):162–177
Borgo S (2007) How formal ontology can help civil engineers. In: Teller J, Lee J, Roussey C (eds) Ontologies for urban development. Springer, Berlin, pp 37–45
Guarino N, Welty C (2009) An overview on ontoclean. In: Staab S, Studer R (eds) Handbook on ontologies. Springer, Berlin
Borgo S, Cesta A, Orlandini A, Umbrico A (2015) An ontology-based domain representation for plan-based controllers in a reconfigurable manufacturing system. In: Proceedings of the twenty-eighth international Florida artificial intelligence research society conference, AAAI Press, pp 354–359
Cesta A, Fratini S (2008) The timeline representation framework as a planning and scheduling software development environment. In: Proceedings of the 27th workshop of the UK planning and scheduling special interest group, Edinburgh, UK, PlanSIG-08
Umbrico A, Cesta A, Cialdea Mayer M, Orlandini A (2017) PLATINUm: a new framework for planning and acting. In: Esposito F, Basili R, Ferilli S, Lisi F (eds) AI*IA 2017 advances in artificial intelligence. AI*IA 2017, vol 10640, Lecture notes in computer science. Springer, Cham
Muscettola N (1994) HSTS: integrating planning and scheduling. In: Zweben M, Fox MS (eds) Intelligent scheduling. Morgan Kauffmann, Burlington
Barreiro J, Boyce M, Do M, Frank J, Iatauro M, Kichkaylo T, Morris P, Ong J, Remolina E, Smith T, Smith D (2012) EUROPA: a platform for AI planning, scheduling, constraint programming and optimization. In: ICKEPS 2012: the 4th international competition on knowledge engineering for planning and scheduling
Chien S, Tran D, Rabideau G, Schaffer S, Mandl D, Frye S (2010) Timeline-based space operations scheduling with external constraints. In: Proceedings of the 20th international conference on automated planning and scheduling
Cesta A, Cortellessa G, Fratini S, Oddi A (2009) Developing an end-to-end planning application from a timeline-representation framework. In: Proceedings of the 21st innovative application of artificial intelligence conference. IAAI-09
Py F, Rajan K, McGann C (2010) A systematic agent framework for situated autonomous systems. In: AAMAS-10. Proceedings of the 9th international conference on autonomous agents and multiagent systems
Cialdea Mayer M, Orlandini A, Umbrico A (2016) Planning and execution with flexible timelines: a formal account. Acta Inform 53(6–8):649–680
Borgo S, Cesta A, Orlandini A, Umbrico A (2016) A planning-based architecture for a reconfigurable manufacturing system. In Proceedings of the 26th international conference on automated planning and scheduling. ICAPS 2016
Acknowledgements
CNR authors are supported by MIUR/CNR within the GECKO Project - Progetto Bandiera “La Fabbrica del Futuro”.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Borgo, S., Cesta, A., Orlandini, A. et al. Knowledge-based adaptive agents for manufacturing domains. Engineering with Computers 35, 755–779 (2019). https://doi.org/10.1007/s00366-018-0630-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00366-018-0630-6