Archiwa blogu

Konferencja Machine Ethics and Machine Law

W dniach 18-19 listopada, w Krakowie, odbędzie się konferencja poświęcona badaniom kwestii etycznych i prawnych związanych z sztucznymi systemami.

Celem konferencji jest przedstawienie różnych perspektyw: filozofii i etyki, prawa, robotyki i kognitywistyki. Organizatorzy konferencji wyrażają nadzieję, że wymiana idei między naukowcami z różnych dziedzin może poszerzyć zagadnienia dotyczące moralnego i prawnego wymiaru sztucznej inteligencji oraz pozwoli na współpracę.

hand-697264_1280.png

Strona konferencji znajduje się pod adresem :

Machine Ethics and Machine Law

 

 

 

 

 

27. spotkanie – Teza Churcha w informatyce

18 czerwca, w gościnnych murach Akademii Ignatianum, odbyło się ostatnie w tym roku akademickim, spotkanie grupy Maquinaposzukującej implikacji filozoficznych w informatyce.

Tym razem Adam Olszewski rozważał odpowiedź na pytanie Czy teza Churcha ma jeszcze jakieś znaczenie dla informatyki? Zauważył, że algorytmiczny punkt widzenie jest doskonałym sposobem porządkowania rzeczywistości, w tym rzeczywistości informatycznej. W wyniku próby aksjomatyzacji informatyki powstała teza Churcha, będącej intuicyjnym pojęciem funkcji efektywnie obliczalnej. Niestety, tym samym został przedstawiony nierozwiązywalny, w tym ujęciu, problem stopu, którego nie jest w stanie obliczyć żadna funkcja rekurencyjna. Jednak problem nie został ostatecznie zamknięty jako nierozwiązany. Pojawiła się bowiem idea hiperobliczalności, która dzięki potencjalnej możliwości rozszerzenia pojęcia obliczalności, może przynieść rozwiązanie. W ten sposób teza Churcha została osłabiona.

W dalszej części referatu, Olszewski przedstawił wyniki teoretycznych rozważań, odnoszących się do prób implementacji hiperobliczalności w strukturze komputerowej. Przedstawił również modele obliczalności i związaną z nimi hierarchię arytmetyczną. Wskazał również kilka modeli alternatywnych.

Spotkanie zakończyło się dyskusją nad tym, czy możliwe jest by teza Churcha była fałszywa. Zastanawiano się również, jak taka możliwość zmieniłaby logikę i sposoby rozwiązywania nierozstrzygalnych dotychczas problemów.

17. spotkanie – Era of Cognitive Computing?

smart-machines-book-coverReferat pt. „Era of Cognitive Computing?” podczas marcowego spotkania (20.03.) grupy wygłosił p. Krzysztof Czarnecki (IBM). Wystąpienie przybliżało aktualne wyzwania stojące przed informatyką oraz kierunki rozwoju oprogramowania. Podstawą refleksji stała się książka Smart Machines… Doskonałą ilustrację poruszanych problemów stanowi prezentacja towarzysząca wykładowi K. Czarneckiego.

 

Głównym założeniem przyjmowanym w strategicznym planowaniu rozwoju w IBM jest komplementarność komputera i człowieka. Więcej na ten temat można znaleźć na stronach IBM Research: http://www.research.ibm.com/cognitive-computing/ Z punktu widzenia filozofii szczególnie interesująca jest zmiana w podejściu do komputerów, oprogramowania i roli obliczeń.

Uczestnicy spotkania:

  1. K. Czarnecki
  2. P. Gumułka
  3. R. Janusz
  4. P. Polak

*  *  *

 Dla uzupełnienia warto obejrzeć krótki wywiad z J.E. Kellym III na temat kognitywnej informatyki:

Ciekawym uzupełnieniem wystąpienia jest interesujący film opracowany przez IBM Research, w którym jest mowa o podstawowych założeniach odnośnie przyszłego rozwoju informatyki (Daniel Hillis, Daniel Kahneman, Thomas Malone i in.).

i jeszcze jeden film ukazujący specyfikę cognitive computing widzianą oczyma twórców z IBM:

O problemach nadmiaru danych (Big Data), konieczności wyjścia poza dotychczasowy model przetwarzania danych oparty na architekturze von Neumanna i nadchodzącej rewolucji opowiada Darhmenda Modha:

Interesującym przykładem zastosowań tych rozwiązań z dziedziny szeroko rozumianej sztucznej inteligencji są programy wspomagające diagnozy medyczne. Niektóre z własności opracowanego przez IBM programu WatsonPaths prezentuje poniższy materiał:

Fragment książki można przeczytać tutaj: http://www.scribd.com/doc/146316241/Smart-Machines-IBM%E2%80%99s-Watson-and-the-Era-of-Cognitive-Computing