Skip to main content
Log in

Knowledge-based adaptive agents for manufacturing domains

  • Original Article
  • Published:
Engineering with Computers Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14
Fig. 15
Fig. 16
Fig. 17

Similar content being viewed by others

Notes

  1. The existence of quality a is enforced by formula (1) and the theory in [11]. The characterization of the space of behaviors is still under investigation.

  2. The location is fixed for robots such as robotic arms, it is parametric (in particular, it may depend on the task) for mobile robots.

  3. 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.

  4. http://protege.stanford.edu.

  5. http://jena.apache.org.

  6. All the experiments have been performed on a workstation endowed with an Intel Core2 Duo 2.26 GHz and 8 GB RAM.

References

  1. 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

    Article  Google Scholar 

  2. 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

    Article  Google Scholar 

  3. 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

    Article  Google Scholar 

  4. Tolio T (2009) Design of flexible production systems. Springer, Milan

    Book  Google Scholar 

  5. 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

    Article  Google Scholar 

  6. 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

    Article  Google Scholar 

  7. Ramos L (2015) Semantic web for manufacturing, trends and open issues: toward a state of the art. Comput Ind Eng 90:444–460

    Article  Google Scholar 

  8. 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

  9. 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

    Chapter  Google Scholar 

  10. 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

  11. Tenorth M, Beetz M (2015) Representations for robot knowledge in the KnowRob framework. Artif Intell 247:151–169

    Article  MathSciNet  MATH  Google Scholar 

  12. 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

  13. 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)

    Article  Google Scholar 

  14. 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

    Article  Google Scholar 

  15. 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

    Article  Google Scholar 

  16. 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)

    Article  Google Scholar 

  17. 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

    Chapter  Google Scholar 

  18. 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

  19. 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

    Article  Google Scholar 

  20. Lemai S, Ingrand F (2004) Interleaving temporal planning and execution in robotics domains. In: AAAI-04, pp 617–622

  21. 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

  22. 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

    Article  Google Scholar 

  23. 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

  24. 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

    Google Scholar 

  25. 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)

    Article  Google Scholar 

  26. Borgo S (2014) An ontological approach for reliable data integration in the industrial domain. Comput Ind 65(9):1242–1252

    Article  Google Scholar 

  27. 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

    Chapter  Google Scholar 

  28. Ontologies for Robotics and Automation (ORA) Working Group (2015) IEEE standard ontologies for robotics and automation. Technical report, IEEE Std 1872-2015

  29. 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

    Google Scholar 

  30. 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

    Google Scholar 

  31. 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

    Article  Google Scholar 

  32. 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

  33. Kitamura Y, Segawa S, Sasajima M, Mizoguchi R (2011) An ontology of classification criteria for functional taxonomies. In: IDETC/CIE. ASME

  34. Pahl G, Beitz W, Feldhusen J, Grote KH (2007) Engineering design. A systematic approach, 3rd edn. Springer, London

    Google Scholar 

  35. 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

    Article  Google Scholar 

  36. Chandrasekaran B, Josephson JR (2000) Function in device representation. Eng Comput 16(3/4):162–177

    Article  MATH  Google Scholar 

  37. 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

    Chapter  Google Scholar 

  38. Guarino N, Welty C (2009) An overview on ontoclean. In: Staab S, Studer R (eds) Handbook on ontologies. Springer, Berlin

    Google Scholar 

  39. 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

  40. 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

  41. 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

    Google Scholar 

  42. Muscettola N (1994) HSTS: integrating planning and scheduling. In: Zweben M, Fox MS (eds) Intelligent scheduling. Morgan Kauffmann, Burlington

    Google Scholar 

  43. 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

  44. 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

  45. 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

  46. 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

  47. Cialdea Mayer M, Orlandini A, Umbrico A (2016) Planning and execution with flexible timelines: a formal account. Acta Inform 53(6–8):649–680

    Article  MathSciNet  MATH  Google Scholar 

  48. 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

Download references

Acknowledgements

CNR authors are supported by MIUR/CNR within the GECKO Project - Progetto Bandiera “La Fabbrica del Futuro”.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Stefano Borgo.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00366-018-0630-6

Keywords

Navigation