{"id":5675,"date":"2017-02-08T10:35:56","date_gmt":"2017-02-08T08:35:56","guid":{"rendered":"http:\/\/www.ftf.or.at\/?p=5675"},"modified":"2017-02-03T10:36:15","modified_gmt":"2017-02-03T08:36:15","slug":"einfluss-von-sprachkonstrukten-auf-die-lo%cc%88sbarkeit-von-answer-set-programmen","status":"publish","type":"post","link":"https:\/\/www.ftf.or.at\/?p=5675","title":{"rendered":"Einfluss von Sprachkonstrukten auf die Lo\u0308sbarkeit von Answer-Set-Programmen"},"content":{"rendered":"

\"MS-Photo-8443\"<\/a>\u2026 ist der Titel der\u00a01. Platz des Roland-Mittermeir-Preis<\/strong>\u00a0und wurde vom F\u00f6rderverein Technische Fakult\u00e4t mit EUR 1.500,\u2013<\/strong> ausgezeichnet. Dem Autor und Preistr\u00e4ger, Herrn\u00a0Dipl.-Ing. Richard Taupe<\/strong>, wurde der Preis im Rahmen des Festakts 30 Jahre Informatik an der Alpen-Adria-Universit\u00e4t Klagenfurt<\/a> \u00fcbergeben und die Arbeit wird hier kurz vorgestellt:<\/p>\n

\n
\n
\n

Im traditionellen Paradigma der imperativen Programmierung werden Computer auf die folgende Art verwendet, um Probleme zu lo\u0308sen: Ein Mensch entwirft einen Algorithmus, also eine Schritt-fu\u0308r-Schritt-Anleitung, mit der das Problem gelo\u0308st werden kann, u\u0308bersetzt diesen in eine Programmiersprache und la\u0308sst den Computer dieses Programm ausfu\u0308hren. Bei der deklarativen Programmierung hingegen wird dem Computer nicht vorgeschrieben, wie er das Problem zu lo\u0308sen hat. Stattdessen wird ihm nur das Problem selbst in einer geeigneten Sprache beschrieben, sodass die Lo\u0308sungen fu\u0308r das Problem von einem universell einsetzbaren Suchalgorithmus gefunden werden ko\u0308nnen.<\/p>\n

Answer Set Programming (ASP) ist ein Ansatz zur deklarativen Programmierung. Dazu geho\u0308rt auch eine formale Sprache, in der Probleme deklarativ beschrieben werden ko\u0308nnen. Die Syntax dieser Sprache definiert verschiedene Sprachkonstrukte, mit denen ein und der selbe Sachverhalt oft auf mehrere unterschiedliche Arten dargestellt werden kann. Aus diesem Grund gibt es oft viele unterschiedliche Mo\u0308glichkeiten, ein Problem in ASP zu modellieren.<\/p>\n

Die Frage, die in dieser Arbeit beantwortet wird, ist, ob \u2013 und, gegebenenfalls, wie \u2013 die Wahl der verwendeten Sprachkonstrukte die Lo\u0308sbarkeit von in ASP modellierten Problemen beeinflusst. Mit Lo\u0308sbarkeit ist hier im Wesentlichen die Laufzeit der Lo\u0308sungs- algorithmen gemeint, die die Probleme mo\u0308glichst schnell lo\u0308sen sollen. Um diese Frage zu beantworten, wurde eine gro\u00dfe Anzahl an Versuchen durchgefu\u0308hrt, in denen verschie- dene in ASP modellierte Probleme gelo\u0308st wurden. Dabei wurde gemessen, wie lange die Lo\u0308sungsfindung jeweils dauerte. Jedes Problem wurde in mehreren Darstellungen modelliert, die sich nur in den verwendeten Sprachkonstrukten unterschieden.<\/p>\n

Die statistische Analyse der bei diesen Experimenten angefallenen Daten zeigt vor allem, dass der Einfluss der verwendeten Sprachkonstrukte von Problem zu Problem stark schwankt: Was sich in einem Fall gu\u0308nstig auf die Lo\u0308sbarkeit auswirkt, kann in einem anderen Fall unerwu\u0308nschte Folgen haben. Bei praktischen Anwendungen von ASP sollten die verwendeten Sprachkonstrukte daher nicht leichtfertig gewa\u0308hlt werden. Stattdessen sollten verschiedene a\u0308quivalente Darstellungen angefertigt und ihre Lo\u0308sbarkeit verglichen werden, um dann das am schnellsten lo\u0308sbare Programm tatsa\u0308chlich zu verwenden.<\/p>\n<\/div>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"

\u2026 ist der Titel der\u00a01. Platz des Roland-Mittermeir-Preis\u00a0und wurde vom F\u00f6rderverein Technische Fakult\u00e4t mit EUR 1.500,\u2013 ausgezeichnet. Dem Autor und Preistr\u00e4ger, Herrn\u00a0Dipl.-Ing. Richard Taupe, wurde der Preis im Rahmen des Festakts 30 Jahre Informatik an der Alpen-Adria-Universit\u00e4t Klagenfurt \u00fcbergeben und … Continue reading →<\/span><\/a><\/p>\n","protected":false},"author":3,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"sfsi_plus_gutenberg_text_before_share":"","sfsi_plus_gutenberg_show_text_before_share":"","sfsi_plus_gutenberg_icon_type":"","sfsi_plus_gutenberg_icon_alignemt":"","sfsi_plus_gutenburg_max_per_row":"","footnotes":""},"categories":[12],"tags":[],"class_list":["post-5675","post","type-post","status-publish","format-standard","hentry","category-news"],"_links":{"self":[{"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=\/wp\/v2\/posts\/5675","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=5675"}],"version-history":[{"count":2,"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=\/wp\/v2\/posts\/5675\/revisions"}],"predecessor-version":[{"id":5689,"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=\/wp\/v2\/posts\/5675\/revisions\/5689"}],"wp:attachment":[{"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=5675"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=5675"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=5675"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}