{"id":8,"date":"2018-06-08T22:21:06","date_gmt":"2018-06-08T20:21:06","guid":{"rendered":"http:\/\/calculemus.org\/fi4\/?page_id=8"},"modified":"2018-11-10T07:52:40","modified_gmt":"2018-11-10T06:52:40","slug":"referaty","status":"publish","type":"page","link":"https:\/\/calculemus.org\/fi4\/referaty\/","title":{"rendered":"Referaty"},"content":{"rendered":"<p>Wyk\u0142ady i referaty zg\u0142oszone na Konferencj\u0119 s\u0105 zestawione ni\u017cej, zgodnie z kolejno\u015bci\u0105 alfabetyczn\u0105 nazwisk ich autor\u00f3w.<br \/>\nZ anonsami wyst\u0105pie\u0144 mo\u017cna zapozna\u0107 si\u0119 po klikni\u0119ciu w symbol <img decoding=\"async\" src=\"http:\/\/calculemus.org\/fli\/wp-content\/stb-themes\/stb-light\/plus.png\" alt=\"\" \/> z prawej strony.<br \/>\nJe\u015bli opr\u00f3cz anonsu jest dost\u0119pny szerszy od niego abstrakt, na ko\u0144cu anonsu jest wy\u015bwietlany link <strong>Abstrakt<\/strong>.<\/p>\n<p><strong>\u2666\u00a0 WYK\u0141ADY SPECJALNE<\/strong><\/p>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Marcin Mi\u0142kowski (IFiS PAN): &lt;em&gt;Informatyka a kognitywistyka: wzajemne inspiracje.&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> Informatyka jest jednym z kluczowych element\u00f3w bada\u0144 kognitywistycznych. Przedstawi\u0119 bli\u017cej dwie idee informatyczne, kt\u00f3re odgrywaj\u0105 kluczow\u0105 metodologiczn\u0105 rol\u0119 w badaniach nad poznaniem: (1) ide\u0119, \u017ce pe\u0142ny opis procesu obliczeniowego obejmuje zar\u00f3wno algorytmy, jak i struktury danych; (2) ide\u0119 badania przede wszystkim kompletnych architektur poznawczych. <a href=\"http:\/\/calculemus.org\/fi4\/milkowski\">Abstrakt<\/a>.<\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Andrzej Najgebauer (WAT): &lt;em&gt;Artificial Intelligence - Opportunities and Risks&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> The lecture will cover, amongst others, the following issues: IT interpretation of intelligence, IV industrial revolution, development of IoT and artificial intelligence, main areas and tasks of artificial intelligence, dynamics of methods of computational intelligence. <a href=\"http:\/\/calculemus.org\/fi4\/najgenbauer\">Abstrakt<\/a>.<\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Raymond Turner: &lt;em&gt;Abstraction in Computer Science&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> Abstraction in all its forms has played a substantial role in the design of programming languages. It has motivated the various language paradigms, and has inspired, and is manifested in, the rich type structure and machinery of control to be found in contemporary languages. <a href=\"http:\/\/calculemus.org\/fi4\/wyklad-prof-turnera\">Abstrakt<\/a>.<\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Cezary Zieli\u0144ski (PW): &lt;em&gt;O wp\u0142ywie robotyki na spo\u0142ecze\u0144stwo&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> Wyk\u0142ad przedstawi aktualne mo\u017cliwo\u015bci robot\u00f3w oraz przewidywany wp\u0142yw rozwoju robotyki na spo\u0142ecze\u0144stwo. Pokazane zostan\u0105 zar\u00f3wno osi\u0105gi techniczne robot\u00f3w, traktowanych jako urz\u0105dzenia mechaniczne, jak i ich zdolno\u015bci do podejmowania decyzji i wsp\u00f3\u0142dzia\u0142ania z lud\u017ami. <a href=\"http:\/\/calculemus.org\/fi4\/zielinski\">Abstrakt<\/a>.<\/div><\/div>\n<p>&nbsp;<\/p>\n<p><strong>\u2666\u00a0 REFERATY<\/strong><\/p>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Iwo B\u0142\u0105dek, Konrad Miazga (PP): &lt;em&gt;Mappism - Philosophy of Mind from the Perspective of Mathematics and Computer Science&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> In the talk we introduce mappism &#8212; a framework in which alternative views on mind and its relation to body can be formally expressed in a uniform way, thus allowing one to compare existing theories and enforcing the use of explicit functions and variables in the language of mathematics. <a href=\"http:\/\/calculemus.org\/fi4\/bladek-miazga\">Abstrakt<\/a>.<\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Rafa\u0142 Gruszczy\u0144ski (UMK): &lt;em&gt;Self-reference and incompleteness&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> Languages which have expressive power sufficient to refer to its own expressions give rise to the phenomenon of self-reference, which on the other hand leads to incompleteness of some class of formal systems. <a href=\"http:\/\/calculemus.org\/fi4\/gruszczynski\">Abstrakt<\/a>.<\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Marek Janasz (UP): &lt;em&gt;Por\u00f3wnanie metod algebraicznych i syntetycznych automatycznego dowodzenia twierdze\u0144 na przyk\u0142adzie twierdze\u0144 Euklidesa i Kartezjusza&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> Celem wyst\u0105pienia b\u0119dzie zwr\u00f3cenie szczeg\u00f3lnej uwagi na r\u00f3\u017cnice, ale tak\u017ce i podobie\u0144stwa u\u017cytych metod. Zestawieniem zostan\u0105 obj\u0119te obszary samej struktury dowodu i sposobu jego uzyskania, jak i narz\u0119dzi informatycznych, u\u017cytych w procesie dowodzenia. <a href=\"http:\/\/calculemus.org\/fi4\/janasz\">Abstrakt<\/a>.<\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Jacek Janowski (PW): &lt;em&gt;Idealistyczna i realistyczna filozofia informatyzacji prawa&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> Zak\u0142adanym celem informatyzacji prawa jest usprawnienie jego tworzenia, stosowania i egzekwowania. Natomiast rzeczywistym skutkiem jest wypieranie perswazyjnego oddzia\u0142ywania norm na rzecz faktycznego determinowania przy u\u017cyciu cyfrowych i sieciowych rozwi\u0105za\u0144 infrastrukturalnych. <a href=\"http:\/\/calculemus.org\/fi4\/janowski\">Abstrakt<\/a>.<\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Jakub Jernajczyk (ASP): &lt;em&gt;Wzorzec i kopia \u2013 meta-zasada obecna w filozofii, informatyce oraz sztukach rzemie\u015blniczych&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> W ramach filozoficznej refleksji nad informatyk\u0105, co jaki\u015b czas powraca zagadnienie zaskakuj\u0105cego podobie\u0144stwa pomi\u0119dzy Plato\u0144sk\u0105 teori\u0105 idei oraz g\u0142\u00f3wnymi za\u0142o\u017ceniami paradygmatu programowania obiektowego. W swoim wyst\u0105pieniu wska\u017c\u0119 na jedno z prawdopodobnych \u017ar\u00f3de\u0142 owego podobie\u0144stwa. <a href=\"http:\/\/calculemus.org\/fi4\/jernajczyk\">Abstrakt<\/a>.<\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Janusz Kaczmarek (U\u0141): &lt;em&gt;Monada, czyli doskona\u0142a \u201emaszyna licz\u0105ca\u201d Leibniza&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> Monada Leibniza &#8211; rozumiana w referacie jako robot lub maszyna licz\u0105ca &#8211; \u201eliczy na percepcjach\u201d b\u0105d\u017a \u201eprzekszta\u0142ca percepcje\u201d, w kt\u00f3re jest wyposa\u017cona. Do opisu tych przekszta\u0142ce\u0144 proponuj\u0119 zastosowa\u0107 podstawowe poj\u0119cia topologii og\u00f3lnej. <a href=\"http:\/\/calculemus.org\/fi4\/kaczmarek\">Abstrakt<\/a>.<\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Rados\u0142aw Katarzyniak (PWr): &lt;em&gt;O ograniczonym zastosowaniu niekt\u00f3rych logik modalnych w modelowaniu stan\u00f3w wiedzy system\u00f3w autonomicznych.&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> Problem ograniczonej stosowalno\u015bci logik modalnych w teorii i praktyce system\u00f3w autonomicznych ma swoje \u017ar\u00f3d\u0142o w do\u015b\u0107 cz\u0119stym uto\u017csamianiu sp\u00f3jnika zdaniotw\u00f3rczego z funktorem logicznym. Cz\u0119\u015bci\u0105 rozwi\u0105zania problemu okazuje si\u0119 m.in. odej\u015bcie od zastosowania semantyki ufundowanej na klasycznych funktorach logicznych w modelach stan\u00f3w wiedzy systemu autonomicznego na rzecz zastosowania oryginalnej semantyki kognitywnej &#8211; koresponduj\u0105cej wyra\u017anie z pragmatyk\u0105 generowania lingwistycznych reprezentacji stan\u00f3w wiedzy przez autonomiczny podmiot. <a href=\"http:\/\/calculemus.org\/fi4\/katarzyniak\">Abstrakt<\/a>.<\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Roman Krzanowski, Pawe\u0142 Polak (UPJP II): &lt;em&gt;Phronetic Robotics&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> This paper is formulating a challenge to the AI community postulating creation of the artificial system that would operate using phronesis as it basis for decision. <a href=\"http:\/\/calculemus.org\/fi4\/krzanowski-polak\">Abstrakt<\/a>.<\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>S\u0142awomir Leciejewski, Mariusz Szynkiewicz (UAM): &lt;em&gt;Zagadnienie algorytmiczno\u015bci algorytm\u00f3w ewolucyjnych&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> Algorytmy ewolucyjne s\u0105 implementowane na klasycznych komputerach cyfrowych (co \u015bwiadczy o ich algorytmiczno\u015bci), z drugiej strony jednak, nale\u017c\u0105 do klasy metod heurystycznych, inspirowanych biologicznie i niedeterministycznych (co czyni je niezgodnymi z klasyczn\u0105 definicj\u0105 algorytmu). <a href=\"http:\/\/calculemus.org\/fi4\/leciejewski\">Abstrakt<\/a>.<\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Konrad Ma\u015blenicki (UWr): &lt;em&gt;O autonomii maszyn (i ludzi)&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> Jeden z g\u0142\u00f3wnych w\u0105tk\u00f3w referatu wyznacza pytanie: czy dyskusja problemu wolnej woli (na przyk\u0142adzie pracy A. Schopenhauer\u2019a \u201eO wolno\u015bci ludzkiej woli\u201d) powinna mie\u0107 wp\u0142yw na wyb\u00f3r metod technologii informatycznych wykorzystywanych w projektowaniu \u2018autonomicznych&#8217; maszyn?. <a href=\"http:\/\/calculemus.org\/fi4\/maslenicki\">Abstrakt<\/a>.<\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Marcin Rz\u0105deczka (UMCS): &lt;em&gt;Silicon-free computing...&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> Biological computing attempts to utilize biological structures of varying complexity to create a series of organic logical gates able to perform different types of computation. <a href=\"http:\/\/calculemus.org\/fi4\/rzadeczka\">Abstrakt<\/a>.<\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Micha\u0142 Stelmach (PW): &lt;em&gt;Anaksymander z Miletu. Inicjator poj\u0119cia informacji jako czynnika porz\u0105dkuj\u0105cego (chaos)&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> Rozwa\u017cania Aleksandra z Miletu s\u0105 szczeg\u00f3lnie wa\u017cne dla rozwoju pewnego poj\u0119cia informacji, kt\u00f3re mo\u017cna by uj\u0105\u0107 jako ograniczanie chaosu. Informacja tak przedstawiona by\u0142aby w\u0142asno\u015bci\u0105 \u015bwiata z jednej strony (\u015bwiat jako uporz\u0105dkowany uk\u0142ad), z drugiej \u2013 co niemniej wa\u017cne \u2013 w\u0142asno\u015bci\u0105 my\u015blenia o \u015bwiecie (my\u015blenie jako porz\u0105dkowanie). <a href=\"http:\/\/calculemus.org\/fi4\/stelmach\">Komunikat<\/a>.<\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Stanis\u0142aw Strzelczak (PW): &lt;em&gt;Wiedza, j\u0119zyk, sztuczna inteligencja, poznanie. Refleksje z prac nad opracowaniem kognitywnych robot\u00f3w nadzorczych.&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> Pomimo i\u017c opracowany prototyp robota jest funkcjonalnie ubogi, mo\u017ce tworzy\u0107 nowe koncepty i konstrukcje we w\u0142asnym j\u0119zyku, tym samym samodzielnie rozszerzaj\u0105c sfer\u0119 w\u0142asnego poznania. <a href=\"http:\/\/calculemus.org\/fi4\/strzelczak\">Abstrakt<\/a>.<\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Jaros\u0142aw Strzelecki (UWM): &lt;em&gt;Filozofia in silico. Modele deklaratywne.&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> Przez analogi\u0119 do metody in silico w naukach biologicznych, mo\u017cna zbudowa\u0107 filozofi\u0119 in silico, kt\u00f3ra zajmowa\u0142by si\u0119 szeroko poj\u0119t\u0105 wirtualizacj\u0105 zagadnie\u0144 filozoficznych. Wydaje si\u0119, \u017ce odpowiedni\u0105 podstaw\u0105 informatyczn\u0105 dla tego zadania s\u0105 dwa paradygmaty programowania: programowanie obiektowe oraz programowanie deklaratywne, w sk\u0142ad kt\u00f3rego wchodzi programowanie funkcyjne i logiczne. <a href=\"http:\/\/calculemus.org\/fi4\/strzelecki\">Abstrakt<\/a>.<\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Marek Suwara (UJ): &lt;em&gt;Measure of Information: From Meaningless Data to Useful Information.&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> The paper discusses various ways to estimate the amount of information starting from Shannon approach, through semantic measure suggested by L. Floridi up to the suggestion of appropriate methods for evaluating the usefulness of data depending on the context. <a href=\"http:\/\/calculemus.org\/fi4\/suwara\">Abstrakt<\/a>.<\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Mariusz Wojewoda (U\u015a): &lt;em&gt;Aksjologia rzeczywisto\u015bci cyfrowej&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> Punktem wyj\u015bcia referatu jest pytanie: w jakim sensie klasyczne poj\u0119cia aksjologiczne, takie jak trwa\u0142o\u015b\u0107 istnienia, w\u0142asno\u015b\u0107 czy to\u017csamo\u015b\u0107 podmiotowa, ods\u0142aniaj\u0105 nowe obszary odczyta\u0144 w sytuacji, gdy zestawiamy je z rzeczywisto\u015bci\u0105 cyfrow\u0105. <a href=\"http:\/\/calculemus.org\/fi4\/wojewoda\">Abstrakt<\/a>.<\/div><\/div>\n<div class='stb-container stb-style-anons stb-caption-box stb-no-caption stb-collapsed'><div class='stb-caption'><div class='stb-logo'><img class='stb-logo__image' src='' alt='img'\/><\/div><div class='stb-caption-content'>Krzysztof W\u00f3jtowicz (UW): &lt;em&gt;The Logical Aspects of Program Explanations&lt;\/em&gt;<\/div><div class='stb-tool'><\/div><\/div><div class='stb-content'> In the paper the problem of mathematical explanations in science is discussed. The focus is on the programming account, according to which mathematical theorems impose some modal constraints on the physical world (so to say \u2013 they are \u201cprogramming it\u201d). <a href=\"http:\/\/calculemus.org\/fi4\/wojtowicz\">Abstrakt<\/a>.<\/div><\/div>\n","protected":false},"excerpt":{"rendered":"<p>Wyk\u0142ady i referaty zg\u0142oszone na Konferencj\u0119 s\u0105 zestawione ni\u017cej, zgodnie z kolejno\u015bci\u0105 alfabetyczn\u0105 nazwisk ich autor\u00f3w. Z anonsami wyst\u0105pie\u0144 mo\u017cna zapozna\u0107 si\u0119 po klikni\u0119ciu w symbol z prawej strony. Je\u015bli opr\u00f3cz anonsu jest dost\u0119pny szerszy od niego abstrakt, na ko\u0144cu &hellip; <a href=\"https:\/\/calculemus.org\/fi4\/referaty\/\">Czytaj dalej <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"onecolumn-page.php","meta":[],"_links":{"self":[{"href":"https:\/\/calculemus.org\/fi4\/wp-json\/wp\/v2\/pages\/8"}],"collection":[{"href":"https:\/\/calculemus.org\/fi4\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/calculemus.org\/fi4\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/calculemus.org\/fi4\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/calculemus.org\/fi4\/wp-json\/wp\/v2\/comments?post=8"}],"version-history":[{"count":29,"href":"https:\/\/calculemus.org\/fi4\/wp-json\/wp\/v2\/pages\/8\/revisions"}],"predecessor-version":[{"id":176,"href":"https:\/\/calculemus.org\/fi4\/wp-json\/wp\/v2\/pages\/8\/revisions\/176"}],"wp:attachment":[{"href":"https:\/\/calculemus.org\/fi4\/wp-json\/wp\/v2\/media?parent=8"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}