Declarative-knowledge-based reconfiguration of automation systems

• Autorzy: Haage M. , Malec J. , Nilsson A. , Nilsson K. , Nilsson K. , Nowaczyk S.
• Języki publikacji: EN

Abstrakty

EN

This article describes results of the work on knowledge representation techniques chosen for use in the European project SIARAS, Skill-Based lnspection and Assembly for Reconfigurable Automation Systems. Its goal was to create intelligent support system for reconfiguration and adaptation of robot-based manufacturing cells. Declarative knowledge is represented first of all in an ontology expressed in OWL, for a generic reasoning in Description Logic, and in a number of special-purpose reasoning modules, specific for the application domain.

Słowa kluczowe

EN

robotics; production process; automated system; reconfiguration; declarative knowledge; SIARAS; Skill-Based lnspection and Assembly for Reconfigurable Automation Systems

PL

robotyka; proces produkcyjny; system zautomatyzowany; rekonfiguracja; wiedza deklaratywna; SIARAS

• Wydawca: Oficyna Wydawnicza Politechniki Warszawskiej
• Czasopismo: Prace Naukowe Politechniki Warszawskiej. Elektronika
• Rocznik: 2010
• Tom: z. 175, t. 1
• Strony: 331--342
• Opis fizyczny: Bibliogr. 24 poz., rys.

Twórcy

autor

Haage M.

autor

Malec J.

autor

Nilsson A.

autor

Nilsson K.

autor

Nilsson K.

autor

Nowaczyk S.

• Department of Computer Science, ETH, Lund University, Box 118, S-221 00 Lund, Sweden,

Bibliografia

• [1] Ola Angelsmark et al. D2.4: Framework for task representation. Technical report, Lund University, 2006. SIARAS deliverable.
• [2] Ola Angelsmark et al. Knowledge representation for reconfigurable automation systems. In: Postępy Robotyki: Systemy i współdziałanie robotów Red. K. Tchoń. pp. 129-138. Warszawa, Wydawnictwo Komunikacji i Łączności 2006.
• [3] Ola Angelsmark, Jacek Malec, Sławomir Nowaczyk. Dl.4: Methodology for skill encoding. Technical report, Lund University, 2006. SIARAS deliverable.
• [4] Matthias Bengel. Model-based configuration - a workpiece-centred approach. In: Proceedings of the 2009 ASME/IFToMM International Conference on Reconfigurable Mechanisms and Robots. Proceedings Red. Jian S. Dai, London, UK, June, 2009, pp. 689-695.
• [5] Ronald J. Brachman, Hector J. Levesque. Knowledge Representation and Reasoning. Morgan Kaufmann Publishers 2004.
• [6] Martin Buchheit, Francesco M. Donini, Andrea Schaerf. Decidable reasoning in terminological knowledge representation systems. Journal of Artificial Intelligence Research, 1993, Vol. 1, pp. 109-138.
• [7] Dieter Fensel et al. OIL: An ontology infrastructure for the semantic web. IEEE Intelligent Systems, 2001, Vol. 16, No. 2, pp. 38-45.
• [8] Malik Ghallab, Dana Nau, Paolo Traverso. Automated Planning, Theory and Practice. Morgan-Kaufman 2004.
• [9] Volker Haarslev, Ralf Möller. Racer: A core inference engine for the semantic web. Available at http://www.f ranz.com/products/racer/, 2002.
• [10] Ian Horrocks. FaCT and iFaCT. In: Proc. Int. Workshop on Description Logics DL'99. Proceedings Red. P. Lambrix, et al, 1999, pp. 133-135.
• [11] Petter Lidén. Distributed knowledge sources in SIARAS. Master’s thesis, Department of Computer Science, Lund University, 2009. Available from http://ai.cs.lth.se/education.shtml.
• [12] Jacek Malec et al. Knowledge-based reconfiguration of automation systems. In: Proc. of the IEEE Conference on Automation Science and Engineering, LNCS, pp. 170-175. Springer 2007.
• [13] Marc Musen, et al. The Protege ontology editor and knowledge acquisition system, http://protege.stanford.edu,2006.
• [14] Martin Naumann, Matthias Bengel, Alexander Verl. Automatic generation of robot applications using a knowledge integration framework. In: Proc. International Symposium on Robotics ISR 2010. Proceedings. Munich, Germany, June, 2010.
• [15] H. Penny Nii. Blackboard systems: An overview. AI Magazine, 1986, Vol. 6.
• [16] Anders Nilsson, Jacek Malec. D 1.6: Implementation of software framework for skill representation. Technical report, Lund University, 2007. SIARAS deliverable.
• [17] Jacob Persson et al. A knowledge integration framework for robotics. In: Proc. International Symposium on Robotics ISR 2010. Proceedings, Munich, Germany, June, 2010.
• [18] PLCopen. IEC 61131-3: Programmable controllers - part 3: Programming languages. Technical report, International Electrotechnical Commission, 2003.
• [19] Matthieu Quéva, Christian Probst, Per Vikkelsøe. Industrial requirements for interactive product configurators. In: Proceedings of the IJCAI-09 Workshop on Configuration (ConfWS-09). Proceedings Red. Markus Stumptner, Patrick Albert, Pasadena, CA, USA, July, 2009, pp. 39-46.
• [20] C. Schlenoff et al. The Process Specification Language (PSL): Overview and v1.0 specification. Technical Report NISTIR 6459, NIST, Gaithersburg, MD, 2000.
• [21] The Description Logic Handbook. Red. Franz Baader et al. Cambridge University Press 2003.
• [22] U. Thomas, F. M. Wahl. A system for automatic planning, evaluation and execution of assembly sequences for industrial robots. In: Proceedings IROS 2001. Proceedings, Maui, Hawaii, USA, IEEE, November, 2001, pp. 1458-1464.
• [23] W3C. Semanticweb. http://www.w3.org/2001/sw/, 2001.
• [24] W3C. Web ontology language (OWL). http://www.w3.org/2004/OWL/, 2004.