Wybrane problemy zarządzania wiedzą
|
|
- Krystyna Marek
- 7 lat temu
- Przeglądów:
Transkrypt
1 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 Warszawa, grudzień 2007
2 Wybrane problemy zarządzania wiedzą Zadanie nr 2. Metody wnioskowania na użytek zarządzania wiedzą z uwzględnieniem aspektów temporalnych Praca nr Słowa kluczowe: algebra relacyjna, system dedukcyjny, dual tableaux, system informacyjny, niepełna informacja Kierownik pracy: prof. dr hab. inż. Andrzej Wierzbicki Wykonawcy pracy: dr Joanna Golińska-Pilarek, prof. dr hab. Ewa Orłowska Kierownik Zakładu: dr inż. Janusz Granat Copyright by Instytut Łączności, Warszawa
3 SPIS TREŚCI 1. Wstęp 2. Prace opublikowane Kilka pozycji w tej liście ma datę 2006, ale faktycznie ukazały się w roku Joanna Golińska-Pilarek and Ewa Orłowska, Tableaux and Dual Tableaux: transformation of proofs. Studia Logica 85, No3, 2007, Wendy MacCaull and Ewa Orłowska, A logic of typed relations and its applications to relational databases. Journal of Logic and Computation 16 No 6, 2006, Davide Bresolin, Joanna Golińska-Pilarek and Ewa Orłowska, A relational dual tableaux for interval temporal logics. Journal of Applied Non-classical Logics 16, No 3-4, 2006, Joanna Golińska-Pilarek and Ewa Orłowska, Relational proof systems for spatial reasoning Journal of Applied Non-classical Logics 16, No 3-4, 2006, Wojtek Dzik, Ewa Orłowska, and Clint van Alten, Relational representation theorems for lattices with negations: A survey. Lecture Notes in Computer Science 4342, 2006, Joanna Golińska-Pilarek and Ewa Orłowska, Relational logics and their applications. Lecture Notes in Computer Science 4342, 2006, Andrea Formisano, Eugenio Omodeo and Ewa Orłowska, An environment for specifying properties of dyadic relations and reasoning about them. II: Relational presentation of non-classical logics. Lecture Notes in Computer Science 4342, 2006, Ivo Düntsch, Ewa Orłowska, and Anna Radzikowska, Lattice-based relation algebras II. Lecture Notes in Computer Science 4342, 2006, Alfredo Burrieza, Manuel Ojeda-Aciego and Ewa Orłowska, Relational approach to order-of-magnitude reasoning. Lecture Notes in Computer Science 4342, 2006, Stephane Demri and Ewa Orłowska, Relative Nondeterministic Information Logic is EXPTIME-complete. Fundamenta Informaticae 75, No 3-4, 2007, Ivo Düntsch, Gunther Gediga and Ewa Orłowska, 3
4 Relational attribute systems II: Reasoning with relations in information structures. Transactions on Rough Sets VII, 2007, Joanna Golińska-Pilarek and Ewa Orłowska, Relational reasoning in formal concept analysis. Proceedings of the International Conference FUZZ-IEEE Redakcja zeszytów specjalnych czasopism i książek 3.1 Journal of Applied Non-classical Logics 16, No 3-4, Special issue Algebraic and relational deductive tools, edited by E. Orłowska, A. Policriti, and A. Szałas. 3.2 New Frontiers in Scientific Discovery, special issue of Fundamenta Informaticae 75, No 3-4, 2007, edited by E. Orłowska, J. Peters, and A. Skowron. 3.3 Transactions on Rough Sets VI, Springer, 2007, edited by J. Peters, A. Skowron, I. Duentsch, J. Grzymala-Busse, E. Orłowska, and L. Polkowski. 3.4 Transactions on Rough Sets VII, Springer, 2007, edited by J. Peters, A. Skowron, W. Marek, E. Orłowska, R. Słowinski, and W. Ziarko. 4. Prace przyjęte do druku 4.1 Ewa Orlowska and Anna Radzikowska, Representation theorems for some fuzzy logics based on residuated non-distributive lattices. Fuzzy Sets and Systems 4.2 Anna Romanowska, Jonathan Smith, and Ewa Orlowska, Abstract barycentric algebras. Fundamenta Informaticae 81 No 1-3, special issue in honor of Andrzej Grzegorczyk 4.3 Joanna Golińska-Pilarek, Ewa Orłowska, Information Logics and their Applications. In: G. Della Riccia, D. Dubois, R. Kruse, and H-J. Lenz (eds) Similarities and Preferences. Proceedings of the 2006 ISSEK Workshop, International School on the Synthesis of Expert Knowledge, Udine, Italy. 4.4 Joanna Golińska-Pilarek, Rasiowa-Sikorski proof system for the non-fregean sentential logic SCI. Journal of Applied Non-classical Logics 17 No 4 4
5 Wstęp Logiki temporalne znajdują szerokie zastosowania w informatyce, w szczególności w temporalnych bazach danych, specyfikacji i weryfikacji oprogramowania (w tym dokumentów multimedialnych) oraz protokołach bezpieczeństwa. W ramach zadania wypracowany został logiczny formalizm dla reprezentacji wiedzy o zależnościach czasowych między obiektami w systemach informacyjnych lub między zdarzeniami. Został on wszechstronnie zbadany, zgodnie z metodologią systemów logicznych. Skonstruowany został system wnioskowania w stylu dual tableau i udowodniona została jego pełność oraz badana była jego rozstrzygalność. System ten umożliwia realizację trzech podstawowych elementów dedukcji: weryfikację prawdziwości we wszystkich modelach, weryfikację prawdziwości w ustalonym modelu i weryfikację spełniania w ustalonym modelu. Zaletą systemów wnioskowania typu dual tableau jest to, że nadają się dobrze do automatyzacji, w przeciwieństwie do tradycyjnych, znanych w literaturze systemów typu Hilberta. Jako podstawową skalę czasu przyjęto zbiór z ostrym porządkiem liniowym oraz założono, że czas trwania zdarzeń reprezentuje rodzina interwałów, które mają strukturę algebry relacyjnej. Rozważane były ponadto różne warianty tej podstawowej struktury, np. skala czasu bez elementów granicznych, porządek gęsty, porządek dyskretny itp. Wyniki powyższe zostały zawarte w publikacjach 2.3, 2.9, W tej ostatniej pracy oprócz metod wnioskowania o zależnościach czasowych podane są systemy wnioskowania dla innych typów informacji, między innymi dla niepełnej informacji. Prace 2.1, 2.6, i 2.7. dotyczą w całości metodologii systemów typu dual tableau. Metodologia ta opiera się na dwóch zasadach. Po pierwsze, teoria dla której poszukuje się systemu dedukcyjnego zostaje przetłumaczona na odpowiednio skonstruowaną teorię relacyjną. Tłumaczenie to musi zachowywać prawdziwość twierdzeń danej teorii. W następnym kroku konstruowany jest system dedukcyjne dla tej relacyjnej wersji teorii wyjściowej. Pozwala to na budowanie systemów dedukcyjnych w sposób systematyczny i modularny. Okazuje się, że wspólnym jądrem wielu teorii jest struktura algebry Boole a rozszerzona o strukturę monoidu, dająca w sumie strukturę algebry relacyjnej. Reguły dedukcji, dotyczące tej właśnie bazowej struktury, są więc wspólne dla wielu teorii. W każdym konkretnym przypadku należy tylko dodać reguły, odzwierciedlające specyficzne cechy danej teorii. Reguły te muszą w sposób adekwatny odzwierciedlać semantykę danej teorii. W pracy 2.8 przedstawiona została dostatecznie bogata teoria relacyjna, w którą można tłumaczyć wiele innych teorii. Praca 2.10 jest również przyczynkiem do metodologii systemów dedukcyjnych. Przedstawiono w niej złożoność obliczeniową pewnej grupy logik do wnioskowania przy niepełnej informacji. Wyniki te dają podstawę do poszukiwania procedur decyzyjnych dla tej grupy logik. Pozostałe opublikowane prace oraz dwie spośród prac przyjętych do druku zawierają systemy dedukcyjne, skonstruowane zgodnie z powyższą metodologią, dla różnorakich teorii, w szczególności dla relacyjnych baz danych (2.2), dla kilku popularnych teorii spatial reasoning (2.4), dla teorii z negatywną informacją (2.5), dla formalnej analizy pojęć (2.12), dla pewnej grupy logik do reprezentacji niepełnej informacji (4.3) i dla pewnej logiki z operatorem identyczności (4.4). W pracach 4.1 i 4.2 badane są pewne klasy algebr, głównie pod kątem możliwości skonstruowania dla nich systemów dedukcyjnych. Możliwość taką dają odpowiednie twierdzenia o reprezentacji, które pozwalają na ujawnienie relacyjnej struktury danej klasy.
6 Wyniki uzyskane w czasie realizacji projektu były referowane na następujących konferencjach międzynarodowych: Spotkanie partnerów i konferencja projektu INTAS Information Technology Research Project : Algebraic and deduction methods in non-classical logic and their applications to Computer Science, luty 2007, Perugia, Włochy; Referat: Ewa Orłowska, Algebraic and Deduction Methods in Non-Classical Logic and their Applications to Computer Science IEEE International Conference on Fuzzy Systems, Londyn, Wielka Brytania, czerwiec 2007; Referat w ramach Special Session Relational Data Analysis : Joanna Golińska-Pilarek, Relational Reasoning in Formal Concept Analysis oraz na krajowej konferencji: 53 Konferencja Historii Logiki, Uniwersytet Jagielloński, Kraków, październik 2007; Referat: Joanna Golińska-Pilarek, Weryfikacja prawdziwości w modelach skończonych.
Techniki 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ół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ół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ół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ół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ół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ół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ół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ół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ół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ółowoMetoda tabel semantycznych. Dedukcja drogi Watsonie, dedukcja... Definicja logicznej konsekwencji. Logika obliczeniowa.
Plan Procedura decyzyjna Reguły α i β - algorytm Plan Procedura decyzyjna Reguły α i β - algorytm Logika obliczeniowa Instytut Informatyki 1 Procedura decyzyjna Logiczna konsekwencja Teoria aksjomatyzowalna
Bardziej szczegółowoMODELOWANIE I WERYFIKACJA PROTOKOŁU SCTP Z WYKORZYSTANIEM AUTOMATÓW CZASOWYCH ZE ZMIENNYMI
Zeszyty Naukowe WSInf Vol 7, Nr 1, 2008 Artur Męski 1, Agata Półrola 2 1 Wyższa Szkoła Informatyki w Łodzi 2 Uniwersytet Łódzki, Wydział Matematyki i Fizyki MODELOWANIE I WERYFIKACJA PROTOKOŁU SCTP Z WYKORZYSTANIEM
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ół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ół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ółowoWIELOKRYTERIALNE PORZĄDKOWANIE METODĄ PROMETHEE ODPORNE NA ZMIANY WAG KRYTERIÓW
Uniwersytet Ekonomiczny we Wrocławiu WIELOKRYTERIALNE PORZĄDKOWANIE METODĄ PROMETHEE ODPORNE NA ZMIANY WAG KRYTERIÓW Wprowadzenie Wrażliwość wyników analizy wielokryterialnej na zmiany wag kryteriów, przy
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ół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ół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ół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ół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ółowoLogika Temporalna i Automaty Czasowe
Modelowanie i Analiza Systemów Informatycznych Logika Temporalna i Automaty Czasowe (1) Wprowadzenie do logiki temporalnej Paweł Głuchowski, Politechnika Wrocławska wersja 2.2 Program wykładów 1. Wprowadzenie
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ół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ół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ół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ół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ół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ół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ółowoMetody dowodzenia twierdzeń i automatyzacja rozumowań Tabele syntetyczne: definicje i twierdzenia
Metody dowodzenia twierdzeń i automatyzacja rozumowań Tabele syntetyczne: definicje i twierdzenia Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl Metoda tabel syntetycznych (MTS) MTS
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ół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ół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ół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ółowoOprogramowanie zgodne z prawem
Oprogramowanie zgodne z prawem Magdalena Kowalska Law nad Software Quality Consulting Oprogramowanie zgodne z prawem Pojęcia oprogramowanie zgodne z prawem i oprogramowanie legalne Co to znaczy, że oprogramowanie
Bardziej szczegółowoTHE PART OF FUZZY SYSTEMS ASSISTING THE DECISION IN DI- AGNOSTICS OF FUEL ENGINE SUBASSEMBLIES DEFECTS
Journal of KONES Internal Combustion Engines 2005, vol. 12, 3-4 THE PART OF FUZZY SYSTEMS ASSISTING THE DECISION IN DI- AGNOSTICS OF FUEL ENGINE SUBASSEMBLIES DEFECTS Mariusz Topolski Politechnika Wrocławska,
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ółowoMiędzywydziałowe Środowiskowe Studia Doktoranckie przy Wydziale Historycznym UW Grudzień 2005 Czerwiec 2010
Curriculum Vitae Albert Hupa Kontakt Ul. Lwowska 8 m. 35 00-658 Warszawa tel. 696 436 672 e-mail: albert.hupa@uw.edu.pl Informacje Osobiste Stan cywilny: kawaler Narodowość: polska Wiek: 28 Miejsce urodzenia:
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ółowoLogika Temporalna i Automaty Czasowe
Modelowanie i Analiza Systemów Informatycznych Logika Temporalna i Automaty Czasowe (3) Logika CTL Paweł Głuchowski, Politechnika Wrocławska wersja 2.2 Treść wykładu Charakterystyka logiki CTL Czas w Computation
Bardziej szczegółowoFilozofia z elementami logiki O czym to będzie?
Filozofia z elementami logiki O czym to będzie? Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl Filozofia z elementami logiki Dwa fundamentalne pytania: Czym zajmuje się logika? Czym
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ół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ół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ółowoCASPAR długoterminowa archiwizacja zasobów cyfrowych
Biblioteka Politechniki Krakowskiej Konferencja Naukowa "Otwarte zasoby wiedzy - nowe zadania uczelni i bibliotek w rozwoju komunikacji naukowej Kraków - Zakopane,16-18.06.2011 CASPAR długoterminowa archiwizacja
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ółowoWstęp do logiki. Klasyczny Rachunek Zdań III
Wstęp do logiki Klasyczny Rachunek Zdań III Przypomnijmy: Logika: = Teoria form (schematów, reguł) poprawnych wnioskowań. Wnioskowaniem nazywamy jakąkolwiek skończoną co najmniej dwuwyrazową sekwencję
Bardziej szczegółowoActivities Performed by prof. Tadeusiewicz in Books and Journals Editorial Boards
Activities Performed by prof. Tadeusiewicz in Books and Journals Editorial Boards Member of Editorial Board of the book series 1. Associate Editor for book series "Advances in Applied Intelligence Technologies"
Bardziej szczegółowoPLANY I PROGRAMY STUDIÓW
WYDZIAŁ INŻYNIERII PRODUKCJI I LOGISTYKI PLANY I PROGRAMY STUDIÓW STUDY PLANS AND PROGRAMS KIERUNEK STUDIÓW FIELD OF STUDY - ZARZĄDZANIE I INŻYNIERIA PRODUKCJI - MANAGEMENT AND PRODUCTION ENGINEERING Studia
Bardziej szczegółowoZbiory przybliżone, cz. 1 (wersja do druku) dr. Piotr Szczuko
Zbiory przybliżone, cz. 1 (wersja do druku) dr. Piotr Szczuko Katedra Systemów Multimedialnych 2009 Plan wykładu Historia zbiorów przybliżonych System informacyjny i decyzyjny Reguły decyzyjne Tożsamość
Bardziej szczegółowoWYKAZ PUBLIKACJI I. Artykuły Ia. Opublikowane przed obroną doktorską
Dr Marcin Pełka Uniwersytet Ekonomiczny we Wrocławiu Wydział Ekonomii, Zarządzania i Turystyki Katedra Ekonometrii i Informatyki WYKAZ PUBLIKACJI I. Artykuły Ia. Opublikowane przed obroną doktorską 1.
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ółowoAlicja Marszałek Różne rodzaje baz danych
Alicja Marszałek Różne rodzaje baz danych Rodzaje baz danych Bazy danych można podzielić wg struktur organizacji danych, których używają. Można podzielić je na: Bazy proste Bazy złożone Bazy proste Bazy
Bardziej szczegółowostrona 1 / 11 Autor: Walesiak Marek Subdyscyplina: Klasyfikacja i analiza danych Publikacje:
Autor: Walesiak Marek Subdyscyplina: Klasyfikacja i analiza danych Publikacje: 1. Autorzy rozdziału: Borys Tadeusz; Strahl Danuta; Walesiak Marek Tytuł rozdziału: Wkład ośrodka wrocławskiego w rozwój teorii
Bardziej szczegółowoLogika Stosowana. Wykład 1 - Logika zdaniowa. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017
Logika Stosowana Wykład 1 - Logika zdaniowa Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika Stosowana 2017 1 / 30 Plan wykładu 1 Język
Bardziej szczegółowoFORMALIZACJA SUBIEKTYWNEJ NIEPEWNOŚCI
LOGITRANS - VII KONFERENCJA NAUKOWO-TECHNICZNA LOGISTYKA SYSTEMY TRANSPORTOWE BEZPIECZEŃSTWO W TRANSPORCIE Arkadiusz BARCZAK 1 niepewność subiektywna nieprecyzyjne prawdopodobieństwo zbiory losowe dystrybucja
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ół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ółowoLogika Temporalna i Automaty Czasowe
Modelowanie i Analiza Systemów Informatycznych Logika Temporalna i Automaty Czasowe (2) Logika LTL Paweł Głuchowski, Politechnika Wrocławska wersja 2.1 Treść wykładu Charakterystyka logiki LTL Czas w Linear
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ółowoFORMALIZACJA TEMPORALNA TEKSTÓW O CHARAKTERZE REGULAMINOWYM NA PRZYKŁADZIE REGULAMINU STUDIÓW NA UNIWERSYTECIE EKONOMICZNYM W KATOWICACH
Maria Mach-Król Uniwersytet Ekonomiczny w Katowicach FORMALIZACJA TEMPORALNA TEKSTÓW O CHARAKTERZE REGULAMINOWYM NA PRZYKŁADZIE REGULAMINU STUDIÓW NA UNIWERSYTECIE EKONOMICZNYM W KATOWICACH Wprowadzenie
Bardziej szczegółowoMatematyka Stosowana na Politechnice Wrocławskiej. Komitet Matematyki PAN, luty 2017 r.
Matematyka Stosowana na Politechnice Wrocławskiej Komitet Matematyki PAN, luty 2017 r. Historia kierunku Matematyka Stosowana utworzona w 2012 r. na WPPT (zespół z Centrum im. Hugona Steinhausa) studia
Bardziej szczegółowoRok akademicki: 2014/2015 Kod: EAR s Punkty ECTS: 1. Poziom studiów: Studia I stopnia Forma i tryb studiów: Stacjonarne
Nazwa modułu: Pracownia inżynierska dyplomowa Rok akademicki: 2014/2015 Kod: EAR-1-707-s Punkty ECTS: 1 Wydział: Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej Kierunek: Automatyka
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ółowostrona 1 / 12 Autor: Walesiak Marek Publikacje:
Autor: Walesiak Marek Publikacje: 1. Autorzy rozdziału: Borys Tadeusz; Strahl Danuta; Walesiak Marek Tytuł rozdziału: Wkład ośrodka wrocławskiego w rozwój teorii i zastosowań metod taksonomicznych, s.
Bardziej szczegółowoLogika Temporalna i Automaty Czasowe
Modelowanie i Analiza Systemów Informatycznych Logika Temporalna i Automaty Czasowe (10) Logika temporalna i temporalne bazy danych Paweł Głuchowski, Politechnika Wrocławska wersja 2.3 Treść wykładu Temporalna
Bardziej szczegółowoALGORYTM PROJEKTOWANIA ROZMYTYCH SYSTEMÓW EKSPERCKICH TYPU MAMDANI ZADEH OCENIAJĄCYCH EFEKTYWNOŚĆ WYKONANIA ZADANIA BOJOWEGO
Szybkobieżne Pojazdy Gąsienicowe (2) Nr 2, 24 Mirosław ADAMSKI Norbert GRZESIK ALGORYTM PROJEKTOWANIA CH SYSTEMÓW EKSPERCKICH TYPU MAMDANI ZADEH OCENIAJĄCYCH EFEKTYWNOŚĆ WYKONANIA ZADANIA BOJOWEGO. WSTĘP
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ół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ół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 86, pokój 10, fax: (012) 295 28 04 email: w.wajda@imim.pl Miejsca zatrudnienia
Bardziej szczegółowoPODEJMOWANIE DECYZJI Z WYKORZYSTANIEM ROZMYTEJ METODY SAW I TRANSFORMATY MELLINA 1
METODY ILOŚCIOWE W BADANIACH EKONOMICZNYCH Tom XVI, 2015, str. 141 150 PODEJMOWANIE DECYZJI Z WYKORZYSTANIEM ROZMYTEJ METODY SAW I TRANSFORMATY MELLINA 1 Dariusz Kacprzak Katedra Matematyki, Politechnika
Bardziej szczegółowoAuditorium classes. Lectures
Faculty of: Mechanical and Robotics Field of study: Mechatronic with English as instruction language Study level: First-cycle studies Form and type of study: Full-time studies Annual: 2016/2017 Lecture
Bardziej szczegółowoPOZYSKIWANIE WIEDZY Z RELACYJNYCH BAZ DANYCH: WIELOPODMIOTOWE PODSUMOWANIA LINGWISTYCZNE
Izabela Superson Adam Niewiadomski Politechnika Łódzka POZYSKIWANIE WIEDZY Z RELACYJNYCH BAZ DANYCH: WIELOPODMIOTOWE PODSUMOWANIA LINGWISTYCZNE Wprowadzenie Obecnie trudno wyobrazić sobie jakąkolwiek instytucję
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ółowoUniwersytet Śląski. Wydział Informatyki i Nauki o Materiałach PROGRAM KSZTAŁCENIA. Studia III stopnia (doktoranckie) kierunek Informatyka
Uniwersytet Śląski Wydział Informatyki i Nauki o Materiałach PROGRAM KSZTAŁCENIA Studia III stopnia (doktoranckie) kierunek Informatyka (przyjęty przez Radę Wydziału Informatyki i Nauki o Materiałach w
Bardziej szczegółowomgr inż. Sebastian Meszyński
Wykształcenie: 2011 obecnie studia doktoranckie: Wydział Fizyki, Astronomii i Informatyki Stosowanej, Katedra Informatyki Stosowanej. 2009-2011 - studia magisterskie: Wydział Fizyki, Astronomii i Informatyki
Bardziej szczegółowoPodstawy Automatyki. Wykład 13 - Układy bramkowe. dr inż. Jakub Możaryn. Warszawa, Instytut Automatyki i Robotyki
Wykład 13 - Układy bramkowe Instytut Automatyki i Robotyki Warszawa, 2015 Układy z elementów logicznych Bramki logiczne Elementami logicznymi (bramkami logicznymi) są urządzenia o dwustanowym sygnale wyjściowym
Bardziej szczegółowoInterwałowe zbiory rozmyte
Interwałowe zbiory rozmyte 1. Wprowadzenie. Od momentu przedstawienia koncepcji klasycznych zbiorów rozmytych (typu 1), były one krytykowane za postać jaką przybiera funkcja przynależności. W przypadku
Bardziej szczegółowoTerminy egzaminów dla I roku MATEMATYKI - studia stacjonarne I stopnia. semestr letni 2018/2019, spec. Nauczanie matematyki i Informatyki
studia stacjonarne - sesja letnia 2018/2019 Terminy egzaminów dla I roku MATEMATYKI - studia stacjonarne I stopnia spec. Nauczanie matematyki i Informatyki I godzina sala 1 Analiza matematyczna 2 x 17.06
Bardziej szczegółowoTerminy egzaminów dla I roku MATEMATYKI - studia stacjonarne I stopnia. semestr letni 2018/2019, spec. Nauczanie matematyki i Informatyki
studia stacjonarne - sesja letnia 2018/2019 Terminy egzaminów dla I roku MATEMATYKI - studia stacjonarne I stopnia spec. Nauczanie matematyki i Informatyki I godzina sala 1 Analiza matematyczna 2 x 17.06
Bardziej szczegółowoSZTUCZNA INTELIGENCJA
SZTUCZNA INTELIGENCJA SYSTEMY ROZMYTE Adrian Horzyk Akademia Górniczo-Hutnicza Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej Katedra Automatyki i Inżynierii Biomedycznej Laboratorium
Bardziej szczegółowoLogika systemów wieloagentowych
Logika systemów wieloagentowych Magdalena Kacprzak Autoreferat rozprawy doktorskiej Systemy wieloagentowe (ang. multiagent systems) są źródłem wielu nowych narzędzi i technologii wspomagających analizowanie
Bardziej szczegółowoWYKORZYSTANIE LOGIKI SEKWENTÓW GENTZENA DO SYMBOLICZNEJ ANALIZY SIECI PETRIEGO
II Konferencja Naukowa KNWS'05 "Informatyka- sztuka czy rzemios o" 15-18 czerwca 2005, Z otniki Luba skie WYKORZYSTANIE LOGIKI SEKWENTÓW GENTZENA DO SYMBOLICZNEJ ANALIZY SIECI PETRIEGO Jacek Tkacz Instytut
Bardziej szczegółowoSystemy baz danych w zarządzaniu przedsiębiorstwem. W poszukiwaniu rozwiązania problemu, najbardziej pomocna jest znajomość odpowiedzi
Systemy baz danych w zarządzaniu przedsiębiorstwem W poszukiwaniu rozwiązania problemu, najbardziej pomocna jest znajomość odpowiedzi Proces zarządzania danymi Zarządzanie danymi obejmuje czynności: gromadzenie
Bardziej szczegółowoProjekt grupowy - opis przedmiotu
grupowy - opis przedmiotu Informacje ogólne Nazwa przedmiotu grupowy Kod przedmiotu 11.3-WI-INFP-PG Wydział Kierunek Wydział Informatyki, Elektrotechniki i Automatyki Informatyka / Sieciowe systemy informatyczne
Bardziej szczegółowoMetadane w Jagiellońskiej Bibliotece Cyfrowej. Piotr Myszkowski
Metadane w Jagiellońskiej Bibliotece Cyfrowej Piotr Myszkowski Informacje o obiektach w Jagiellońskiej Bibliotece Cyfrowej Dwa poziomy strukturyzacji informacji o obiektach odpowiadają dwóm podstawowym
Bardziej szczegółowoWykaz prac złożonych do druku, przyjętych do druku lub opublikowanych w wyniku realizacji projektu
Wykaz prac złożonych do druku, przyjętych do druku lub opublikowanych w wyniku realizacji projektu Publikacje w czasopismach Podstawy teoretyczne sieci przedsiębiorstw Modelowanie procesów i systemów logistycznych
Bardziej szczegółowoObowiązkowy A. Przedmioty kształcenia ogólnego 1 Etykieta w życiu publicznym wykład 9 zaliczenie tak 1 B. Przedmioty podstawowe
Instytut Informatyki, PWSZ w Nysie Kierunek: Informatyka Specjalność: Systemy internetowe, SI studia niestacjonarne Rok 2012/2013 Rok I, semestr I (zimowy) zajęć 1 Etykieta w życiu publicznym 9 tak 1 Przedmiot
Bardziej szczegółowoJęzyk programowania komputerów kwantowych oparty o model macierzy gęstości
oparty o model macierzy gęstości (Promotorski) Piotr Gawron Instytut Informatyki Teoretycznej i Stosowanej PAN 13 grudnia 2008 Plan wystąpienia Wstęp Motywacja Teza pracy Model obliczeń kwantowych Operacje
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 niestacjonarne 1 sem. PO-W08-INF- - -NZ-Ii-WRO-(2015/2016) MAP003056W Algebra z geometrią analityczną
Bardziej szczegółowoTerminy egzaminów dla I roku MATEMATYKI - studia stacjonarne I stopnia
studia stacjonarne - zasadnicza i poprawkowa sesja letnia 2016/2017 Terminy egzaminów dla I roku MATEMATYKI - studia stacjonarne I stopnia spec. Nauczanie matematyki i Informatyki oraz Nauczanie matematyki
Bardziej szczegółowoZastosowania metod analitycznej złożoności obliczeniowej do przetwarzania sygnałów cyfrowych oraz w metodach numerycznych teorii aproksymacji
Zastosowania metod analitycznej złożoności obliczeniowej do przetwarzania sygnałów cyfrowych oraz w metodach numerycznych teorii aproksymacji Marek A. Kowalski Uniwersytet Kardynała Stefana Wyszyńskiego
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 opisu sprzętu VHDL
Język opisu sprzętu VHDL dr inż. Adam Klimowicz Seminarium dydaktyczne Katedra Mediów Cyfrowych i Grafiki Komputerowej Informacje ogólne Język opisu sprzętu VHDL Przedmiot obieralny dla studentów studiów
Bardziej szczegółowoInformacja o działalności naukowej i organizacyjnej. w latach 2008-2010
Jerzy Kisielnicki Informacja o działalności naukowej i organizacyjnej w latach 2008-2010 Członkostwo w komitetach naukowych konferencji i redakcjach czasopism: Członek komitetów redakcyjnych następujących
Bardziej szczegółowoTerminy egzaminów dla I roku MATEMATYKI - studia stacjonarne I stopnia
studia stacjonarne - sesja letnia 2017/2018 Terminy egzaminów dla I roku MATEMATYKI - studia stacjonarne I stopnia spec. Nauczanie matematyki i Informatyki oraz Nauczanie matematyki i języka angielskiego
Bardziej szczegółowoLISTA PUBLIKACJI. dr Ewa Kołczyk Instytut Informatyki Uniwersytetu Wrocławskiego. Artykuły. Książki
dr Ewa Kołczyk Instytut Informatyki Uniwersytetu Wrocławskiego Artykuły LISTA PUBLIKACJI 1. Hardt-Olejniczak, G., Kołczyk, E., Uwagi o kształceniu nauczycieli informatyki, Komputer w Edukacji, 1-2(1997),
Bardziej szczegółowo