{"id":520,"date":"2024-10-27T20:46:17","date_gmt":"2024-10-27T19:46:17","guid":{"rendered":"https:\/\/pages.mini.pw.edu.pl\/~lucknerm\/?page_id=520"},"modified":"2025-01-29T23:42:25","modified_gmt":"2025-01-29T22:42:25","slug":"seminarium-zakladu-strukturalnych-metod-przetwarzania-wiedzy","status":"publish","type":"page","link":"https:\/\/pages.mini.pw.edu.pl\/~lucknerm\/index.php\/seminarium-zakladu-strukturalnych-metod-przetwarzania-wiedzy\/","title":{"rendered":"Seminarium Zak\u0142adu Strukturalnych Metod Przetwarzania Wiedzy"},"content":{"rendered":"<ul class=\"wp-block-latest-posts__list has-dates wp-block-latest-posts\"><li><a href=\"https:\/\/pages.mini.pw.edu.pl\/~lucknerm\/index.php\/2025\/04\/24\/metafizyka-ai\/\">Metafizyka AI?!<\/a><time datetime=\"2025-04-24T12:17:00+02:00\" class=\"wp-block-latest-posts__post-date\">24 kwietnia 2025<\/time><div class=\"wp-block-latest-posts__post-full-content\"><!-- wp:heading {\"level\":4} -->\n<h4>Prof. dr hab. in\u017c. Artur Przelaskowski<\/h4>\n<!-- \/wp:heading -->\n\n<!-- wp:paragraph -->\n<p>B\u0119dzie to dyskusja metafizycznej (?) natury koncepcji AI, zalet i ogranicze\u0144 AI w kontek\u015bcie realnych tajemnic, potencja\u0142u AI i wizji rozwoju sztucznego \u015bwiata &#8230; Czy AI mo\u017ce rozumie\u0107 realny \u015bwiat, poznawa\u0107, odkrywa\u0107, popchn\u0105\u0107 cz\u0142owieka \u00a0na poziomy nieosi\u0105galne dot\u0105d? A mo\u017ce zast\u0105pi\u0107, podporz\u0105dkowa\u0107? Jaka jest natura AI, jakie jej ograniczenia i mo\u017cliwo\u015bci, jaka przysz\u0142o\u015b\u0107 &#8230; Jakie s\u0105 najwi\u0119ksze zagro\u017cenia i szanse, jaki mo\u017ce by\u0107 \u015bwiat generowany przez AI? \u00a0Co b\u0119dzie z cz\u0142owiekiem ery dominacji AI? Dok\u0105d zmierzamy jako ludzie, co si\u0119 dzieje ze \u015bwiatem ogarni\u0119tym coraz bardziej wizj\u0105 wszechobecnej AI &#8230;Przede wszystkim b\u0119dzie to jednak opowie\u015b\u0107 o wsp\u00f3\u0142czesnym cz\u0142owieku, zagro\u017ceniach i szansach, wobec kt\u00f3rych stanie w najbli\u017cszym czasie &#8230;<\/p>\n<!-- \/wp:paragraph --><\/div><\/li>\n<li><a href=\"https:\/\/pages.mini.pw.edu.pl\/~lucknerm\/index.php\/2025\/01\/30\/fine-tuning-llms-for-logical-reasoning\/\">Fine-tuning LLMs for Logical Reasoning<\/a><time datetime=\"2025-01-30T23:38:00+01:00\" class=\"wp-block-latest-posts__post-date\">30 stycznia 2025<\/time><div class=\"wp-block-latest-posts__post-full-content\"><!-- wp:heading {\"level\":4} -->\n<h4>Olaf Werner<\/h4>\n<!-- \/wp:heading -->\n\n<!-- wp:paragraph -->\n<p>LLMs are new frontier technology and are becoming more popular. However, this technology is still imperfect when it comes to reasoning. While LLM is capable of reasoning by chain-of-thought (CoT) prompting, unfortunately, this reasoning is imperfect and can fail, especially when reasoning can take multiple paths. The way to enable this and make reasoning more transparent is to use Reasoning Engines such as Z3. However, their main limitation is that logical rules must be inputted in a special form. Unfortunately, LLMs were not explicitly trained for that. A unique contribution of this work is fine-tuning LLM for this task specifically.<\/p>\n<!-- \/wp:paragraph --><\/div><\/li>\n<li><a href=\"https:\/\/pages.mini.pw.edu.pl\/~lucknerm\/index.php\/2024\/11\/21\/model-uczenia-maszynowego-do-wspomagania-udzielania-kredytow-bankowych\/\">Model uczenia maszynowego do wspomagania udzielania kredyt\u00f3w bankowych<\/a><time datetime=\"2024-11-21T23:32:00+01:00\" class=\"wp-block-latest-posts__post-date\">21 listopada 2024<\/time><div class=\"wp-block-latest-posts__post-full-content\"><!-- wp:heading {\"level\":4} -->\n<h4>Piotr Bojaruniec<\/h4>\n<!-- \/wp:heading -->\n\n<!-- wp:paragraph -->\n<p>\u00a0Przedmiotem seminarium b\u0119d\u0105 modele uczenia g\u0142\u0119bokiego, w tym modele kwantowe do wspomagania sytuacji decyzyjnych zwi\u0105zanych z udzielaniem kredyt\u00f3w bankowych. Om\u00f3wione zostan\u0105 najwa\u017cniejsze zbiory danych odnosz\u0105ce si\u0119 do kluczowych sytuacji decyzyjnych. Ponadto scharakteryzowane b\u0119d\u0105 najwa\u017cniejsze modele uczenia maszynowego, kt\u00f3re cechuj\u0105 si\u0119 najwi\u0119ksz\u0105 efektywno\u015bci\u0105 wykrywania &#8222;z\u0142ych&#8221; kredyt\u00f3w. Na tym tle przeprowadzona b\u0119dzie dyskusja, jakie zalety ma\u00a0podej\u015bcie wielokryterialne do treningu modeli, a tak\u017ce czy modele kwantowe s\u0105 bardziej efektywne ni\u017c tradycyjne.<\/p>\n<!-- \/wp:paragraph --><\/div><\/li>\n<li><a href=\"https:\/\/pages.mini.pw.edu.pl\/~lucknerm\/index.php\/2024\/10\/29\/o-weryfikacji-protokolow-kryptograficznych\/\">O weryfikacji protoko\u0142\u00f3w kryptograficznych<\/a><time datetime=\"2024-10-29T23:25:00+01:00\" class=\"wp-block-latest-posts__post-date\">29 pa\u017adziernika 2024<\/time><div class=\"wp-block-latest-posts__post-full-content\"><!-- wp:heading {\"level\":4} -->\n<h4>dr hab. in\u017c. Konstanty Junosza-Szaniawski, prof. PW<\/h4>\n<!-- \/wp:heading -->\n\n<!-- wp:paragraph -->\n<p>Referat prezentuje podstawowe w\u0142asno\u015bci protoko\u0142\u00f3w kryptograficznych, narz\u0119dzia do formalnej weryfikacji\u00a0 weryfikacji tych\u017ce w\u0142asno\u015bci, kilka przyk\u0142ad\u00f3w klasycznych protoko\u0142\u00f3w oraz przyk\u0142ady atak\u00f3w na nie.<\/p>\n<!-- \/wp:paragraph --><\/div><\/li>\n<\/ul>","protected":false},"excerpt":{"rendered":"","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/pages.mini.pw.edu.pl\/~lucknerm\/index.php\/wp-json\/wp\/v2\/pages\/520"}],"collection":[{"href":"https:\/\/pages.mini.pw.edu.pl\/~lucknerm\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/pages.mini.pw.edu.pl\/~lucknerm\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/pages.mini.pw.edu.pl\/~lucknerm\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/pages.mini.pw.edu.pl\/~lucknerm\/index.php\/wp-json\/wp\/v2\/comments?post=520"}],"version-history":[{"count":8,"href":"https:\/\/pages.mini.pw.edu.pl\/~lucknerm\/index.php\/wp-json\/wp\/v2\/pages\/520\/revisions"}],"predecessor-version":[{"id":571,"href":"https:\/\/pages.mini.pw.edu.pl\/~lucknerm\/index.php\/wp-json\/wp\/v2\/pages\/520\/revisions\/571"}],"wp:attachment":[{"href":"https:\/\/pages.mini.pw.edu.pl\/~lucknerm\/index.php\/wp-json\/wp\/v2\/media?parent=520"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}