乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,20]],"date-time":"2024-08-20T07:11:30Z","timestamp":1724137890381},"reference-count":27,"publisher":"Walter de Gruyter GmbH","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,2,23]]},"abstract":"Abstract<\/jats:title>\n Automated planning approaches provide robust and efficient methods to automatically find plans for a given problem and a set of possible actions. However, due to the rather high effort required to create planning models, these approaches cannot be used for adaptable manufacturing plants. In this contribution, we present a method to automatically generate a planning problem in the form of PDDL from an existing capability model. This method eliminates the additional effort required to model a planning problem, making planning approaches usable for adaptable manufacturing plants.<\/jats:p>","DOI":"10.1515\/auto-2022-0112","type":"journal-article","created":{"date-parts":[[2023,2,7]],"date-time":"2023-02-07T09:41:57Z","timestamp":1675762917000},"page":"105-115","source":"Crossref","is-referenced-by-count":1,"title":["Transformation eines F\u00e4higkeitsmodells in einen PDDL-Planungsansatz"],"prefix":"10.1515","volume":"71","author":[{"given":"Luis Miguel","family":"Vieira da Silva","sequence":"first","affiliation":[{"name":"Professur f\u00fcr Automatisierungstechnik , Helmut-Schmidt-Universit\u00e4t Hamburg , Hamburg , Deutschland"}]},{"given":"Ren\u00e9","family":"Heesch","sequence":"additional","affiliation":[{"name":"Professur f\u00fcr Informatik im Maschinenbau , Helmut-Schmidt-Universit\u00e4t Hamburg , Hamburg , Deutschland"}]},{"given":"Aljosha","family":"K\u00f6cher","sequence":"additional","affiliation":[{"name":"Professur f\u00fcr Automatisierungstechnik , Helmut-Schmidt-Universit\u00e4t Hamburg , Hamburg , Deutschland"}]},{"given":"Alexander","family":"Fay","sequence":"additional","affiliation":[{"name":"Professur f\u00fcr Automatisierungstechnik , Helmut-Schmidt-Universit\u00e4t Hamburg , Hamburg , Deutschland"}]}],"member":"374","published-online":{"date-parts":[[2023,2,8]]},"reference":[{"key":"2023033111242709061_j_auto-2022-0112_ref_001","doi-asserted-by":"crossref","unstructured":"H. Kagermann, J. Helbig, A. Hellinger, and W. Wahlster, Recommendations for Implementing the Strategic Initiative INDUSTRIE 4.0: Securing the Future of German Manufacturing Industry; Final Report of the Industrie 4.0 Working Group, Forschungsunion, 2013.","DOI":"10.3390\/sci4030026"},{"key":"2023033111242709061_j_auto-2022-0112_ref_002","doi-asserted-by":"crossref","unstructured":"A. K\u00f6cher,C. Hildebrandt,L. M. Vieira da Silva, and A Fay, \u201cA formal capability and skill model for use in plug and produce scenarios,\u201d in 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), vol.\u00a01, 2020, pp.\u00a01663\u20131670.","DOI":"10.1109\/ETFA46521.2020.9211874"},{"key":"2023033111242709061_j_auto-2022-0112_ref_003","doi-asserted-by":"crossref","unstructured":"K. Evers, J. R. Seyler, V. Aravantinos, L. Lucio, and A. Mehdi, \u201cRoadmap to skill based systems engineering,\u201d in 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), IEEE, 2019, pp.\u00a01093\u20131100.","DOI":"10.1109\/ETFA.2019.8869534"},{"key":"2023033111242709061_j_auto-2022-0112_ref_004","unstructured":"S. J. Russell and P. Norvig, Artificial Intelligence: A Modern Approach, 4th ed. Hoboken, Pearson, 2021."},{"key":"2023033111242709061_j_auto-2022-0112_ref_005","doi-asserted-by":"crossref","unstructured":"A. Rogalla, A. Fay, and O. Niggemann, \u201cImproved domain modeling for realistic automated planning and scheduling in discrete manufacturing,\u201d in 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), vol.\u00a01, 2018, pp.\u00a0464\u2013471.","DOI":"10.1109\/ETFA.2018.8502631"},{"key":"2023033111242709061_j_auto-2022-0112_ref_006","unstructured":"Constructions Aeronautiques, A. Howe, C. Knoblock, et al.., \u201cPDDL\u2014 The planning domain definition language,\u201d Tech. Rep., 1998."},{"key":"2023033111242709061_j_auto-2022-0112_ref_007","doi-asserted-by":"crossref","unstructured":"A. Anis, W. Sch\u00e4fer, and O. Niggemann, \u201cA comparison of modeling approaches for planning in Cyber Physical Production Systems,\u201d in Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA), IEEE, 2014, pp.\u00a01\u20138.","DOI":"10.1109\/ETFA.2014.7005189"},{"key":"2023033111242709061_j_auto-2022-0112_ref_008","unstructured":"K. Henry and B. Selman, \u201cPlanning as satisfiability,\u201d in Proceedings of the 10th European Conference on Artificial Intelligence (ECAI 92), 1992."},{"key":"2023033111242709061_j_auto-2022-0112_ref_009","doi-asserted-by":"crossref","unstructured":"C. Barrett and C. Tinelli, \u201cSatisfiability Modulo theories,\u201d in Handbook of Model Checking, E. M. Clarke, T. A. Henzinger, H. Veith, and R. Bloem, Eds., Cham, Springer International Publishing, 2018, pp.\u00a0305\u2013343.","DOI":"10.1007\/978-3-319-10575-8_11"},{"key":"2023033111242709061_j_auto-2022-0112_ref_010","doi-asserted-by":"crossref","unstructured":"C. Barrett, L. de Moura, S. Ranise, A. Stump, and C. Tinelli, \u201cThe SMT-LIB initiative and the rise of SMT,\u201d in Hardware and Software: Verification and Testing, Lecture Notes in Computer Science, S. Barner, I. Harris, D. Kroening, and O. Raz, Eds., Berlin, Heidelberg, Springer, 2011, p.\u00a03.","DOI":"10.1007\/978-3-642-19583-9_2"},{"key":"2023033111242709061_j_auto-2022-0112_ref_011","doi-asserted-by":"crossref","unstructured":"W. Shen, F. Trevizan, and S. Thi\u00e9baux, \u201cLearning domain-independent planning heuristics with hypergraph networks,\u201d in Proceedings of the International Conference on Automated Planning and Scheduling, vol.\u00a030, 2020, pp.\u00a0574\u2013584.","DOI":"10.1609\/icaps.v30i1.6754"},{"key":"2023033111242709061_j_auto-2022-0112_ref_012","unstructured":"Y. Li,D. Tarlow,M. Brockschmidt, and R. Zemel, \u201cGated graph sequence neural networks,\u201d 2016. Available at: http:\/\/arxiv.org\/pdf\/1511.05493v4 [accessed Nov 17, 2015]."},{"key":"2023033111242709061_j_auto-2022-0112_ref_013","doi-asserted-by":"crossref","unstructured":"G. Franc\u00e8s, A. B. Corr\u00eaa, C. Geissmann, and F. Pommerening, \u201cGeneralized potential heuristics for classical planning,\u201d in Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI-19), S. Kraus, Ed., California, International Joint Conferences on Artificial Intelligence, 2019, pp.\u00a05554\u20135561.","DOI":"10.24963\/ijcai.2019\/771"},{"key":"2023033111242709061_j_auto-2022-0112_ref_014","doi-asserted-by":"crossref","unstructured":"J. Segovia-Aguas, S. Jim\u00e9nez, and A. Jonsson, \u201cUnsupervised classification of planning instances,\u201d in Proceedings of the International Conference on Automated Planning and Scheduling, vol.\u00a027, 2017, pp.\u00a0452\u2013460.","DOI":"10.1609\/icaps.v27i1.13851"},{"key":"2023033111242709061_j_auto-2022-0112_ref_015","doi-asserted-by":"crossref","unstructured":"A. Kuhnle, J.-P. Kaiser, F. Thei\u00df, N. Stricker, and G. Lanza, \u201cDesigning an adaptive production control system using reinforcement learning,\u201d J. Intell. Manuf., vol.\u00a032, no.\u00a03, pp.\u00a0855\u2013876, 2021. https:\/\/doi.org\/10.1007\/s10845-020-01612-y.","DOI":"10.1007\/s10845-020-01612-y"},{"key":"2023033111242709061_j_auto-2022-0112_ref_016","doi-asserted-by":"crossref","unstructured":"A. K\u00f6cher,R. Heesch,N. Widulle, et al.., \u201cA research agenda for AI planning in the field of flexible production systems,\u201d in 2022 IEEE 5th International Conference on Industrial Cyber-Physical Systems (ICPS), IEEE, 2022, pp.\u00a01\u20138.","DOI":"10.1109\/ICPS51978.2022.9816866"},{"key":"2023033111242709061_j_auto-2022-0112_ref_017","doi-asserted-by":"crossref","unstructured":"E. J\u00e4rvenp\u00e4\u00e4,N. Siltala,O. Hylli, and M. Lanz, \u201cCapability matchmaking procedure to support rapid configuration and Re-configuration of production systems,\u201d Procedia Manuf., vol.\u00a011, pp.\u00a01053\u20131060, 2017. https:\/\/doi.org\/10.1016\/j.promfg.2017.07.216.","DOI":"10.1016\/j.promfg.2017.07.216"},{"key":"2023033111242709061_j_auto-2022-0112_ref_018","doi-asserted-by":"crossref","unstructured":"M. M. Mabkhot, A. M. Al-Samhan, and L. Hidri, \u201cAn ontology-enabled case-based reasoning decision support system for manufacturing process selection,\u201d Adv. Mater. Sci. Eng., vol.\u00a02019, pp.\u00a01\u201318, 2019. https:\/\/doi.org\/10.1155\/2019\/2505183.","DOI":"10.1155\/2019\/2505183"},{"key":"2023033111242709061_j_auto-2022-0112_ref_019","doi-asserted-by":"crossref","unstructured":"N. Keddis, G. Kainz, and A. Zoitl, \u201cCapability-based planning and scheduling for adaptable manufacturing systems,\u201d in IEEE [International Conference on] Emerging Technologies and Factory Automation (ETFA), 2014, Piscataway, NJ, IEEE, 2014, pp.\u00a01\u20138.","DOI":"10.1109\/ETFA.2014.7005213"},{"key":"2023033111242709061_j_auto-2022-0112_ref_020","doi-asserted-by":"crossref","unstructured":"I. Gocev, S. Grimm, and T. A. Runkler, \u201cExplanation of action plans through ontologies,\u201d in On the move to meaningful internet systems, Lecture Notes in Computer Science Programming and Software Engineering, vol.\u00a011230, H. Panetto, C. Debruyne, E. Proper, C. A. Ardagna, D. Roman, and R. Meersman, Eds. Cham, Springer, 2018, pp.\u00a0386\u2013403.","DOI":"10.1007\/978-3-030-02671-4_24"},{"key":"2023033111242709061_j_auto-2022-0112_ref_021","doi-asserted-by":"crossref","unstructured":"Z. Kootbally, C. Schlenoff, C. Lawler, T. Kramer, and S. K. Gupta, \u201cTowards robust assembly with knowledge representation for the planning domain definition language (PDDL),\u201d Robot. Comput.-Integr. Manuf., vol.\u00a033, pp.\u00a042\u201355, 2015. https:\/\/doi.org\/10.1016\/j.rcim.2014.08.006.","DOI":"10.1016\/j.rcim.2014.08.006"},{"key":"2023033111242709061_j_auto-2022-0112_ref_022","doi-asserted-by":"crossref","unstructured":"J. Pfrommer,D. Stogl,K. Aleksandrov,S. Escaida Navarro, B. Hein, and J. Beyerer, \u201cPlug & produce by modelling skills and service-oriented orchestration of reconfigurable manufacturing systems,\u201d At \u2013 Automatisierungstechnik, vol.\u00a063, no.\u00a010, pp.\u00a0790\u2013800, 2015.","DOI":"10.1515\/auto-2014-1157"},{"key":"2023033111242709061_j_auto-2022-0112_ref_023","doi-asserted-by":"crossref","unstructured":"A. K\u00f6cher, T. Jeleniewski, and A. Fay, \u201cA method to automatically generate semantic Skill models from PLC Code,\u201d in IECON 2021 \u2013 47th Annual Conference of the IEEE Industrial Electronics Society, IEEE, 2021, pp.\u00a01\u20136.","DOI":"10.1109\/IECON48115.2021.9589674"},{"key":"2023033111242709061_j_auto-2022-0112_ref_024","doi-asserted-by":"crossref","unstructured":"A. K\u00f6cher, C. Hildebrandt, B. Caesar, et al.., \u201cAutomating the development of machine skills and their semantic description,\u201d in 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), IEEE, 2020, pp.\u00a01013\u20131018.","DOI":"10.1109\/ETFA46521.2020.9211933"},{"key":"2023033111242709061_j_auto-2022-0112_ref_025","doi-asserted-by":"crossref","unstructured":"C. Hildebrandt,A. K\u00f6cher,C. K\u00fcstner,et al.., \u201cOntology building for cyber-physical systems: application in the manufacturing domain,\u201d in IEEE Transactions on Automation Science and Engineering, 2020, pp.\u00a01\u201317.","DOI":"10.1109\/TASE.2020.2991777"},{"key":"2023033111242709061_j_auto-2022-0112_ref_026","doi-asserted-by":"crossref","unstructured":"P. Haslum, N. Lipovetzky, D. Magazzeni, and C. Muise, \u201cAn introduction to the planning domain definition language,\u201d in Synthesis Lectures on Artificial Intelligence and Machine Learning, vol.\u00a013, no. 2, pp.\u00a01\u2013187, 2019.","DOI":"10.2200\/S00900ED2V01Y201902AIM042"},{"key":"2023033111242709061_j_auto-2022-0112_ref_027","doi-asserted-by":"crossref","unstructured":"M. Fox and D. Long, \u201cPDDL2.1: an extension to PDDL for expressing temporal planning domains,\u201d J. Artif. Intell. Res., vol.\u00a020, pp.\u00a061\u2013124, 2003. https:\/\/doi.org\/10.1613\/jair.1129.","DOI":"10.1613\/jair.1129"}],"container-title":["at - Automatisierungstechnik"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2022-0112\/xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2022-0112\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,31]],"date-time":"2023-03-31T14:49:52Z","timestamp":1680274192000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/auto-2022-0112\/html"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,2,1]]},"references-count":27,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2023,2,8]]},"published-print":{"date-parts":[[2023,2,23]]}},"alternative-id":["10.1515\/auto-2022-0112"],"URL":"https:\/\/doi.org\/10.1515\/auto-2022-0112","relation":{},"ISSN":["2196-677X","0178-2312"],"issn-type":[{"value":"2196-677X","type":"electronic"},{"value":"0178-2312","type":"print"}],"subject":[],"published":{"date-parts":[[2023,2,1]]}}}