Techniki informacyjne dla wnioskowania oraz generowania, reprezentacji i zarządzania wiedzą
|
|
- Gabriela Janiszewska
- 7 lat temu
- Przeglądów:
Transkrypt
1 Zakład Zaawansowanych Technik Informacyjnych (Z-6) Techniki informacyjne dla wnioskowania oraz generowania, reprezentacji i zarządzania wiedzą Zadanie nr 2 Relacyjne systemy dedukcyjne: teoria i zastosowania Etap 1: Relacyjne systemy dedukcyjne i ich metodologia Praca nr Warszawa, grudzień 2005
2 Techniki informacyjne dla wnioskowania oraz generowania, reprezentacji i zarządzania wiedzą Zadanie nr 2: Relacyjne systemy dedukcyjne: teoria i zastosowania Etap 1: Relacyjne systemy dedukcyjne i ich metodologia Praca nr Słowa kluczowe: algebra relacyjna, system dedukcyjny, dualność algebr i systemów relacyjnych, semantyka relacyjna Kierownik pracy: prof. Wiesław Traczyk Wykonawcy pracy: dr Joanna Golińska-Pilarek, prof. Ewa Orłowska Kierownik Zakładu: dr inż. Janusz Granat 2
3 Spis treści 1. Wstęp 2. Prace opublikowane tylko w wersji papierowej w archiwum OIN lub we wskazanych niżej publikacjach 2.1. Ivo Düntsch, Ewa Orłowska, Anna Radzikowska and Dimiter Vakarelov, Relational representation theorems for some lattice-based structures, Journal of Relational Methods in Computer Science, vol. 1, 2005, Ewa Orłowska and Ingrid Rewitzky, Duality via Truth: semantic frameworks for lattice-based logics, Logic Journal of the IGPL 13, 2005, Ewa Orłowska and Dimiter Vakarelov, Lattice-based modal algebras and modal logics, in: D. Westerstahl, L.M. Valdés-Villanueva and P. Hajek (eds) Logic, Methodology and Philosophy of Science, Proceedings of the 12 th International Congress, KCL Publications, London, 2005, Prace konferencyjne - tylko w wersji papierowej w archiwum OIN lub we wskazanych niżej publikacjach 3.1 Jouni Järvinen and Ewa Orłowska, Relational correspondences for lattices with operators, Proceedings of the 8 th International Seminar RelMiCS, St.Catharines, Canada, February 22-26, 2005, Andrea Formisano, Ewa Orłowska, Eugenio Omodeo and Alberto Policriti, Uniform relational frameworks for modal inferences, Proceedings of the 8 th International Seminar RelMiCS, St.Catharines, Canada, February 22-26, 2005, Ewa Orłowska and Anna Radzikowska, Relational representability for algebras of substructural logics, Proceedings of the 8 th International Seminar RelMiCS, St.Catharines, Canada, February 22-26, 2005, Ewa Orłowska and Andrzej Szałas, Quantifier elimination in elementary set theory, Proceedings of the 8 th International Seminar RelMiCS, St.Catharines, Canada, February 22-26, 2005, Andrea Formisano, Ewa Orłowska and Eugenio Omodeo, A PROLOG tool for relational translation of modal logics: A front-end for relational proof systems, in: B. Beckert (ed) TABLEAUX 2005 Position Papers and Tutorial Descriptions, Universitaet Koblenz-Landau, Fachberichte Informatik No 12, 2005,
4 4. Prace przyjęte do druku - tylko w wersji papierowej w archiwum OIN 4.1 Luisa Iturrioz and Ewa Orłowska, A Kripke-style and relational semantics for logics based on Łukasiewicz algebras, Multiple Valued Logic and Soft Computing, to appear 4.2 Ewa Orłowska, Ingrid Rewitzky and Ivo Düntsch, Relational semantics through duality, Lecture Notes in Computer Science, Springer, to appear 5. Prace złożone do druku - tylko w wersji papierowej w archiwum OIN 5.1 Joanna Golinska-Pilarek and Ewa Orłowska, Tableaux and Dual Tableaux: transformation of proofs 5.2 Wendy MacCaull and Ewa Orłowska, A logic of typed relations and its applications to relational databases 5.3 Ivo Düntsch, Günther Gediga and Ewa Orłowska, Relational attribute systems II: Reasoning with relations in information structures 5.4 Joanna Golińska-Pilarek, Number of non-fregean sentential logics that have adequate models 5.5 Joanna Golińska-Pilarek, Rasiowa-Sikorski proof system for the non-fregean sentential logic SCI Copyrights są lub będą przekazane wydawcom. Wszystkie prace znajdują się w (Z-6). 4
5 Wstęp Relacyjne systemy dedukcyjne są narzędziem realizacji trzech głównych zadań logicznych, leżących u podstaw wszystkich związanych z IT metod formalnych: weryfikacja prawdziwości (validity checking), weryfikacja spełniania (model checking), weryfikacja wynikania (entailment). Metody relacyjnej dedukcji stosowane są w odniesieniu do różnorakich teorii, których formalizacja jest zadana poprzez ustalenie języka formalnego i zasad wnioskowania w obrębie tego języka. Z matematycznego punktu widzenia oznacza to, że mamy do czynienia z klasą algebr lub systemem logiki. W obu przypadkach wstępnym etapem przygotowania danych dla systemu dedukcji jest przekształcenie danej algebry lub logiki w odpowiedni rachunek relacyjny, a następnie skonstruowanie relacyjnego aparatu dedukcji. Relacyjne systemy dedukcyjne są to systemy, w których struktura dedukcji jest analogiczna do struktury dedukcji w systemach Rasiowa-Sikorski, natomiast zakres stosowalności i baza formalna są inne. Klasyczny system Rasiowa-Sikorski (RS) to dedukcja w rachunku predykatów pierwszego rzędu, natomiast relacyjne systemy dedukcyjne to dedukcja w teoriach relacji n-wartościowych, n 2. Oryginalny system RS sformułowany był dla logiki pierwszego rzędu bez identyczności. W ramach zadania skonstruowany został system RS dla logiki pierwszego rzędu z identycznością i udowodniona została jego pełność. Ponadto zbadane zostały różne postaci reguł dla identyczności i przedyskutowana była efektywność systemów z tymi regułami. Zanalizowany został problem dualności systemów RS z systemami Tableaux. Przedstawione zostały funkcje dualności, stanowiące bazę formalną dla opisu tej dualności. Uzyskane wyniki znajdują się w pracy 5.1 oraz przedstawione były na konferencjach COST 274 Meeting of WG1 and WG3, Bangor, Irlandia Północna, czerwiec 2005, referat: J. Golinska-Pilarek i E. Orłowska, Tableaux and Dual Tableaux: transformation of proofs, 51 Konferencja Historii Logiki, Uniwersytet Jagielloński, Kraków, październik 2005, referat: J. Golińska-Pilarek, Tableaux i dualne Tableaux: o dwóch systemach dedukcyjnych dla logiki 1-go rzędu z identycznością. Opracowany został system RS dla zdaniowej logiki niefregowskiej. W pracy 5.5 udowodniona została jego pełność i adekwatność. Wyniki te były przedstawione na konferencji Trends in Logic III, International Conference in memoriam A. Mostowski, H. Rasiowa, C. Rauszer, Warszawa-Ruciane-Nida, wrzesień 2005, referat: J. Golińska- Pilarek, Rasiowa-Sikorski proof system for the non-fregean sentential logic SCI. W ramach metodologii relacyjnych systemów dedukcyjnych szeroko badana była relacyjna reprezentowalność i dualność między algebrami, opartymi na kratach i odpowiednimi systemami relacyjnymi Ustalenie reprezentowalności oraz dualności między klasą algebr a klasą systemów relacyjnych pozwala na skonstruowanie relacyjnej semantyki systemu logicznego, którego wyjściowe struktury semantyczne stanowią dane algebry. To z 5
6 kolei otwiera możliwość skonstruowania relacyjnego systemu dedukcyjnego dla takiej logiki. Wyniki te są przedstawione w pracach 2.1, 2.2, 2.3, 3.1, 3.3, 4.2, oraz prezentowane były na konferencji 8 th International Seminar RelMiCS, St.Catharines, Kanada, lutego, 2005: J. Järvinen i E. Orłowska, Relational correspondences for lattices with operators, Formisano, E. Orłowska, E. Omodeo i A. Policriti, Uniform relational frameworks for modal inferences E. Orłowska and A. Radzikowska, Relational representability for algebras of substructural logics, E. Orłowska, Relational semantics through duality, invited lecture. Zbadane zostały ponadto rozszerzenia bazowej niefregowskiej logiki zdaniowej posiadające określone algebraiczne własności. W pracy 5.4 udowodnione zostało, iż klasa rozszerzeń posiadających modele adekwatne jest nieprzeliczalna. Innym aspektem metodologii relacyjnych systemów dedukcyjnych, badanym w ramach zadania, była problematyka tłumaczenia języków formalnych różnych systemów logicznych na języki relacyjne. Zagadnieniu temu są poświęcone prace 3.2 i 3.5. W ramach realizacji projektu NATO-PST-CLG Relational Models and Associated Deduction Mechanisms for Multimedia Information , prowadzone były badania nad zastosowaniami relacyjnej dedukcji do wnioskowania o zależnościach przestrzennych i czasowych między obiektami multimedialnymi. W ramach zadania zbadane zostały logiczne aspekty tych systemów i wykonana została implementacja bazowego modułu dedukcji (praca 3.5). Wyniki te prezentowane były na konferencji: COST 274 Meeting of WG1 and WG3, Malaga, Hiszpania, 31 marca 2 kwietnia, 2005, referat: A. Formisano, E. Orłowska i E. Omodeo, A PROLOG tool for relational translation of modal logics. Wypracowane zostały metody automatycznej generacji reguł dedukcji na podstawie semantyki danej teorii oraz teoria korespondencji. (praca 3.4). Metody te wykorzystują odpowiednie rozszerzenie twierdzenia Ackermanna. Opracowany został system dedukcyjny dla relacyjnych baz danych (praca 5.2), dla pewnej logiki wielowartościowej (praca 4.1) i dla relacyjnych systemów atrybutowych (praca 5.3). Opracowane zostały relacyjne systemy dla Rare logics - logik do reprezentacji i wnioskowania w systemach informacyjnych z niepełną informacją. Logiki te zostały systematycznie przedstawione w monografii: Stephane Demri and Ewa Orlowska, Incomplete Information: Structure, Inference, Complexity. EATCS Monographs in Theoretical Computer Science, Springer, Jednakże wszystkie podane tam systemy wnioskowania są typu Hilberta, natomiast nie ma systemów dedukcyjnych, nadających się do automatycznej dedukcji. W poprzednio realizowanych projektach powstały systemy dedukcyjne dla prostszych wersji logik informacyjnych, w których nie ma środków do reprezentacji zbiorów atrybutów systemu informacyjnego. Wyniki te wchodzą w skład monografii (patrz sprawozdanie z Etapu 2) oraz były referowane na konferencji: 10th International Conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing (RSFDGrC 2005). Plenary Workshop on Logics and Algebras for Rough Sets., Regina, Canada, 31 sierpnia 4 września 2005, referat: E. Orłowska, A roadmap of information logics and information algebras inspired by rough sets. 6
Wybrane problemy zarządzania wiedzą
Zakład Zaawansowanych Technik Informacyjnych (Z-6) Wybrane problemy zarządzania wiedzą Zadanie nr 2 Metody wnioskowania na użytek zarządzania wiedzą z uwzględnieniem aspektów temporalnych Praca nr 06300017
Bardziej szczegółowoTechniki informacyjne dla wnioskowania oraz generowania, reprezentacji i zarządzania wiedzą
Zakład Zaawansowanych Technik Informacyjnych (Z-6) Techniki informacyjne dla wnioskowania oraz generowania, reprezentacji i zarządzania wiedzą Zadanie nr 2 Relacyjne systemy dedukcyjne: teoria i zastosowania
Bardziej szczegółowoAutomatyzacja wnioskowań z wykorzystaniem relacyjnych systemów dual tableaux
z wykorzystaniem relacyjnych systemów dual tableaux Instytut Filozofii, Uniwersytet Warszawski j.golinska@uw.edu.pl I Ogólnopolska Konferencja Filozofia w logice i informatyce Warszawa, 6 listopada 2015
Bardziej szczegółowoLogika, Algorytmy i Inżynieria Wiedzy w Telekomunikacji I Zarządzaniu Sieciami
Zakład Zaawansowanych Technik Informacyjnych (Z-6) Logika, Algorytmy i Inżynieria Wiedzy w Telekomunikacji I Zarządzaniu Sieciami Praca nr 06300015 Warszawa, grudzień 2015 Logika, Algorytmy i Inżynieria
Bardziej szczegółowoSpecVer - metodyka tworzenia oprogramowania integrująca zadania specyfikacji, implementacji i weryfikacji modułów programów
Zakład Zaawansowanych Technik Informacyjnych (Z-6) SpecVer - metodyka tworzenia oprogramowania integrująca zadania specyfikacji, implementacji i weryfikacji modułów programów Praca nr 06300067 Warszawa,
Bardziej szczegółowoPRZEWODNIK PO PRZEDMIOCIE
Nazwa przedmiotu: Kierunek: Informatyka Rodzaj przedmiotu: obowiązkowy w ramach treści wspólnych z kierunkiem Matematyka, moduł kierunku obowiązkowy Rodzaj zajęć: wykład, ćwiczenia I KARTA PRZEDMIOTU CEL
Bardziej szczegółowoALFRED TARSKI. Życie i logika Kalendarium. Joanna Golińska-Pilarek. Marian Srebrny.
ALFRED TARSKI Życie i logika Kalendarium Joanna Golińska-Pilarek j.golinska@uw.edu.pl Marian Srebrny marians@ipipan.waw.pl KRAKÓW 28 maja 2009 Początek 14 stycznia 1901 rok Miejsce: Warszawa Rodzice: Róża
Bardziej szczegółowoZakład Zaawansowanych Technik Informacyjnych (Z-6) Temat Logika i inżynieria wiedzy w telekomunikacji Praca nr 06300012
Zakład Zaawansowanych Technik Informacyjnych (Z-6) Temat Logika i inżynieria wiedzy w telekomunikacji Praca nr 06300012 Warszawa, grudzień 2012 Tytuł pracy: Logika i inżynieria wiedzy w telekomunikacji
Bardziej szczegółowoLISTA KURSÓW PLANOWANYCH DO URUCHOMIENIA W SEMESTRZE ZIMOWYM 2015/2016
LISTA KURSÓW PLANOWANYCH DO URUCHOMIENIA W SEMESTRZE ZIMOWYM 2015/2016 INFORMATYKA I STOPNIA studia stacjonarne 1 sem. PO-W08-INF- - -ST-Ii-WRO-(2015/2016) MAP003055W Algebra z geometrią analityczną A
Bardziej szczegółowoPRZEWODNIK PO PRZEDMIOCIE
Nazwa przedmiotu: Kierunek: Matematyka Rodzaj przedmiotu: przedmiot obowiązkowy dla wszystkich specjalności Rodzaj zajęć: wykład, ćwiczenia Logika matematyczna Mathematical Logic Poziom przedmiotu: II
Bardziej szczegółowoPODSTAWY BAZ DANYCH. 19. Perspektywy baz danych. 2009/2010 Notatki do wykładu "Podstawy baz danych"
PODSTAWY BAZ DANYCH 19. Perspektywy baz danych 1 Perspektywy baz danych Temporalna baza danych Temporalna baza danych - baza danych posiadająca informację o czasie wprowadzenia lub czasie ważności zawartych
Bardziej szczegółowoAutomatyka i Robotyka, Informatyka Stosowana, Informatyka 2011/2012
Automatyka i Robotyka, Informatyka Stosowana, Informatyka 2011/2012 w j. angielskim Projekt i implementacja wielofunkcyjnego prototypowego systemu zarządzania rejestrem publikacji Design and Implementation
Bardziej szczegółowoAutomatyka i Robotyka, Informatyka Stosowana, Informatyka 2011/2012
Automatyka i Robotyka, Informatyka Stosowana, Informatyka 2011/2012 w j. Projekt i implementacja wielofunkcyjnego prototypowego systemu zarządzania rejestrem publikacji Design and Implementation of a Prototype
Bardziej szczegółowoSystemy zdarzeniowe - opis przedmiotu
Systemy zdarzeniowe - opis przedmiotu Informacje ogólne Nazwa przedmiotu Systemy zdarzeniowe Kod przedmiotu 11.9-WE-AiRD-SD Wydział Kierunek Wydział Informatyki, Elektrotechniki i Automatyki Automatyka
Bardziej szczegółowoAutomatyka i Robotyka, Informatyka Stosowana, Informatyka - 2012/2013
Automatyka i Robotyka, Informatyka Stosowana, Informatyka - 2012/2013 Katedra Informatyki Stosowanej Model i analiza standardu BPMN w Model and Analysis of BPMN Zakres pracy i Celem pracy jest analiza
Bardziej szczegółowoLogika Matematyczna (1)
Logika Matematyczna (1) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl 4 X 2007 Jerzy Pogonowski (MEG) Logika Matematyczna (1) 4 X 2007 1 / 18 Plan konwersatorium Dzisiaj:
Bardziej szczegółowoTeorioinformacyjne twierdzenie Gödla,
Teorioinformacyjne twierdzenie Gödla, czyli co ma logika do statystyki? Łukasz Dębowski ldebowsk@ipipan.waw.pl Instytut Podstaw Informatyki PAN Temat referatu Twierdzenie, o którym opowiem, jest pomysłem
Bardziej szczegółowoLogika formalna SYLABUS A. Informacje ogólne
Logika formalna SYLABUS A. Informacje ogólne studiów Poziom kształcenia Profil studiów Forma studiów Rodzaj przedmiotu Rok studiów /semestr Wymagania wstępne Liczba godzin zajęć Założenia i cele przedmiotu
Bardziej szczegółowoPRZEWODNIK PO PRZEDMIOCIE
Nazwa przedmiotu: Teoria mnogości Set theory Kierunek: Rodzaj przedmiotu: obowiązkowy dla wszystkich specjalności Rodzaj zajęć: wykład, ćwiczenia Matematyka Poziom kwalifikacji: I stopnia Liczba godzin/tydzień:
Bardziej szczegółowoZasady krytycznego myślenia (1)
Zasady krytycznego myślenia (1) Andrzej Kisielewicz Wydział Matematyki i Informatyki 2017 Przedmiot wykładu krytyczne myślenie vs logika praktyczna (vs logika formalna) myślenie jasne, bezstronne, oparte
Bardziej szczegółowoLingwistyczne podsumowania baz danych.inteligentne generowanie s
Lingwistyczne podsumowania baz danych. Inteligentne generowanie streszczeń Instytut Informatyki, Politechnika Łódzka Katowice, 29 stycznia 2010 r. Problematyka Bazy i hurtownie danych olbrzymia ilość liczb......
Bardziej szczegółowo20 września 2007 Jozef Winkowski (prof. dr hab.) Instytut Podstaw Informatyki Polskiej Akademii Nauk
20 września 2007 Jozef Winkowski (prof. dr hab.) Instytut Podstaw Informatyki Polskiej Akademii Nauk 01-237 Warszawa, ul. Ordona 21 e-mail: Jozef.Winkowski@IPIPAN.Waw.PL ŻYCIORYS 1. DANE OSOBOWE Zamieszka
Bardziej szczegółowoŻyciorys. Wojciech Paszke. 04/2005 Doktor nauk technicznych w dyscyplinie Informatyka. Promotor: Prof. Krzysztof Ga lkowski
Życiorys Wojciech Paszke Dane Osobowe Data urodzin: 20 luty, 1975 Miejsce urodzin: Zielona Góra Stan Cywilny: Kawaler Obywatelstwo: Polskie Adres domowy pl. Cmentarny 1 67-124 Nowe Miasteczko Polska Telefon:
Bardziej szczegółowoInform., 72(1-3): (2006) 2 Antonio Cano Gómez, Giovanna Guaiana and Jean-Éric Pin When Does Partial Commutative
Kraków, 6 marca 2011 Prof. dr hab. Marek Zaionc tel.: (48 12) 664 6649 Theoretical Computer Science fax: (48 12) 664 6672 Jagiellonian University, web: www.tcs.uj.edu.pl/zaionc ul. Łojasiewicza 6, mail:
Bardziej szczegółowoNormalizacja relacji z atrybutami rozmytymi poziomu drugiego
Rozdział 13 Normalizacja relacji z atrybutami rozmytymi poziomu drugiego Streszczenie. Temat rozdziału jest związany z projektowaniem schematów relacyjnych w rozmytych bazach danych. Uwzględnienie nieprecyzyjnych
Bardziej szczegółowoInstytut Matematyki UW
prof. dr hab. inż. Andrzej Skowron Instytut Matematyki UW Warszawa, dnia 5 września 2014 roku Ocena dorobku naukowego dr. Marcina Wolskiego zawierająca recenzję rozprawy habilitacyjnej pt. Reprezentacja
Bardziej szczegółowoLogiczna reprezentacja wiedzy i metoda logiczno-algebraiczna
Logiczna reprezentacja wiedzy i metoda logiczno-algebraiczna dr inż. Grzegorz ilcek & dr inż. Maciej Hojda Zakład Inteligentnych Systemów Wspomagania Decyzji, Instytut Informatyki, Politechnika Wrocławska
Bardziej szczegółowoWspółczesna problematyka klasyfikacji Informatyki
Współczesna problematyka klasyfikacji Informatyki Nazwa pojawiła się na przełomie lat 50-60-tych i przyjęła się na dobre w Europie Jedna z definicji (z Wikipedii): Informatyka dziedzina nauki i techniki
Bardziej szczegółowoCurriculum Vitae. Agnieszka Zbrzezny. aga.zbrzezny@gmail.com
Curriculum Vitae Agnieszka Zbrzezny DANE PERSONALNE imię i nazwisko Agnieszka Zbrzezny data urodzenia 22 czerwiec 1985 stan cywilny panna email aga.zbrzezny@gmail.com strona domowa www.ajd.czest.pl/ imi/agnieszka.zbrzezny
Bardziej szczegółowoMieczysław Omyła Logika a czas i zmiana. Filozofia Nauki 5/3,
Mieczysław Omyła Logika a czas i zmiana Filozofia Nauki 5/3, 131-134 1997 Filozofia Nauki RECENZJE Rok V, 1997, N r 3(19) Mieczysław Omyła Logika a czas i zmiana Józef Wajszczyk, Logika a czas i zmiana,
Bardziej szczegółowoLogika intuicjonistyczna
9 listopada 2011 Plan 1 2 3 4 Plan 1 2 3 4 Intuicjonizm Pogl d w lozoi matematyki wprowadzony w 1912 L. E. J. Brouwera. Twierdzenia matematyczne powstaj dzi ki intuicjom naszego umysªu. Skupienie si na
Bardziej szczegółowoLogika dla socjologów Część 2: Przedmiot logiki
Logika dla socjologów Część 2: Przedmiot logiki Rafał Gruszczyński Katedra Logiki Uniwersytet Mikołaja Kopernika 2011/2012 Spis treści 1 Działy logiki 2 Własności semantyczne i syntaktyczne 3 Błędy logiczne
Bardziej szczegółowoWeryfikacja wspomagana komputerowo
Weryfikacja wspomagana komputerowo wykład 12 Interpretacja abstrakcyjna II Źródła F. Nielson, H.R. Nielson, C. Hankin, Principles of Program Analysis, Springer, 2005. http://www.imm.dtu.dk/~riis/ppa/slides4.pdf
Bardziej szczegółowoPrzedsiębiorstwo zwinne. Projektowanie systemów i strategii zarządzania
Politechnika Poznańska, Wydział Inżynierii Zarządzania Dr inż. Edmund Pawłowski Przedsiębiorstwo zwinne. Projektowanie systemów i strategii zarządzania Modelowanie i projektowanie struktury organizacyjnej
Bardziej szczegółowoJęzyk naturalny jako pomost między danymi cyfrowymi maszyny a rozumieniem człowieka
Język naturalny jako pomost między danymi cyfrowymi maszyny a rozumieniem człowieka Wstęp Współczesna rzeczywistość wymaga gromadzenia olbrzymich ilości danych. Lawinowo rosną archiwa informacji dotyczących
Bardziej szczegółowoNegatywna informacja w języku regułowym 4QL. Jan Małuszyński, Andrzej Szałas
Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki Nr 9, Rok 7, 2013, s. 7-14 Negatywna informacja w języku regułowym 4QL Jan Małuszyński, Andrzej Szałas Streszczenie Problematyka negatywnej informacji
Bardziej szczegółowoCurriculum Vitae. Michał Skrzypczak. pokój 4058, LIAFA, budynek Sophie Germain 75205 Paris Cedex 13, Francja
Curriculum Vitae Michał Skrzypczak Dane osobowe adres pokój 4058, LIAFA, budynek Sophie Germain 75205 Paris Cedex 13, Francja data urodzenia 4 października 1986 obywatelstwo e-mail www polskie mskrzypczak@mimuw.edu.pl
Bardziej szczegółowoEksploracja danych reprezentowanych za pomocą języka naturalnego, z wykorzystaniem ontologii
Eksploracja danych reprezentowanych za pomocą języka naturalnego, z wykorzystaniem ontologii Autoreferat rozprawy doktorskiej Wojciech Jaworski Instytut Informatyki Uniwersytet Warszawski 10 grudnia 2008
Bardziej szczegółowoZastosowanie sztucznej inteligencji w testowaniu oprogramowania
Zastosowanie sztucznej inteligencji w testowaniu oprogramowania Problem NP Problem NP (niedeterministycznie wielomianowy, ang. nondeterministic polynomial) to problem decyzyjny, dla którego rozwiązanie
Bardziej szczegółowoBadania w sieciach złożonych
Badania w sieciach złożonych Grant WCSS nr 177, sprawozdanie za rok 2012 Kierownik grantu dr. hab. inż. Przemysław Kazienko mgr inż. Radosław Michalski Instytut Informatyki Politechniki Wrocławskiej Obszar
Bardziej szczegółowoField of study: Computer Science Study level: First-cycle studies Form and type of study: Full-time studies. Auditorium classes.
Faculty of: Computer Science, Electronics and Telecommunications Field of study: Computer Science Study level: First-cycle studies Form and type of study: Full-time studies Annual: 2014/2015 Lecture language:
Bardziej szczegółowoWstęp do logiki. Kto jasno i konsekwentnie myśli, ściśle i z ładem się wyraża,
Prof. UAM, dr hab. Zbigniew Tworak Zakład Logiki i Metodologii Nauk Instytut Filozofii Wstęp do logiki Kto jasno i konsekwentnie myśli, ściśle i z ładem się wyraża, kto poprawnie wnioskuje i uzasadnia
Bardziej szczegółowoWykład 11a. Składnia języka Klasycznego Rachunku Predykatów. Języki pierwszego rzędu.
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 11a. Składnia języka Klasycznego Rachunku Predykatów. Języki pierwszego rzędu. 1 Logika Klasyczna obejmuje dwie teorie:
Bardziej szczegółowoProgramowanie deklaratywne i logika obliczeniowa
Programowanie deklaratywne i logika obliczeniowa Programowanie deklaratywne i logika obliczeniowa Wykład logika 12 godzin Dr hab. inż. Joanna Józefowska, prof. PP dyżur: poniedziałek 9.30-11.00 p. 10,
Bardziej szczegółowoLogika Matematyczna (1)
Logika Matematyczna (1) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Wprowadzenie Jerzy Pogonowski (MEG) Logika Matematyczna (1) Wprowadzenie 1 / 20 Plan konwersatorium
Bardziej szczegółowoLogika rozmyta typu 2
Logika rozmyta typu 2 Zbiory rozmyte Funkcja przynależności Interwałowe zbiory rozmyte Funkcje przynależności przedziałów Zastosowanie.9.5 Francuz Polak Niemiec Arytmetyka przedziałów Operacje zbiorowe
Bardziej szczegółowoField of study: Computer Science Study level: First-cycle studies Form and type of study: Full-time studies. Auditorium classes.
Faculty of: Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering Field of study: Computer Science Study level: First-cycle studies Form and type of study: Full-time
Bardziej szczegółowoCurriculum Vitae. Michał Skrzypczak. pokój 4030, Banacha 2, Warszawa.
Curriculum Vitae Michał Skrzypczak Dane osobowe adres pokój 4030, Banacha 2, 02 097 Warszawa data urodzenia 4 października 1986 obywatelstwo polskie e-mail mskrzypczak@mimuw.edu.pl www http://www.mimuw.edu.pl/~mskrzypczak/
Bardziej szczegółowoIII rok kognitywistyki UAM,
METODY DOWODZENIA TWIERDZEŃ I AUTOMATYZACJA ROZUMOWAŃ III rok kognitywistyki UAM, 2016 2017 1 Cele wykładu Wykład ma trzy zasadnicze cele: 1. Przedstawienie wybranych metod dowodowych, stosowanych w logice.
Bardziej szczegółowoPrzedmiot Prowadzący Termin I (data/godz/miejsce) Analiza matematyczna I. Prof. T. Inglot Dr W. Wawrzyniak- Kosz. Prof. Z. Kowalski Dr G.
kierunek: INFORMATYKA WYDZIAŁ INFORMATYKI i ZARZĄDZANIA Instytut Informatyki Harmonogram egzaminów na studiach stacjonarnych L.p Rok / 1 I r. Analiza matematyczna I T. Inglot W. Wawrzyniak- Kosz 29.01.2013
Bardziej szczegółowoRACHUNEK ZDAŃ 7. Dla każdej tautologii w formie implikacji, której poprzednik również jest tautologią, następnik także jest tautologią.
Semantyczne twierdzenie o podstawianiu Jeżeli dana formuła rachunku zdań jest tautologią i wszystkie wystąpienia pewnej zmiennej zdaniowej w tej tautologii zastąpimy pewną ustaloną formułą, to otrzymana
Bardziej szczegółowoKomputerowe dowodzenie twierdze ń matematycznych
Działanie realizowane w ramach projektu Absolwent informatyki lub matematyki specjalistą na rynku pracy Matematyka i informatyka może i trudne, ale nie nudne Komputerowe dowodzenie twierdze ń matematycznych
Bardziej szczegółowoMetody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I
Metody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl OSTRZEŻENIE Niniejszy plik nie zawiera wykładu z Metod dowodzenia...
Bardziej szczegółowoKARTA KURSU. Kod Punktacja ECTS* 7
KARTA KURSU Nazwa Nazwa w j. ang. Wstęp do logiki i teorii mnogości Introduction to Logic and Set Theory Kod Punktacja ECTS* 7 Koordynator Dr hab. prof. UP Piotr Błaszczyk Zespół dydaktyczny: Dr hab. prof.
Bardziej szczegółowoDODATEK 1: Wtedy h(α) = 1 oraz h(β) = 0. Jak pamiętamy ze szkoły, obraz sumy zbiorów jest sumą obrazów tych zbiorów. Mamy zatem:
DODATEK 1: DOWODY NIEKTÓRYCH TWIERDZEŃ DOTYCZACYCH SEMANTYKI KLASYCZNEGO RACHUNKU ZDAŃ 2.2. TWIERDZENIE O DEDUKCJI WPROST (wersja semantyczna). Dla dowolnych X F KRZ, α F KRZ, β F KRZ zachodzą następujące
Bardziej szczegółowoO-MaSE Organization-based Multiagent System Engineering. MiASI2, TWO2,
O-MaSE Organization-based Multiagent System Engineering MiASI2, TWO2, 2017-2018 Materiały Strona poświęcona metodzie O-MaSE http://macr.cis.ksu.edu/projects/omase.html (Multiagent & Cooperative Reasoning
Bardziej szczegółowoKierunek: Informatyka rev rev jrn Stacjonarny EN 1 / 6
Wydział Informatyki i Komunikacji Wizualnej Kierunek: Informatyka w języku angielskim studia pierwszego stopnia - inżynierskie tryb: stacjonarny rok rozpoczęcia 2018/2019 A. Moduły międzykierunkowe obligatoryjne
Bardziej szczegółowoLogika Stosowana. Wykład 7 - Zbiory i logiki rozmyte Część 3 Prawdziwościowa logika rozmyta. Marcin Szczuka. Instytut Informatyki UW
Logika Stosowana Wykład 7 - Zbiory i logiki rozmyte Część 3 Prawdziwościowa logika rozmyta Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika
Bardziej szczegółowoTeoretyczne Podstawy Języków Programowania Wykład 1. Rachunek zdań
Instytut Informatyki Teoretyczne Podstawy Języków Programowania Wykład 1. Rachunek zdań Zdzisław Spławski Zdzisław Spławski: Teoretyczne Podstawy Języków Programowania, Wykład 1. Rachunek zdań 1 Systemy
Bardziej szczegółowoPLAN STUDIÓW Wydział Elektroniki, Telekomunikacji i Informatyki, Wydział Zarządzania i Ekonomii Inżynieria danych
WYDZIAŁ: KIERUNEK: poziom kształcenia: profil: forma studiów: Lp. O/F kod modułu/ przedmiotu* SEMESTR 1 1 O PG_00045356 Business law 2 O PG_00045290 Basics of computer programming 3 O PG_00045352 Linear
Bardziej szczegółowoLogika matematyczna w informatyce
Paweł Gładki Logika matematyczna w informatyce http://www.math.us.edu.pl/ pgladki/ Konsultacje: Piątek, 8:00-9:30 Jeżeli chcesz spotkać się z prowadzącym podczas konsultacji, postaraj się powiadomić go
Bardziej szczegółowoO AKSJOMATYCZNYCH OPISACH JEZYKA NATURALNEGO 1
O AKSJOMATYCZNYCH OPISACH JEZYKA NATURALNEGO 1 JERZY POGONOWSKI Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl Współczesną lingwistykę strukturalną charakteryzuje się jako naukę zajmującą się badaniem
Bardziej szczegółowoKraków, 14 marca 2013 r.
Scenariusze i trendy rozwojowe wybranych technologii społeczeństwa informacyjnego do roku 2025 Antoni Ligęza Perspektywy rozwoju systemów eksperckich do roku 2025 Kraków, 14 marca 2013 r. Dane informacja
Bardziej szczegółowoPROGRAM STUDIÓW - STUDIA PIERWSZEGO STOPNIA - STUDIA STACJONARNE
Filozofia - Zarządzanie wiedzą Strona 1 FILOZOFIA - Zarządzanie Wiedzą PHILOSOPHY - Konwledge management PROGRAM STUDIÓW - STUDIA PIERWSZEGO STOPNIA - STUDIA STACJONARNE CURRICULUM - BACHELOR'S DEGREE
Bardziej szczegółowoAdam Meissner.
Instytut Automatyki i Inżynierii Informatycznej Politechniki Poznańskiej Adam Meissner Adam.Meissner@put.poznan.pl http://www.man.poznan.pl/~ameis SZTUCZNA INTELIGENCJA Podstawy logiki pierwszego rzędu
Bardziej szczegółowoLogika stosowana. Ćwiczenia Wnioskowanie przez abdukcję. Marcin Szczuka. Instytut Matematyki, Uniwersytet Warszawski
Logika stosowana Ćwiczenia Wnioskowanie przez abdukcję Marcin Szczuka Instytut Matematyki, Uniwersytet Warszawski Wykład fakultatywny w semestrze zimowym 2013/2014 Marcin Szczuka (MIMUW) Logika stosowana
Bardziej szczegółowoLEMRG algorytm generowania pokoleń reguł decyzji dla baz danych z dużą liczbą atrybutów
LEMRG algorytm generowania pokoleń reguł decyzji dla baz danych z dużą liczbą atrybutów Łukasz Piątek, Jerzy W. Grzymała-Busse Katedra Systemów Ekspertowych i Sztucznej Inteligencji, Wydział Informatyki
Bardziej szczegółowoRok akademicki: 2017/2018 Kod: HKL s Punkty ECTS: 4. Poziom studiów: Studia I stopnia Forma i tryb studiów: Stacjonarne
Nazwa modułu: Logika Rok akademicki: 2017/2018 Kod: HKL-1-221-s Punkty ECTS: 4 Wydział: Humanistyczny Kierunek: Kulturoznawstwo Specjalność: Poziom studiów: Studia I stopnia Forma i tryb studiów: Stacjonarne
Bardziej szczegółowoKARTA KURSU. Odnowa Biologiczna
KARTA KURSU Odnowa Biologiczna Nazwa Nazwa w j. ang. Metodologia nauk przyrodniczych Methodology of the natural science Kod Punktacja ECTS* 2.0 Koordynator Dr hab. Alicja Walosik Zespół dydaktyczny Dr
Bardziej szczegółowoRACHUNEK PREDYKATÓW 7
PODSTAWOWE WŁASNOŚCI METAMATEMATYCZNE KRP Oczywiście systemy dedukcyjne dla KRP budowane są w taki sposób, żeby wszystkie ich twierdzenia były tautologiami; można więc pokazać, że dla KRP zachodzi: A A
Bardziej szczegółowoUniwersytet Rzeszowski
CV Profil m Dane personalne: Imię i nazwisko: Ewa Rak Data i miejsce urodzenia: 15.11.1979r. Tomaszów Lube Email: ewarak@ur.edu.pl; ewarak.ur@gm Stan cywilny: zamężna Wykształcenie: 20012003 Uniw Wydział:
Bardziej szczegółowoSztuczna inteligencja i logika. Podsumowanie przedsięwzięcia naukowego Kisielewicz Andrzej WNT 20011
Sztuczna inteligencja i logika. Podsumowanie przedsięwzięcia naukowego Kisielewicz Andrzej WNT 20011 Przedmowa. CZĘŚĆ I: WPROWADZENIE 1. Komputer 1.1. Kółko i krzyżyk 1.2. Kodowanie 1.3. Odrobina fantazji
Bardziej szczegółowoField of study: Electronics and Telecommunications Study level: First-cycle studies Form and type of study: Full-time studies. Auditorium classes
Faculty of: Computer Science, Electronics and Telecommunications Field of study: Electronics and Telecommunications Study level: First-cycle studies Form and type of study: Full-time studies Annual: 2014/2015
Bardziej szczegółowoćwiczenia 15 zaliczenie z oceną
Wydział: Prawo i Administracja Nazwa kierunku kształcenia: Prawo Rodzaj przedmiotu: podstawowy Opiekun: prof. dr hab. Kazimierz Pawłowski Poziom studiów (I lub II stopnia): Jednolite magisterskie Tryb
Bardziej szczegółowoAdres do korespondencji: Instytut Metalurgii i Inżynierii Materiałowej PAN, Kraków, ul. Reymonta 25
Adres do korespondencji: Instytut Metalurgii i Inżynierii Materiałowej PAN, 30059 Kraków, ul. Reymonta 25 Tel.: (012) 295 28 08, pokój 207, fax: (012) 295 28 04 email: nmzakuls@imimpan.krakow.pl Miejsca
Bardziej szczegółowoMATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI
MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI Program wykładów: dr inż. Barbara GŁUT Wstęp do logiki klasycznej: rachunek zdań, rachunek predykatów. Elementy semantyki. Podstawy teorii mnogości
Bardziej szczegółowoLogiki modalne. notatki z seminarium. Piotr Polesiuk
Logiki modalne notatki z seminarium Piotr Polesiuk 1 Motywacja i historia Logika modalna rozszerza logikę klasyczną o modalności takie jak φ jest możliwe, φ jest konieczne, zawsze φ, itp. i jak wiele innych
Bardziej szczegółowoSYLABUS DOTYCZY CYKLU KSZTAŁCENIA realizacja w roku akademickim 2016/2017
Załącznik nr 4 do Uchwały Senatu nr 430/01/2015 SYLABUS DOTYCZY CYKLU KSZTAŁCENIA 2016-2020 realizacja w roku akademickim 2016/2017 1.1. PODSTAWOWE INFORMACJE O PRZEDMIOCIE/MODULE Nazwa przedmiotu/ modułu
Bardziej szczegółowoKierunek i poziom studiów: matematyka, studia I stopnia, rok I. Sylabus modułu: Wstęp do matematyki (03-MO1S-12-WMat)
Uniwersytet Śląski w Katowicach str. 1 Kierunek i poziom studiów: matematyka, studia I stopnia, rok I Sylabus modułu: Wstęp do matematyki (03-MO1S-12-WMat) 1. Informacje ogólne koordynator modułu Tomasz
Bardziej szczegółowoPolskie piśmiennictwo z zakresu bibliotekoznawstwa i informacji naukowej w bazie Web of Science. Aneta Drabek
Polskie piśmiennictwo z zakresu bibliotekoznawstwa i informacji naukowej w bazie Web of Science Aneta Drabek III. Ogólnopolska Konferencja Naukowa Zarządzanie informacją w nauce, Katowice, 15-16 grudnia
Bardziej szczegółowoKrystyna Mruczek-Nasieniewska. Równościowe i zdaniowe logiki P-zgodne
Krystyna Mruczek-Nasieniewska Równościowe i zdaniowe logiki P-zgodne Toruń 2013 Recenzenci Janusz Czelakowski Andrzej Pietruszczak Projekt okładki Anna Pietruszczak Printed in Poland c Copyright by Wydawnictwo
Bardziej szczegółowoKatedra Teorii i Filozofii Prawa Poznań, dnia 27 września 2018 r.
Katedra Teorii i Filozofii Prawa Poznań, dnia 27 września 2018 r. OPISU MODUŁU KSZTAŁCENIA (SYLABUS) dla przedmiotu Logika prawnicza na kierunku Prawo I. Informacje ogólne 1. Nazwa modułu kształcenia:
Bardziej szczegółowoInżynieria Wiedzy i Systemy Ekspertowe. Niepewność wiedzy. dr inż. Michał Bereta Politechnika Krakowska
Inżynieria Wiedzy i Systemy Ekspertowe Niepewność wiedzy dr inż. Michał Bereta Politechnika Krakowska http://torus.uck.pk.edu.pl/~beretam/ beretam@torus.uck.pk.edu.pl 1 Logika Rozmyta (Fuzzy Logic) Mimo
Bardziej szczegółowo5. Algebra działania, grupy, grupy permutacji, pierścienie, ciała, pierścień wielomianów.
5. Algebra działania, grupy, grupy permutacji, pierścienie, ciała, pierścień wielomianów. Algebra jest jednym z najstarszych działów matematyki dotyczącym początkowo tworzenia metod rozwiązywania równań
Bardziej szczegółowoZASTOSOWANIE RACHUNKU OPERATORÓW MIKUS- IŃSKIEGO W PEWNYCH ZAGADNIENIACH DYNAMIKI KONSTRUKCJI
Budownictwo 18 Mariusz Poński ZASTOSOWANIE RACHUNKU OPERATORÓW MIKUS- IŃSKIEGO W PEWNYCH ZAGADNIENIACH DYNAMIKI KONSTRUKCJI 1. Metody transformacji całkowych Najczęściej spotykaną metodą rozwiązywania
Bardziej szczegółowoMetalogika Wstęp. Jerzy Pogonowski. Uniwersytet Opolski. Zakład Logiki Stosowanej UAM
Metalogika Wstęp Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Uniwersytet Opolski Jerzy Pogonowski (MEG) Metalogika Wstęp Uniwersytet Opolski 1 / 22 Wstęp Cel wykładów
Bardziej szczegółowoDIGITAL LOGIC. Warsaw Information Technology Warsaw University of Technology. Digital Logic. Prof. Tadeusz Łuba
DIGITAL LOGIC / Digital Logic Prof. Tadeusz Łuba Warsaw Information Technology Warsaw University of Technology 1 Our communication 0-22- 825-1580 luba@tele.pw.edu.pl The subject homepage is located at:
Bardziej szczegółowoNa marginesie artykułu prof. Adama Nowaczyka Zrozumieć Tarskiego
Przegląd Filozoficzny Nowa Seria R. 23: 2014, Nr 3 (91), ISSN 1230 1493 Na marginesie artykułu prof. Adama Nowaczyka Zrozumieć Tarskiego Zacznijmy od uwagi, że Tarski w swojej pracy O pojęciu prawdy w
Bardziej szczegółowoLiczba godzin Punkty ECTS Sposób zaliczenia. ćwiczenia 15 zaliczenie z oceną
Wydział: Prawo i Administracja Nazwa kierunku kształcenia: Prawo Rodzaj przedmiotu: podstawowy Opiekun: prof. dr hab. Kazimierz Pawłowski Poziom studiów (I lub II stopnia): Jednolite magisterskie Tryb
Bardziej szczegółowoMetoda Tablic Semantycznych
Procedura Plan Reguły Algorytm Logika obliczeniowa Instytut Informatyki Plan Procedura Reguły 1 Procedura decyzyjna Logiczna równoważność formuł Logiczna konsekwencja Procedura decyzyjna 2 Reguły α, β,
Bardziej szczegółowoREKRUTACJA Konwersatorium. SUBJECT NAME Lecture Disscusion Seminar Laboratory Bachelor tutorial 1. HISTORIA FILOZOFII ANTYCZNEJ E 5
ETYKA: STUDIA LICENCJACKIE I STOPNIA REKRUTACJA 2016 STUDIA STACJONARNE / FULL TIME STUDIES Lp./No. Nazwa przedmiotu Wykład Ćwiczenia Konwersatorium Laboratorium Seminarium SUBJECT NAME Lecture Disscusion
Bardziej szczegółowoPRZEWODNIK PO PRZEDMIOCIE
Nazwa przedmiotu: Kierunek: Informatyka Rodzaj przedmiotu: obowiązkowy w ramach treści kierunkowych, moduł kierunkowy ogólny Rodzaj zajęć: wykład, laboratorium BAZY DANYCH Databases Forma studiów: Stacjonarne
Bardziej szczegółowoTWIERDZENIA LIMITACYJNE 1. Roman Murawski Uniwersytet im. Adama Mickiewicza w Poznaniu Wydział Matematyki i Informatyki
Konferencja ChFPN Nauka Etyka Wiara 2013, Rydzyna 30.05-2.06. 2013 TWIERDZENIA LIMITACYJNE 1 Roman Murawski Uniwersytet im. Adama Mickiewicza w Poznaniu Wydział Matematyki i Informatyki rmur@amu.edu.pl
Bardziej szczegółowoUDZIAŁ W KONFERENCJACH
UDZIAŁ W KONFERENCJACH JERZY POGONOWSKI Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Poniższa lista obejmuje zapamiętane konferencje od 1998 roku. Wcześniejszych konferencji nie pamiętam,
Bardziej szczegółowoPodstawy sztucznej inteligencji
wykład 4 (Fuzzy logic) 23 listopad 2011 Plan wykładu 1 Systemy wnioskowania z danymi niepewnymi 2 3 Inteligentne systemy z wiedzą Systemy z wiedzą składają się z dwóch części: 1 Baza wiedzy (KB): zbioru
Bardziej szczegółowoWYKŁAD 3: METODA AKSJOMATYCZNA
METODY DOWODZENIA TWIERDZEŃ I AUTOMATYZACJA ROZUMOWAŃ WYKŁAD 3: METODA AKSJOMATYCZNA III rok kognitywistyki UAM, 2016 2017 Plan na dziś: 1. Przypomnimy, na czym polega aksjomatyczna metoda dowodzenia twierdzeń.
Bardziej szczegółowoUDZIAŁ W KONFERENCJACH
UDZIAŁ W KONFERENCJACH JERZY POGONOWSKI Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Poniższa lista obejmuje zapamiętane konferencje od 1998 roku. Wcześniejszych konferencji nie pamiętam,
Bardziej szczegółowoPraktyczne metody weryfikacji
Praktyczne metody weryfikacji Sławomir Lasota Uniwersytet Warszawski semestr zimowy 06/07. p.1/?? I. Motywacja czyli po co?. p.2/?? czerwiec 1996. p.3/?? nieobsłużony wyjatek szacunkowy koszt: 600 mln
Bardziej szczegółowo