{"id":295,"date":"2011-09-14T14:09:27","date_gmt":"2011-09-14T13:09:27","guid":{"rendered":"http:\/\/main5.amu.edu.pl\/~murbansk\/?page_id=295"},"modified":"2024-06-26T11:56:20","modified_gmt":"2024-06-26T10:56:20","slug":"seminarium","status":"publish","type":"page","link":"http:\/\/murbansk.home.amu.edu.pl\/?page_id=295","title":{"rendered":"Seminarium"},"content":{"rendered":"<p>Tematy prac licencjackich i magisterskich:<\/p>\n<p><strong>Prace zako\u0144czone:<\/strong><\/p>\n<ul>\n<li><strong>doktorskie:<\/strong><\/li>\n<\/ul>\n<ol>\n<li>Andrzej Gajda [2019].\u00a0Abductive hypotheses generation in neural-symbolic systems.<\/li>\n<\/ol>\n<p>&nbsp;<\/p>\n<ul>\n<li><strong>magisterskie:<\/strong>\n<ol>\n<li>Wojciech Zi\u0119ba [2024]. O dwoisto\u015bci postawy stoickiej. Analiza teoretyczna i psychometryczna<\/li>\n<li>Karol Wapniarski [2024]. Aristotelian Syllogistic more apagogico demonstrata: Devising minimal sets of inference rules for indirectly proving all syllogistical moods<\/li>\n<li>Anna Kostrzewa [2020]. Poszukiwanie zwi\u0105zku miedzy zdolno\u015bciami przestrzennymi a dedukcj\u0105<\/li>\n<li>Kaja Niedziela [2019]. Categorical reasoning and language ability &#8211; syllogistic performance in development dyslexia participants.<\/li>\n<li>Beata Rutkowska [2019]. Podejmowanie decyzji w warunkach niepe\u0142nej informacji: studium przypadku.<\/li>\n<li>Sebastian Roch [2018].\u00a0Styl poznawczy refleksyjny versus impulsywny a funkcjonowanie w zadaniach wymagaj\u0105cych koordynacji wzrokowo-ruchowej. (Opiekun pracy: Joanna Urba\u0144ska)<\/li>\n<li>Dajana Bieganowska [2018]. Moment &#8222;aha!&#8221; w kontek\u015bcie rozumowa\u0144 abdukcyjnych na przyk\u0142adzie narz\u0119dzia Find Out.<\/li>\n<li>Dominika Pankow [2018]. Analysis of Errors for Visual-Analytical Raven&#8217;s Advanced Progressive Matrices Test in the Context of Reasoning Verbalization.<\/li>\n<li>Magdalena Rogozi\u0144ska [2017].\u00a0Modelowanie decyzji w warunkach niepewno\u015bci: heurystyki a metody probabilistyczne.<\/li>\n<li>Konrad Ciesielski [2017]. Modelowanie i analiza rozumowa\u0144 abdukcyjnych na przyk\u0142adzie gry \u201eTakie \u017cycie\u201d.<\/li>\n<li>Sebastian Seyda [2017]. Strategia eliminacji odpowiedzi a Test Matryc Ravena w wersji dla Zaawansowanych: analiza r\u00f3\u017cnic wewn\u0105trzgrupowych.<\/li>\n<li>Dawid Lipski [2017]. Wp\u0142yw stawki na awersj\u0119 do ryzyka w grze Deal or No Deal.<\/li>\n<li>Maria Trela [2017]. Ocena procesu decyzyjnego konsument\u00f3w w \u015bwietle za\u0142o\u017ce\u0144 ekonomii neoklasycznej oraz ekonomii behawioralnej: studium przypadku.<\/li>\n<li>Natalia Skrzypczak [2017]. Wiara w gr\u0119 o sumie zerowej a inteligencja p\u0142ynna. (Opiekun pracy: Joanna Urba\u0144ska)<\/li>\n<li>Pawe\u0142 Prot [2017]. Pomiar funkcji hamuj\u0105cych a subiektywnie odczuwane zm\u0119czenie mentalne. (Opiekun pracy: Joanna Urba\u0144ska)<\/li>\n<li>Aleksandra Klasa [2017]. Zwi\u0105zek inteligencji p\u0142ynnej ze wzrokowo-przestrzennym komponentem pami\u0119ci roboczej. (Opiekun pracy: Joanna Urba\u0144ska)<\/li>\n<li>Sylwia D\u0105browska [2017]. Inteligencja emocjonalna a strategie radzenia sobie ze stresem skoncentrowane na problemie i skoncentrowane na emocjach w grupie pracownik\u00f3w obs\u0142ugi klienta oraz u os\u00f3b spoza tej grupy. (Opiekun pracy: Joanna Urba\u0144ska)<\/li>\n<li>Beata Peciakowska [2017]. Nadzieja na sukces os\u00f3b z niepe\u0142nosprawno\u015bci\u0105 intelektualn\u0105 a strategie rozwi\u0105zywania zadania dywergencyjnego. (Opiekun pracy: Joanna Urba\u0144ska)<\/li>\n<li>Natalia \u017byluk [2016]. Semantyka sytuacyjna i logika pyta\u0144 w analizie rozwi\u0105za\u0144 zada\u0144 abdukcyjnych na przyk\u0142adzie gry \u201eTakie \u017cycie\u201d.<\/li>\n<li>Agata Gola\u015b [2016]. Formalna rekonstrukcja zmian stan\u00f3w epistemicznych podmiotu na przyk\u0142adzie rozgrywek w \u201eTakie \u017cycie\u201d.<\/li>\n<li>Katarzyna Michalak [2015]. Logika rozmyta a wielofunkcyjno\u015b\u0107 rozmytych system\u00f3w wnioskuj\u0105cych.<\/li>\n<li>Katarzyna Paluszkiewicz [2013]. Tabele analityczne dla logiki Inq3.<\/li>\n<li>Andrzej Gajda [2013]. Emocje a rozumowania.<\/li>\n<li>Piotr Pietruszewski [2012]. Formalna analiza rozumowa\u0144 dedukcyjnych za pomoc\u0105 Inferencyjnej Logiki Pyta\u0144 na przyk\u0142adzie opowiada\u0144 Arthura Conan Doyle&#8217;a.<\/li>\n<li>Zofia \u017bm\u00f3jdzin [2011]. Tabele syntetyczne dla paralogiki CLaN.<\/li>\n<li>Agnieszka Czoska [2010]. Model badawczy J. Hintikki a automatyczne odkrywanie wiedzy.<\/li>\n<li>Madgalena Chmielewska [2010]. Inferencyjna Logika Pyta\u0144 dla Zdaniowej Logiki Czasu Linearnego.<\/li>\n<\/ol>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<ul>\n<li><strong>licencjackie:<\/strong>\n<ol>\n<li>Wiktor Nowicki [2024]. Przyczynowo\u015b\u0107, indeterminizm i trzecia warto\u015b\u0107. Formalizacja <em>O determinizmie<\/em> Jana \u0141ukasiewicza.<\/li>\n<li>Agnieszka Borowik [2023]. Analiza narz\u0119dzia SEUA-A oraz walidacja konstruktu, na kt\u00f3rym ten instrument si\u0119 opiera<\/li>\n<li>Dominika Pietrzak [2021]. Kompetencja dedukcyjna w zadaniach sylogistycznych.<\/li>\n<li>Jakub \u017bd\u017carski [2021]. Some comments on the argumentative theory of reasoning.<\/li>\n<li>Adam Macho\u0144ko [2020]. Analysis of examples of visual abduction.<\/li>\n<li>Joanna Maruszczak [2020]. Czy szachi\u015bci ulegaj\u0105 efektowi przekona\u0144? &#8211; o zjawisku belief bias.<\/li>\n<li>Agata Wawrzyniak [2019]. Anotacja plik\u00f3w &#8222;KamienieB6&#8221; i &#8222;DrwaleAME8&#8221; na potrzeby Korpusu Rozumowa\u0144 Erotetycznych.<\/li>\n<li>Piotr Sowi\u0144ski [2019]. Neural &#8211; symbolic integration in Python. (Opiekun pracy: Andrzej Gajda)<\/li>\n<li>Kinga Ordecka [2018]. Implementacja operatora konsekwencji bezpo\u015bredniej w j\u0119zyku programowania Haskell. (Opiekun pracy: Andrzej Gajda)<\/li>\n<li>Aleksandra Czy\u017c [2018]. Finding models for logic programs with Clark\u2019s Completion. Implementation in programming language Haskell. (Opiekun pracy: Andrzej Gajda)<\/li>\n<li>Dominika Gorol [2018]. Analiza bada\u0144 <em>The Selective Laziness of Reasoning<\/em> z adaptacj\u0105 badania dla szachist\u00f3w w zmodyfikowanym paradygmacie <em>choice blindness<\/em>.<\/li>\n<\/ol>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<p><strong>Propozycje:<\/strong><\/p>\n<ol>\n<li>S\u0142owa, znaki obrazy: czy poprawno\u015b\u0107 wykonania zada\u0144 dedukcyjnych zale\u017cy od rodzaju reprezentacji, za pomoc\u0105 kt\u00f3rych zadania takie s\u0105 wyra\u017cone? Pytanie wygl\u0105da na ma\u0142o porywaj\u0105ce, ale problem jest ciekawy. Chodzi o por\u00f3wnanie wykonania zada\u0144 dedukcyjnych wzrokowo-przestrzennych i j\u0119zykowych o takiej samej strukturze, zaczynaj\u0105c od czas\u00f3w reakcji i poziom\u00f3w poprawno\u015bci.<\/li>\n<li>Co z t\u0105 racjonalno\u015bci\u0105? Teorie racjonalno\u015bci vs rzeczywiste u\u017cycie terminu (badanie z wykorzystaniem British National Corpus).<\/li>\n<li>C. S. Peirce&#8217;a koncepcja rozumowania abdukcyjnego.<br \/>\nSprawozdanie z ewolucji my\u015bli ponownego odkrywcy wnioskowa\u0144 abdukcyjnych (ponownego, bo ju\u017c Arystoteles\u2026), ze szczeg\u00f3lnym uwzgl\u0119dnieniem dw\u00f3ch zasadniczych koncepcji: sylogistycznej i inferencyjnej (na pocz\u0105tek: Aliseda [2006]; Gabbay i Woods [2005]).<\/li>\n<li>Ile trwa &#8222;teraz&#8221;? Formalna interpretacja Jana Buridana koncepcji czasu.<br \/>\nW Jana Buridana koncepcji czasu tera\u017aniejszo\u015b\u0107 nie jest punktem na osi czasu, lecz interwa\u0142em; inaczej ni\u017c u \u015bw. Augustyna, nie wymyka si\u0119 naszemu do\u015bwiadczeniu, lecz jest mu dost\u0119pna, poniewa\u017c trwa [Ohrstrom i Hasle 1995; Emerson 1990]. Praca polega na zbudowaniu logiki (I-go rz\u0119du), formalizuj\u0105cej t\u0119 intuicj\u0119.<\/li>\n<li>Scenariusze poszukiwa\u0144 dla pyta\u0144 dla [tu wstaw nazw\u0119 swojego ulubionego systemu formalnego].<br \/>\nBierzemy [tu wstaw nazw\u0119 swojego ulubionego systemu formalnego] i\u00a0budujemy dla\u0144 najpierw logik\u0119 pyta\u0144, a nast\u0119pnie scenariusze poszukiwa\u0144 [Wi\u015bniewski, 2003].<\/li>\n<li>Rozumowania abdukcyjne z perspektywy teorii potrzeby domkni\u0119cia poznawczego.<br \/>\nCo ma jedno [Aliseda 2006; Gabbay i Woods 2005] do drugiego [Kruglanski i\u00a0Webster 1996]?<\/li>\n<li>Implikacja falsyfikacjonistyczna.<br \/>\nGrobler [2006] zaproponowa\u0142 modyfikacj\u0119 relacji implikowania erotetycznego [Wi\u015bniewski 1995] w duchu falsyfikacjonistycznym. Celem pracy jest zbadanie w\u0142asno\u015bci implikacji falsyfikacjonistycznej i pr\u00f3ba jej zastosowania do (a)\u00a0konstrukcji scenariuszy poszukiwa\u0144 dla pyta\u0144 [Wi\u015bniewski 2003], (b) analizy rozumowa\u0144, np. o strukturze indukcji eliminacyjnej.<\/li>\n<li>Inferencyjna Logika Pyta\u0144 dla wybranej logiki temporalnej.<br \/>\nBierzemy wybran\u0105 logik\u0119 temporaln\u0105 [Emerson 1990], bierzemy ILP [Wi\u015bniewski 1995] i sk\u0142adamy w ca\u0142o\u015b\u0107, buduj\u0105c logik\u0119 rozumowa\u0144 temporalnych, w kt\u00f3rych wnioskami i\/lub przes\u0142ankami s\u0105 pytania.<\/li>\n<li>Rozprzestrzenianie si\u0119 pog\u0142osek eksplanacyjnych z perspektywy teorii dysonansu poznawczego: studium przypadku.<br \/>\nWedle Festingera [2007] rozprzestrzenianie pog\u0142osek mo\u017cna zinterpretowa\u0107 jako jedn\u0105 z metod redukcji dysonansu poznawczego. Praca polega na dokonaniu analizy wybranego (-ych) przypadku (-\u00f3w) takiej redukcji w odniesieniu do szczeg\u00f3lnego typu pog\u0142osek: pog\u0142osek eksplanacyjnych.<\/li>\n<li>Modele wyja\u015bniania w naukach empirycznych.<br \/>\nPrzegl\u0105d modeli wyja\u015bniania, od Hempla i Oppenheima [1948] modelu nomologiczno-dedukcyjnego po Thagarda i Litta [2008] model neuronalny.<\/li>\n<li>Inferencyjna Logika Pyta\u0144 a analiza struktury dyskursu.<br \/>\nPr\u00f3ba formalnej charakterystyki powstawania pyta\u0144 w kontek\u015bcie analizy struktury dyskursu [van Kuppevelt 1995] za pomoc\u0105 narz\u0119dzi ILP [Wi\u015bniewski 1995, 2003].<\/li>\n<\/ol>\n<p><strong>Bibliografia:<\/strong><\/p>\n<p>Aliseda, A. [2006]. Abductive Reasoning. Logical Investigations into Discovery and Explanation. Springer Verlag.<br \/>\nDoyle, A. C. [1960]. The Complete Sherlock Holmes. Doubleday &amp; Co, Garden City, NY.<br \/>\nEmerson, E. A. [1990] Temporal and Modal Logic, Handbook of Theoretical Computer Science. Elsevier.<br \/>\nFestinger, L. [2007]. Teoria dysonansu poznawczego. PWN, Warszawa.<br \/>\nGabbay, D. M., Woods, J. [2005]. The Reach of Abduction. Insight and Trial. Elsevier<br \/>\nGrobler, A. [2006]. Metodologia nauk. Wydawnictwo Aureus, Wydawnictwo Znak, Krak\u00f3w.<br \/>\nHempel, C., Oppenheim, P. [1948]. Studies in the Logic of Explanation. Philosophy of Science, 15:135-175.<br \/>\nKruglanski, A. W., Webster, D. M. [1996]. Motivated closing of the mind: &#8222;Seizing&#8221; and &#8222;freezing&#8221;. Psychological Review, 103:263-283.<br \/>\nKuppevelt, J. van [1995]. Discourse structure, topicality and questioning. Journal of Linguistics, 31:109-147.<br \/>\nMagnani, L. [2001]. Abduction, Reason and Science. Kluwer AP, Dordrecht.<br \/>\nOhrstrom, P., Hasle, P. F. [1995]. Temporal Logic. From Ancient Ideas to Artificial Intelligence. Kluwer AP, Dordrecht.<br \/>\nRosnow, R. L. [1991]. Inside rumor: A personal journey. American Psychologist, 46:484-496.<br \/>\nThagard, P. [1995]. Abductive Reasoning: Logic, Visual Thinking and Coherence. MIT Press, Cambridge, MA.<br \/>\nThagard, P., Litt, A. [2008]. Models of scienti\ufb01c explanation. W: Sun, R. (red.), The Cambridge Handbook of Computational Psychology, 549-564. Cambridge University Press, New York.<br \/>\nThagard, P., Shelley, C. P. [1997]. Abductive reasoning: logic, visual thinking and coherence. W: M.-L. D. Chiara, K. Doets, D. Mundici, J. van Benthem (red.), Logic and scienti\ufb01c methods, 413-427. Kluwer AP, Dordrecht.<br \/>\nUrba\u0144ski, M. [2009]. Rozumowania abdukcyjne. Modele i procedury. Wydawnictwo Naukowe UAM, Pozna\u0144.<br \/>\nUrba\u0144ski, M. [2008]. Trzy modele rozumowa\u0144 abdukcyjnych. Pozna\u0144skie Studia z Filozofii Humanistyki.<br \/>\nWi\u015bniewski, A. [2003]. Erotetic search scenarios. Synthese 134, No.3, 2003, s.\u00a0389-427.<br \/>\nWi\u015bniewski, A. [1995]. The Posing of Questions: Logical Foundations of Erotetic Inferences. Kluwer AP, Dordrecht.<\/p>\n<p><strong>Strona techniczna:<\/strong><\/p>\n<ul>\n<li>LaTeXowa <a href=\"http:\/\/murbansk.home.amu.edu.pl\/wp-content\/uploads\/2017\/10\/kogni-dyplom.rar\" target=\"_blank\" rel=\"noopener\">klasa dokumentu<\/a> dla prac dyplomowych<\/li>\n<li>O pracy magisterskiej i jej sk\u0142adaniu &#8212; <a href=\"https:\/\/plupkowski.files.wordpress.com\/2017\/10\/sem-dypl-technikalia.pdf\" target=\"_blank\" rel=\"noopener\">prezentacja<\/a> autorstwa <a href=\"https:\/\/plupkowski.wordpress.com\">Paw\u0142a \u0141upkowskiego<\/a>.<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Tematy prac licencjackich i magisterskich: Prace zako\u0144czone: doktorskie: Andrzej Gajda [2019].\u00a0Abductive hypotheses generation in neural-symbolic systems. &nbsp; magisterskie: Wojciech Zi\u0119ba [2024]. O dwoisto\u015bci postawy stoickiej. Analiza teoretyczna i psychometryczna Karol Wapniarski [2024]. Aristotelian Syllogistic more apagogico demonstrata: Devising minimal sets of inference rules for indirectly proving all syllogistical moods Anna Kostrzewa [2020]. Poszukiwanie zwi\u0105zku miedzy [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":16,"menu_order":3,"comment_status":"open","ping_status":"closed","template":"","meta":{"_mi_skip_tracking":false},"_links":{"self":[{"href":"http:\/\/murbansk.home.amu.edu.pl\/index.php?rest_route=\/wp\/v2\/pages\/295"}],"collection":[{"href":"http:\/\/murbansk.home.amu.edu.pl\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/murbansk.home.amu.edu.pl\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/murbansk.home.amu.edu.pl\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/murbansk.home.amu.edu.pl\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=295"}],"version-history":[{"count":52,"href":"http:\/\/murbansk.home.amu.edu.pl\/index.php?rest_route=\/wp\/v2\/pages\/295\/revisions"}],"predecessor-version":[{"id":2049,"href":"http:\/\/murbansk.home.amu.edu.pl\/index.php?rest_route=\/wp\/v2\/pages\/295\/revisions\/2049"}],"up":[{"embeddable":true,"href":"http:\/\/murbansk.home.amu.edu.pl\/index.php?rest_route=\/wp\/v2\/pages\/16"}],"wp:attachment":[{"href":"http:\/\/murbansk.home.amu.edu.pl\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=295"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}