Skip to main content
Top
Published in: Engineering with Computers 3/2019

07-08-2018 | Original Article

Knowledge-based adaptive agents for manufacturing domains

Authors: Stefano Borgo, Amedeo Cesta, Andrea Orlandini, Alessandro Umbrico

Published in: Engineering with Computers | Issue 3/2019

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Footnotes
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.
 
6
All the experiments have been performed on a workstation endowed with an Intel Core2 Duo 2.26 GHz and 8 GB RAM.
 
Literature
1.
go back to reference 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–809CrossRef 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–809CrossRef
2.
go back to reference 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–184CrossRef 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–184CrossRef
3.
go back to reference 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–641CrossRef 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–641CrossRef
4.
5.
go back to reference 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–540CrossRef 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–540CrossRef
6.
go back to reference 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–1488CrossRef 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–1488CrossRef
7.
go back to reference Ramos L (2015) Semantic web for manufacturing, trends and open issues: toward a state of the art. Comput Ind Eng 90:444–460CrossRef Ramos L (2015) Semantic web for manufacturing, trends and open issues: toward a state of the art. Comput Ind Eng 90:444–460CrossRef
8.
go back to reference 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 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.
go back to reference 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–69CrossRef 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–69CrossRef
10.
go back to reference 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 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
12.
go back to reference 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 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.
go back to reference 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) CrossRef 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) CrossRef
14.
go back to reference 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–801CrossRef 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–801CrossRef
15.
go back to reference 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:14CrossRef 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:14CrossRef
16.
go back to reference 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) CrossRef 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) CrossRef
17.
go back to reference 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–126CrossRef 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–126CrossRef
18.
go back to reference 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 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.
go back to reference 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–1334CrossRef 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–1334CrossRef
20.
go back to reference Lemai S, Ingrand F (2004) Interleaving temporal planning and execution in robotics domains. In: AAAI-04, pp 617–622 Lemai S, Ingrand F (2004) Interleaving temporal planning and execution in robotics domains. In: AAAI-04, pp 617–622
21.
go back to reference 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 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.
go back to reference 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–228CrossRef 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–228CrossRef
23.
go back to reference 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 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.
go back to reference 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 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
25.
go back to reference 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) CrossRef 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) CrossRef
26.
go back to reference Borgo S (2014) An ontological approach for reliable data integration in the industrial domain. Comput Ind 65(9):1242–1252CrossRef Borgo S (2014) An ontological approach for reliable data integration in the industrial domain. Comput Ind 65(9):1242–1252CrossRef
27.
go back to reference Borgo S, Masolo C (2009) Foundational choices in DOLCE. In: Staab S, Studer R (eds) Handbook on ontologies, 2nd edn. Springer, Berlin, pp 361–381CrossRef Borgo S, Masolo C (2009) Foundational choices in DOLCE. In: Staab S, Studer R (eds) Handbook on ontologies, 2nd edn. Springer, Berlin, pp 361–381CrossRef
28.
go back to reference Ontologies for Robotics and Automation (ORA) Working Group (2015) IEEE standard ontologies for robotics and automation. Technical report, IEEE Std 1872-2015 Ontologies for Robotics and Automation (ORA) Working Group (2015) IEEE standard ontologies for robotics and automation. Technical report, IEEE Std 1872-2015
29.
go back to reference 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, Franssen M, Garbacz P, Kitamura Y, Mizoguchi R, Vermaas PE (2014) Technical artifacts: an integrated perspective. Appl Ontol J 9(3–4):217–235
30.
go back to reference 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 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
32.
go back to reference 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 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.
go back to reference Kitamura Y, Segawa S, Sasajima M, Mizoguchi R (2011) An ontology of classification criteria for functional taxonomies. In: IDETC/CIE. ASME Kitamura Y, Segawa S, Sasajima M, Mizoguchi R (2011) An ontology of classification criteria for functional taxonomies. In: IDETC/CIE. ASME
34.
go back to reference Pahl G, Beitz W, Feldhusen J, Grote KH (2007) Engineering design. A systematic approach, 3rd edn. Springer, London Pahl G, Beitz W, Feldhusen J, Grote KH (2007) Engineering design. A systematic approach, 3rd edn. Springer, London
35.
go back to reference 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–82CrossRef 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–82CrossRef
36.
go back to reference Chandrasekaran B, Josephson JR (2000) Function in device representation. Eng Comput 16(3/4):162–177CrossRefMATH Chandrasekaran B, Josephson JR (2000) Function in device representation. Eng Comput 16(3/4):162–177CrossRefMATH
37.
go back to reference 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–45CrossRef 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–45CrossRef
38.
go back to reference Guarino N, Welty C (2009) An overview on ontoclean. In: Staab S, Studer R (eds) Handbook on ontologies. Springer, Berlin Guarino N, Welty C (2009) An overview on ontoclean. In: Staab S, Studer R (eds) Handbook on ontologies. Springer, Berlin
39.
go back to reference 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 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.
go back to reference 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 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.
go back to reference 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 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
42.
go back to reference Muscettola N (1994) HSTS: integrating planning and scheduling. In: Zweben M, Fox MS (eds) Intelligent scheduling. Morgan Kauffmann, Burlington Muscettola N (1994) HSTS: integrating planning and scheduling. In: Zweben M, Fox MS (eds) Intelligent scheduling. Morgan Kauffmann, Burlington
43.
go back to reference 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 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.
go back to reference 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 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.
go back to reference 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 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.
go back to reference 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 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.
go back to reference Cialdea Mayer M, Orlandini A, Umbrico A (2016) Planning and execution with flexible timelines: a formal account. Acta Inform 53(6–8):649–680MathSciNetCrossRefMATH Cialdea Mayer M, Orlandini A, Umbrico A (2016) Planning and execution with flexible timelines: a formal account. Acta Inform 53(6–8):649–680MathSciNetCrossRefMATH
48.
go back to reference 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 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
Metadata
Title
Knowledge-based adaptive agents for manufacturing domains
Authors
Stefano Borgo
Amedeo Cesta
Andrea Orlandini
Alessandro Umbrico
Publication date
07-08-2018
Publisher
Springer London
Published in
Engineering with Computers / Issue 3/2019
Print ISSN: 0177-0667
Electronic ISSN: 1435-5663
DOI
https://doi.org/10.1007/s00366-018-0630-6

Other articles of this Issue 3/2019

Engineering with Computers 3/2019 Go to the issue