{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T12:20:17Z","timestamp":1778070017954,"version":"3.51.4"},"reference-count":18,"publisher":"Wiley","issue":"5","license":[{"start":{"date-parts":[[2021,1,6]],"date-time":"2021-01-06T00:00:00Z","timestamp":1609891200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100004955","name":"\u00d6sterreichische Forschungsf\u00f6rderungsgesellschaft","doi-asserted-by":"publisher","award":["871637"],"award-info":[{"award-number":["871637"]}],"id":[{"id":"10.13039\/501100004955","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100010661","name":"Horizon 2020 Framework Programme","doi-asserted-by":"publisher","award":["ECSEL \u2010 826060"],"award-info":[{"award-number":["ECSEL \u2010 826060"]}],"id":[{"id":"10.13039\/100010661","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["advanced.onlinelibrary.wiley.com"],"crossmark-restriction":true},"short-container-title":["Advanced Intelligent Systems"],"published-print":{"date-parts":[[2021,5]]},"abstract":"<jats:sec><jats:label\/><jats:p>Allowing intelligent agents to deal with unforeseen situations that have not been considered during development in a smart way is a first step for increasing their autonomy. This requires diagnostic capabilities to detect the unforeseen situation and to identify a root cause that can be used afterward for carrying out repair and other compensating actions. Herein, foundations for diagnostic reasoning based on models of the system are provided. In particular, a diagnostic solution is presented that utilizes answer set solvers, which allow implementing non\u2010monotonic reasoning. The underlying ideas are introduced, an algorithm is discussed, and experimental results are obtained to clarify the question whether the approach can be used in practical applications. The obtained results indicate that answer set solving provides similar and sometimes even better results than specialized diagnosis algorithms, and can be used in practice.<\/jats:p><\/jats:sec>","DOI":"10.1002\/aisy.202000218","type":"journal-article","created":{"date-parts":[[2021,1,10]],"date-time":"2021-01-10T05:38:42Z","timestamp":1610257122000},"update-policy":"https:\/\/doi.org\/10.1002\/crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Intelligent Agents Diagnostics\u2014Enhancing Cyber\u2010Physical Systems with Self\u2010Diagnostic Capabilities"],"prefix":"10.1002","volume":"3","author":[{"given":"David","family":"Kaufmann","sequence":"first","affiliation":[{"name":"Institute for Software Technology TU Graz  Inffeldgasse 16b\/2 A\u20108010 Graz Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Iulia","family":"Nica","sequence":"additional","affiliation":[{"name":"Institute for Software Technology TU Graz  Inffeldgasse 16b\/2 A\u20108010 Graz Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0462-2283","authenticated-orcid":false,"given":"Franz","family":"Wotawa","sequence":"additional","affiliation":[{"name":"Christian Doppler Laboratory for Quality Assurance of Autonomous Cyber\u2010Physical Systems Institute for Software Technology TU Graz  Inffeldgasse 16b\/2 A\u20108010 Graz Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2021,1,6]]},"reference":[{"key":"e_1_2_10_2_1","unstructured":"R.Davis H.Shrobe W.Hamscher K.Wieckert M.Shirley S.Polit inProc. AAAI AAAI Press Palo Alto CA1982 pp.137\u2013142."},{"key":"e_1_2_10_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(84)90042-0"},{"key":"e_1_2_10_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90063-4"},{"key":"e_1_2_10_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"e_1_2_10_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90027-U"},{"key":"e_1_2_10_7_1","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1007\/978-3-642-03754-2_2","volume-title":"Reasoning Web. Semantic Technologies for Information Systems: 5th International Summer School 2009, Brixen\u2010Bressanone, Italy, August 30 \u2013 September 4, 2009, Tutorial Lectures","author":"Eiter T.","year":"2009"},{"key":"e_1_2_10_8_1","volume-title":"Proc. of the 33rd Int. Conf. on Industrial, Engineering and Other Applications of Applied Intelligent Systems, LNAI 12144","author":"Wotawa F.","year":"2020"},{"key":"e_1_2_10_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(86)90073-1"},{"key":"e_1_2_10_10_1","volume-title":"Readings in Qualitative Reasoning about Physical Systems","author":"Weld D.","year":"1989"},{"key":"e_1_2_10_11_1","volume-title":"Lecture Notes in Artificial Intelligence","author":"Friedrich G.","year":"1990"},{"key":"e_1_2_10_12_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1989.tb00319.x"},{"key":"e_1_2_10_13_1","first-page":"160","volume-title":"Proc. of the European Conf. on Artificial Intelligence","author":"Luca C.","year":"1990"},{"key":"e_1_2_10_14_1","volume-title":"Predictive Maintenance in Dynamic Systems \u2013 Advanced Methods, Decision Support Tools and Real\u2010World Applications","author":"Wotawa F.","year":"2019"},{"key":"e_1_2_10_15_1","volume-title":"Artificial Intelligence Techniques for a Scalable Energy Transition \u2013 Advanced Methods, Digital Technologies, Decision Support Tools, and Applications","author":"Wotawa F.","year":"2020"},{"key":"e_1_2_10_16_1","unstructured":"The Potsdam Answer Set Solving Collection Potassco Potassco About https:\/\/potassco.org\/about\/(accessed: September 2020)."},{"key":"e_1_2_10_17_1","unstructured":"N.Iulia F.Wotawa inProc. of the 23rd Int. Workshop on Principles of Diagnosis2012."},{"key":"e_1_2_10_18_1","unstructured":"N.Iulia P.Ingo Q.Thomas F.Wotawa inProc. of the Int. Joint Conf. on Artificial Intelligence AAAI Press Palo Alto CA2013."},{"key":"e_1_2_10_19_1","unstructured":"The Potsdam Answer Set Solving Collection Potassco Potassco Clingo API documentation https:\/\/potassco.org\/clingo\/python\u2010api\/5.4(accessed: September 2020)."}],"container-title":["Advanced Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/aisy.202000218","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full-xml\/10.1002\/aisy.202000218","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/advanced.onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/aisy.202000218","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T19:42:58Z","timestamp":1759866178000},"score":1,"resource":{"primary":{"URL":"https:\/\/advanced.onlinelibrary.wiley.com\/doi\/10.1002\/aisy.202000218"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,6]]},"references-count":18,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2021,5]]}},"alternative-id":["10.1002\/aisy.202000218"],"URL":"https:\/\/doi.org\/10.1002\/aisy.202000218","archive":["Portico"],"relation":{},"ISSN":["2640-4567","2640-4567"],"issn-type":[{"value":"2640-4567","type":"print"},{"value":"2640-4567","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,1,6]]},"assertion":[{"value":"2020-09-30","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-01-06","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}],"article-number":"2000218"}}