Ogłoszenie o konkursie dla magistrantów

Uprzejmie informujemy, że w Instytucie Filozofii został ogłoszony konkurs na

9-miesięczny płatny staż magisterski

w ramach projektu badawczego NCN Maestro

Logiki dla wnioskowań jakościowych

finansowanego przez Narodowe Centrum Nauki

Tematyka projektu:

Problem reprezentacji wiedzy i związanych z tym metod wnioskowań uznawany jest za jedno z największych wyzwań projektu Artificial Intelligence. Wnioskowania jakościowe (Qualitative Reasoning, QR) to nowatorski, intensywnie rozwijany na świecie nurt w dziedzinie sztucznej inteligencji będący alternatywą dla tradycyjnych metod stosowanych w reprezentacji wiedzy. Dziedzina Qualitative Reasoning narodziła się trzydzieści lat temu jako dział AI, którego podstawowym celem było badanie metod reprezentacji i technik wnioskowania o ciągłych własnościach obiektów i systemów przy użyciu środków symbolicznych, ale oddających istotę inteligentnych zachowań ludzkich i symulujących te funkcje umysłu, które nie poddają się prostej numerycznej algorytmizacji. Głównym celem badań w ramach QR jest więc poszukiwanie metod jakościowej reprezentacji danych i badanie reguł rządzących wnioskowaniami jakościowymi. Metody wypracowane w ramach badań nad wnioskowaniami jakościowymi znajdują zastosowanie w modelowaniu problemów sztucznej inteligencji, technologiach informacyjnych i dyscyplinach inżynieryjnych. Wskazuje się, że metody te mogą być również wykorzystane w takich dziedzinach jak: semantyka i przetwarzanie języka naturalnego, lingwistyka, ekonomia, systemy decyzyjne, ekologia, bioinformatyka, robotyka, nauczanie z wykorzystaniem sieci komputerowych i internetu.

Główne grupy tematyczne projektu to: logiki dla wnioskowań jakościowych, ich filozoficzne interpretacje i teoriomodelowe własności, procedury decyzyjne, implementacje i potencjalne zastosowania. W pierwszym etapie projektu badania będą koncentrowały się na systematycznym badaniu i rozwijaniu logik znanych z literatury, takich jak: logiki dla jakościowych wnioskowań o czasie i przestrzeni, logiki dla wnioskowań z dokładnością do rzędu wielkości, logiki dla wnioskowań o dynamicznych własnościach systemów.

Dodatkowe informacje o projekcie można uzyskać u kierownika projektu Joanny Golińskiej-Pilarek (j.golinska@uw.edu.pl).

Adresaci konkursu:

Konkurs skierowany jest do studentów, którzy ukończyli III rok jednolitych studiów magisterskich lub studia I stopnia, i są zainteresowani pracą badawczą w zakresie zastosowań logiki w sztucznej inteligencji. Kandydaci powinni posiadać zaawansowaną wiedzę z logiki, mieć silną motywację do pracy naukowej na poziomie światowym i posługiwać się językiem angielskim w stopniu umożliwiającym pisanie prac naukowych i ich prezentację.

Zadania stażysty:

1) Udział w pracach badawczych prowadzonych w ramach projektu

2) Przygotowanie pracy magisterskiej na temat związany z projektem

3) Współtworzenie strony internetowej projektu i materiałów informacyjnych

Okres trwania stażu:

01.11.2012–31.07.2013

Wynagrodzenie:

1000zł miesięcznie

(Udział w projekcie daje również możliwość finansowania uczestnictwa w zagranicznych konferencjach naukowych.)

Zgłoszenia:

Zgłoszenia należy przesłać do 7 października 2012 roku drogą elektroniczną na adres j.golinska@uw.edu.pl. Zgłoszenie powinno zawierać:

1) Życiorys wraz z informacją o dotychczasowym przebiegu studiów (kierunek, wykaz ocen, otrzymywane stypendia, udział w konferencjach i pracach kół naukowych, nagrody i wyróżnienia uzyskane w trakcie studiów, publikacje i inne osiągnięcia naukowe).

2) Pracę dotyczącą problematyki logicznej reprezentacji wiedzy.

3) Krótki opis planowanych badań.

Do zgłoszenia proszę dołączyć oświadczenie: „Wyrażam zgodę na przetwarzanie moich danych osobowych dla potrzeb niezbędnych dla realizacji procesu rekrutacji (zgodnie z ustawą o ochronie danych osobowych z dnia 29.08.1997 r. Dz. U. Nr 133, Poz. 883).”

Na podstawie przesłanych dokumentów kierownik projektu wyłoni kandydatów, k

Uprzejmie informujemy, że w Instytucie Filozofii został ogłoszony konkurs na

9-miesięczny płatny staż magisterski

w ramach projektu badawczego NCN Maestro

Logiki dla wnioskowań jakościowych

finansowanego przez Narodowe Centrum Nauki

Tematyka projektu:

Problem reprezentacji wiedzy i związanych z tym metod wnioskowań uznawany jest za jedno z największych wyzwań projektu Artificial Intelligence. Wnioskowania jakościowe (Qualitative Reasoning, QR) to nowatorski, intensywnie rozwijany na świecie nurt w dziedzinie sztucznej inteligencji będący alternatywą dla tradycyjnych metod stosowanych w reprezentacji wiedzy. Dziedzina Qualitative Reasoning narodziła się trzydzieści lat temu jako dział AI, którego podstawowym celem było badanie metod reprezentacji i technik wnioskowania o ciągłych własnościach obiektów i systemów przy użyciu środków symbolicznych, ale oddających istotę inteligentnych zachowań ludzkich i symulujących te funkcje umysłu, które nie poddają się prostej numerycznej algorytmizacji. Głównym celem badań w ramach QR jest więc poszukiwanie metod jakościowej reprezentacji danych i badanie reguł rządzących wnioskowaniami jakościowymi. Metody wypracowane w ramach badań nad wnioskowaniami jakościowymi znajdują zastosowanie w modelowaniu problemów sztucznej inteligencji, technologiach informacyjnych i dyscyplinach inżynieryjnych. Wskazuje się, że metody te mogą być również wykorzystane w takich dziedzinach jak: semantyka i przetwarzanie języka naturalnego, lingwistyka, ekonomia, systemy decyzyjne, ekologia, bioinformatyka, robotyka, nauczanie z wykorzystaniem sieci komputerowych i internetu.

Główne grupy tematyczne projektu to: logiki dla wnioskowań jakościowych, ich filozoficzne interpretacje i teoriomodelowe własności, procedury decyzyjne, implementacje i potencjalne zastosowania. W pierwszym etapie projektu badania będą koncentrowały się na systematycznym badaniu i rozwijaniu logik znanych z literatury, takich jak: logiki dla jakościowych wnioskowań o czasie i przestrzeni, logiki dla wnioskowań z dokładnością do rzędu wielkości, logiki dla wnioskowań o dynamicznych własnościach systemów.

Dodatkowe informacje o projekcie można uzyskać u kierownika projektu Joanny Golińskiej-Pilarek (j.golinska@uw.edu.pl).

Adresaci konkursu:

Konkurs skierowany jest do studentów, którzy ukończyli III rok jednolitych studiów magisterskich lub studia I stopnia, i są zainteresowani pracą badawczą w zakresie zastosowań logiki w sztucznej inteligencji. Kandydaci powinni posiadać zaawansowaną wiedzę z logiki, mieć silną motywację do pracy naukowej na poziomie światowym i posługiwać się językiem angielskim w stopniu umożliwiającym pisanie prac naukowych i ich prezentację.

Zadania stażysty:

1)      Udział w pracach badawczych prowadzonych w ramach projektu

2)      Przygotowanie pracy magisterskiej na temat związany z projektem

3)      Współtworzenie strony internetowej projektu i materiałów informacyjnych

Okres trwania stażu:

01.11.2012–31.07.2013

Wynagrodzenie:

1000zł miesięcznie

(Udział w projekcie daje również możliwość finansowania uczestnictwa w zagranicznych konferencjach naukowych.)

Zgłoszenia:

Zgłoszenia należy przesłać do 7 października 2012 roku drogą elektroniczną na adres j.golinska@uw.edu.pl. Zgłoszenie powinno zawierać:

1)      Życiorys wraz z informacją o dotychczasowym przebiegu studiów (kierunek, wykaz ocen, otrzymywane stypendia, udział w konferencjach i pracach kół naukowych, nagrody i wyróżnienia uzyskane w trakcie studiów, publikacje i inne osiągnięcia naukowe).

2)      Pracę dotyczącą problematyki logicznej reprezentacji wiedzy.

3)      Krótki opis planowanych badań.

Do zgłoszenia proszę dołączyć oświadczenie: „Wyrażam zgodę na przetwarzanie moich danych osobowych dla potrzeb niezbędnych dla realizacji procesu rekrutacji (zgodnie z ustawą o ochronie danych osobowych z dnia 29.08.1997 r. Dz. U. Nr 133, Poz. 883).”

Na podstawie przesłanych dokumentów kierownik projektu wyłoni kandydatów, którzy zostaną zaproszeni do dalszego etapu. Rozmowy kwalifikacyjne odbędą się w drugiej połowie października. O dacie i miejscu rozmowy wybrani kandydaci zostaną powiadomieni drogą mailową. W ocenie kandydata będą brane pod uwagę: wartość merytoryczna pracy konkursowej i planowanych badań, średnia ocen ze studiów, osiągnięcia i zainteresowania naukowe kandydata. Rozstrzygnięcie konkursu nastąpi do 31.10.2012.

tórzy zostaną zaproszeni do dalszego etapu. Rozmowy kwalifikacyjne odbędą się w drugiej połowie października. O dacie i miejscu rozmowy wybrani kandydaci zostaną powiadomieni drogą mailową. W ocenie kandydata będą brane pod uwagę: wartość merytoryczna pracy konkursowej i planowanych badań, średnia ocen ze studiów, osiągnięcia i zainteresowania naukowe kandydata. Rozstrzygnięcie konkursu nastąpi do 31.10.2012.