Reguły i fakty zapisz za pomocą perceptów. Metodą wnioskowania w tył, sprawdzić czy mój komputer jest wyposażony w procesor PII.

Wielkość: px
Rozpocząć pokaz od strony:

Download "Reguły i fakty zapisz za pomocą perceptów. Metodą wnioskowania w tył, sprawdzić czy mój komputer jest wyposażony w procesor PII."

Transkrypt

1 Reguły i fakty zapisz za pomocą perceptów. Metodą wnioskowania w tył, sprawdzić czy mój komputer jest wyposażony w procesor PII.

2 1. (cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) ) (obudowa:komputer:x1,duża) (procesor:komputer:x1,pii). 2. (prędkość:komputer:x1,szybki) ) (przeznaczenie:komputer:x1,gry) (cena:komputer:x1,drogi). 3. (pamięć:komputer:x1,dużo) (cecha:komputer:x1,uniwersalny). 4. (nagrywarka:komputer:x1,nie) (przeznaczenie:komputer:x1,gry) 5. (nagrywarka:komputer:x1,tak) (cena:komputer:x1,drogi) Fakty: 1. (obudowa:komputer:mój,duża) 2. (prędkość:komputer:mój,szybki) 3. (nagrywarka:komputer:mój,tak) 4. (pamięć:komputer:mój,dużo)

3 Cel wnioskowania mój komputer jest wyposażony w procesor PII (procesor:komputer:mój,pii)

4 Wnioskowanie wstecz - idea Najpierw szukamy celu w faktach, jeśli cel jest jednym z faktów to koniec wnioskowania. Jeśli cel nie jest faktem w bazie wiedzy to szukamy w konkluzjach reguł. Jeśli znajdziemy regułę, której konkluzja jest naszym celem wnioskowania, to teraz musimy udowodnić wszystkie jej przesłanki. Dla każdej przesłanki dowód przeprowadzamy tak jak dla celu głównego (więc najpierw szukamy w faktach, a dopiero gdy nie znajdziemy szukamy w konkluzjach reguł).

5 Cel wnioskowania (procesor:komputer:mój,pii) Krok 1: Szukamy w faktach 1. (obudowa:komputer:mój,duża) 2. (prędkość:komputer:mój,szybki) 3. (nagrywarka:komputer:mój,tak) 4. (pamięć:komputer:mój,dużo) Wynik: Brak celu w faktach

6 Cel wnioskowania (procesor:komputer:mój,pii) Krok 2: Szukamy w konkluzjach reguł (cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) ) (obudowa:komputer:x1,duża) (procesor:komputer:x1,pii). (prędkość:komputer:x1,szybki) ) (przeznaczenie:komputer:x1,gry) (cena:komputer:x1,drogi). (pamięć:komputer:x1,dużo) (cecha:komputer:x1,uniwersalny). (nagrywarka:komputer:x1,nie) (przeznaczenie:komputer:x1,gry) (nagrywarka:komputer:x1,tak) (cena:komputer:x1,drogi) Wynik: Cel jest konkluzją reguły 1.

7 Wnioskowanie mój (procesor:komputer:x1,pii) R1 (cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) (obudowa:komputer:x1,duża)

8 Wnioskowanie mój (procesor:komputer:x1,pii) R1 (cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) (obudowa:komputer:x1,duża)

9 Wnioskowanie mój (procesor:komputer:x1,pii) R1 (cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) (obudowa:komputer:x1,duża) Czy znany jest fakt: (cena:komputer:mój,drogi) 1. (obudowa:komputer:mój,duża) 2. (prędkość:komputer:mój,szybki) 3. (nagrywarka:komputer:mój,tak) 4. (pamięć:komputer:mój,dużo) NIE

10 Cel wnioskowania (cena:komputer:mój,drogi) Krok 1: Szukamy w faktach 1. (obudowa:komputer:mój,duża) 2. (prędkość:komputer:mój,szybki) 3. (nagrywarka:komputer:mój,tak) 4. (pamięć:komputer:mój,dużo) Wynik: Brak celu w faktach

11 Cel wnioskowania (cena:komputer:mój,drogi) Krok 2: Szukamy w konkluzjach reguł (cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) ) (obudowa:komputer:x1,duża) (procesor:komputer:x1,pii). (prędkość:komputer:x1,szybki) ) (przeznaczenie:komputer:x1,gry) (cena:komputer:x1,drogi). (pamięć:komputer:x1,dużo) (cecha:komputer:x1,uniwersalny). (nagrywarka:komputer:x1,nie) (przeznaczenie:komputer:x1,gry) (nagrywarka:komputer:x1,tak) (cena:komputer:x1,drogi) Wynik: Cel jest konkluzją reguły 2 i 5.

12 Wnioskowanie mój (procesor:komputer:x1,pii) R1 (cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) (obudowa:komputer:x1,duża) R2 (prędkość:komputer:x1,szybki) (przeznaczenie:komputer:x1,gry)

13 Wnioskowanie mój (procesor:komputer:x1,pii) R1 (cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) (obudowa:komputer:x1,duża) R2 (prędkość:komputer:x1,szybki) (przeznaczenie:komputer:x1,gry)

14 Wnioskowanie mój (procesor:komputer:x1,pii) R1 (cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) (obudowa:komputer:x1,duża) R2 (prędkość:komputer:x1,szybki) (przeznaczenie:komputer:x1,gry) Czy znany jest fakt: (prędkość:komputer:x1,szybki) 1. (obudowa:komputer:mój,duża) 2. (prędkość:komputer:mój,szybki) 3. (nagrywarka:komputer:mój,tak) 4. (pamięć:komputer:mój,dużo) TAK F2: (prędkość:komputer:mój,szybki)

15 Wnioskowanie mój (procesor:komputer:x1,pii) R1 (cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) (obudowa:komputer:x1,duża) R2 (prędkość:komputer:x1,szybki) (przeznaczenie:komputer:x1,gry) Czy znany jest fakt: (przeznaczenie:komputer:mój,gry) 1. (obudowa:komputer:mój,duża) 2. (prędkość:komputer:mój,szybki) 3. (nagrywarka:komputer:mój,tak) 4. (pamięć:komputer:mój,dużo) NIE

16 Cel wnioskowania (przeznaczenie:komputer:mój,gry) Krok 1: Szukamy w faktach 1. (obudowa:komputer:mój,duża) 2. (prędkość:komputer:mój,szybki) 3. (nagrywarka:komputer:mój,tak) 4. (pamięć:komputer:mój,dużo) Wynik: Brak celu w faktach

17 Cel wnioskowania (przeznaczenie:komputer:mój,gry) Krok 2: Szukamy w konkluzjach reguł (cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) ) (obudowa:komputer:x1,duża) (procesor:komputer:x1,pii). (prędkość:komputer:x1,szybki) ) (przeznaczenie:komputer:x1,gry) (cena:komputer:x1,drogi). (pamięć:komputer:x1,dużo) (cecha:komputer:x1,uniwersalny). (nagrywarka:komputer:x1,nie) (przeznaczenie:komputer:x1,gry) (nagrywarka:komputer:x1,tak) (cena:komputer:x1,drogi) Wynik: Cel jest konkluzją reguły 4

18 Wnioskowanie mój (procesor:komputer:x1,pii) R1 (cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) (obudowa:komputer:x1,duża) R2 (prędkość:komputer:x1,szybki) (przeznaczenie:komputer:x1,gry) R4 (nagrywarka:komputer:x1,nie)

19 Cel wnioskowania (nagrywarka:komputer:x1,nie) Krok 1: Szukamy w faktach 1. (obudowa:komputer:mój,duża) 2. (prędkość:komputer:mój,szybki) 3. (nagrywarka:komputer:mój,tak) 4. (pamięć:komputer:mój,dużo) Wynik: Brak celu w faktach

20 Cel wnioskowania (przeznaczenie:komputer:mój,gry) Krok 2: Szukamy w konkluzjach reguł (cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) ) (obudowa:komputer:x1,duża) (procesor:komputer:x1,pii). (prędkość:komputer:x1,szybki) ) (przeznaczenie:komputer:x1,gry) (cena:komputer:x1,drogi). (pamięć:komputer:x1,dużo) (cecha:komputer:x1,uniwersalny). (nagrywarka:komputer:x1,nie) (przeznaczenie:komputer:x1,gry) (nagrywarka:komputer:x1,tak) (cena:komputer:x1,drogi) Wynik: Brak reguły o konkluzji takiej jak cel wnioskowania. Wniosek: Nie udowodnimy celu wnioskowania za pomocą reguły 2. Spróbujemy więc jeszcze za pomocą reguły 5.

21 Wnioskowanie mój (procesor:komputer:x1,pii) R1 (cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) (obudowa:komputer:x1,duża) R2 (prędkość:komputer:x1,szybki) (przeznaczenie:komputer:x1,gry) R4 (nagrywarka:komputer:x1,nie)

22 Wnioskowanie mój (procesor:komputer:x1,pii) R1 (cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) (obudowa:komputer:x1,duża) R5 (nagrywarka:komputer:x1,tak)

23 Cel wnioskowania (nagrywarka:komputer:x1,tak) Krok 1: Szukamy w faktach 1. (obudowa:komputer:mój,duża) 2. (prędkość:komputer:mój,szybki) 3. (nagrywarka:komputer:mój,tak) 4. (pamięć:komputer:mój,dużo) Wynik: Cel to fakt 3.

24 Cel wnioskowania Wynik: Jedyny warunek reguły 5 został potwierdzony. To uaktywnia tę regułę a w efekcie konkluzja tej reguły zostaje dodana jako nowy fakt do bazy wiedzy. 1. (obudowa:komputer:mój,duża) 2. (prędkość:komputer:mój,szybki) 3. (nagrywarka:komputer:mój,tak) 4. (pamięć:komputer:mój,dużo) 5. (cena:komputer:mój,drogi)

25 Wnioskowanie mój (procesor:komputer:x1,pii) R1 (cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) (obudowa:komputer:x1,duża) R5 (nagrywarka:komputer:x1,tak) F3 (nagrywarka:komputer:mój,tak)

26 Wnioskowanie mój (procesor:komputer:x1,pii) R1 (cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) (obudowa:komputer:x1,duża) R5 (nagrywarka:komputer:x1,tak) F3 (nagrywarka:komputer:mój,tak)

27 Wnioskowanie mój (procesor:komputer:x1,pii) R1 (cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) (obudowa:komputer:x1,duża) R5 (nagrywarka:komputer:x1,tak) F3 (nagrywarka:komputer:mój,tak)

28 Cel wnioskowania (cecha:komputer:mój,uniwersalny) Krok 1: Szukamy w faktach 1. (obudowa:komputer:mój,duża) 2. (prędkość:komputer:mój,szybki) 3. (nagrywarka:komputer:mój,tak) 4. (pamięć:komputer:mój,dużo) 5. (cena:komputer:mój,drogi) Wynik: Brak celu w faktach

29 Cel wnioskowania (cecha:komputer:mój,uniwersalny) Krok 2: Szukamy w konkluzjach reguł (cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) ) (obudowa:komputer:x1,duża) (procesor:komputer:x1,pii). (prędkość:komputer:x1,szybki) ) (przeznaczenie:komputer:x1,gry) (cena:komputer:x1,drogi). (pamięć:komputer:x1,dużo) (cecha:komputer:x1,uniwersalny). (nagrywarka:komputer:x1,nie) (przeznaczenie:komputer:x1,gry) (nagrywarka:komputer:x1,tak) (cena:komputer:x1,drogi) Wynik: Cel jest konkluzją reguły 3

30 Wnioskowanie mój (procesor:komputer:x1,pii) R1 (cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) (obudowa:komputer:x1,duża) R5 R3 (nagrywarka:komputer:x1,tak) (pamięć:komputer:x1,dużo) F3 (nagrywarka:komputer:mój,tak)

31 Cel wnioskowania (pamięć:komputer:mój,dużo) Krok 1: Szukamy w faktach 1. (obudowa:komputer:mój,duża) 2. (prędkość:komputer:mój,szybki) 3. (nagrywarka:komputer:mój,tak) 4. (pamięć:komputer:mój,dużo) 5. (cena:komputer:mój,drogi) Wynik: Cel jest faktem 4

32 Wnioskowanie mój (procesor:komputer:x1,pii) R1 (cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) (obudowa:komputer:x1,duża) R5 R3 (nagrywarka:komputer:x1,tak) F3 (nagrywarka:komputer:mój,tak) (pamięć:komputer:x1,dużo) F4 (pamięć:komputer:mój,dużo)

33 Cel wnioskowania Wynik: Jedyny warunek reguły 3 został potwierdzony. To uaktywnia tę regułę a w efekcie konkluzja tej reguły zostaje dodana jako nowy fakt do bazy wiedzy. 1. (obudowa:komputer:mój,duża) 2. (prędkość:komputer:mój,szybki) 3. (nagrywarka:komputer:mój,tak) 4. (pamięć:komputer:mój,dużo) 5. (cena:komputer:mój,drogi) 6. (cecha:komputer:mój,uniwersalny)

34 Wnioskowanie mój (procesor:komputer:x1,pii) R1 (cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) (obudowa:komputer:x1,duża) R5 (nagrywarka:komputer:x1,tak) F3 (nagrywarka:komputer:mój,tak) R3 (pamięć:komputer:x1,dużo) F4 (pamięć:komputer:mój,dużo)

35 Cel wnioskowania (obudowa:komputer:mój,duża) Krok 1: Szukamy w faktach 1. (obudowa:komputer:mój,duża) 2. (prędkość:komputer:mój,szybki) 3. (nagrywarka:komputer:mój,tak) 4. (pamięć:komputer:mój,dużo) 5. (cena:komputer:mój,drogi) 6. (cecha:komputer:mój,uniwersalny) Wynik: Cel jest faktem 1

36 Wnioskowanie mój (procesor:komputer:x1,pii) R1 (cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) (obudowa:komputer:x1,duża) R5 (nagrywarka:komputer:x1,tak) F3 (nagrywarka:komputer:mój,tak) R3 (pamięć:komputer:x1,dużo) F4 (pamięć:komputer:mój,dużo) F1 (obudowa:komputer:mój,duża)

37 Cel wnioskowania Wynik: Wszystkie przesłanki reguły zostały potwierdzone. To uaktywnia tę regułę a w efekcie konkluzja tej reguły zostaje dodana jako nowy fakt do bazy wiedzy. 1. (obudowa:komputer:mój,duża) 2. (prędkość:komputer:mój,szybki) 3. (nagrywarka:komputer:mój,tak) 4. (pamięć:komputer:mój,dużo) 5. (cena:komputer:mój,drogi) 6. (cecha:komputer:mój,uniwersalny) 7. (procesor:komputer:mój,pii)

38 Wnioskowanie mój (procesor:komputer:x1,pii) R1 (cena:komputer:x1,drogi) (cecha:komputer:x1,uniwersalny) (obudowa:komputer:x1,duża) R5 (nagrywarka:komputer:x1,tak) F3 (nagrywarka:komputer:mój,tak) R3 (pamięć:komputer:x1,dużo) F4 (pamięć:komputer:mój,dużo) F1 (obudowa:komputer:mój,duża)

Percepcja bodźców istnienia Perceptami (PER) nazywamy reakcję na istnienia, co jest wynikiem percepcji

Percepcja bodźców istnienia Perceptami (PER) nazywamy reakcję na istnienia, co jest wynikiem percepcji Wstęp Percepcja jest przez nas rozumiana intuicyjnie: odzwierciedlenie przez człowieka przedmiotów, zjawisk, bodźców przez jego narządy zmysłowe Bodźce to inaczej istnienia (byty) oznaczamy je przez ENT

Bardziej szczegółowo

Systemy ekspertowe : percepty

Systemy ekspertowe : percepty Instytut Informatyki Uniwersytetu Śląskiego 4 maja 2012 Percept jest parą (pa, val), której pierwszy element pa jest parametrem perceptu charakteryzującym pewne istnienie e z wartością val będącą drugim

Bardziej szczegółowo

Systemy ekspertowe. Wnioskowanie w systemach regułowych. Część piąta. Autor Roman Simiński.

Systemy ekspertowe. Wnioskowanie w systemach regułowych. Część piąta.  Autor Roman Simiński. Część piąta Autor Roman Simiński Kontakt siminski@us.edu.pl www.us.edu.pl/~siminski Niniejsze opracowanie zawiera skrót treści wykładu, lektura tych materiałów nie zastąpi uważnego w nim uczestnictwa.

Bardziej szczegółowo

Systemy eksperowe. Agnieszka Nowak Brzezińska Wykład I

Systemy eksperowe. Agnieszka Nowak Brzezińska Wykład I Systemy eksperowe Agnieszka Nowak Brzezińska Wykład I Zakres materiału: Metody wnioskowania w regułowych bazach wiedzy PC-Shell jako narzędzie do budowy szkieletowych systemów ekspertowych (Sprawozdanie

Bardziej szczegółowo

Systemy ekspertowe. Krzysztof Patan

Systemy ekspertowe. Krzysztof Patan Systemy ekspertowe Krzysztof Patan Wprowadzenie System ekspertowy Program komputerowy, który wykonuje złożone zadania o dużych wymaganiach intelektualnych i robi to tak dobrze jak człowiek będący ekspertem

Bardziej szczegółowo

Systemy ekspertowe : program PCShell

Systemy ekspertowe : program PCShell Instytut Informatyki Uniwersytetu Śląskiego lab 1 Opis sytemu ekspertowego Metody wnioskowania System PcShell Projekt System ekspertowy - system ekspertowy to system komputerowy zawierający w sobie wyspecjalizowaną

Bardziej szczegółowo

Metody wnioskowania. Wnioskowanie w przód (ang. forward chaining) Wnioskowanie w tył (ang. Backward chaining) Od przesłanki do konkluzji Np..

Metody wnioskowania. Wnioskowanie w przód (ang. forward chaining) Wnioskowanie w tył (ang. Backward chaining) Od przesłanki do konkluzji Np.. Systemy regułowe Metody wnioskowania Wnioskowanie w przód (ang. forward chaining) Od przesłanki do konkluzji Np.. CLIPS Wnioskowanie w tył (ang. Backward chaining) Czyli od konkluzji do przesłanki Np..

Bardziej szczegółowo

Systemy ekspertowe. PC-Shell. Sprawozdanie z bazy wiedzy

Systemy ekspertowe. PC-Shell. Sprawozdanie z bazy wiedzy Wydział Informatyki i Nauki o Materiałach Uniwersytet Śląski Systemy ekspertowe PC-Shell Sprawozdanie z bazy wiedzy Zbigniew Kędzior Informatyka inżynierska Studia niestacjonarne Trzeci rok Grupa A 1.

Bardziej szczegółowo

Hyprovision DLP. Monitorowanie czasu pracy komputerów. (Wersja 1.1-22.08.2014)

Hyprovision DLP. Monitorowanie czasu pracy komputerów. (Wersja 1.1-22.08.2014) Hyprovision DLP Monitorowanie czasu pracy komputerów (Wersja 1.1-22.08.2014) Rozpoczęcie monitorowania czasu pracy komputerów przez system Hyprovision DLP wymaga wykonania poniższych 4 kroków: 1) Stworzenie

Bardziej szczegółowo

Rachunek perceptów. Agnieszka Nowak 6maja System perceptowy- faktograficzny

Rachunek perceptów. Agnieszka Nowak 6maja System perceptowy- faktograficzny Rachunek perceptów Agnieszka Nowak 6maja2008 1 System perceptowy- faktograficzny Systemy takie zawierają zarówno opisy faktów jak i reguły decyzyjne. Cechy systemu faktograficznego: użytkownik musi komunikować

Bardziej szczegółowo

Hyprovision DLP. Monitorowanie użycia klawisza PrintScreen. (Wersja 1.1.1-17.19.2014)

Hyprovision DLP. Monitorowanie użycia klawisza PrintScreen. (Wersja 1.1.1-17.19.2014) Hyprovision DLP Monitorowanie użycia klawisza PrintScreen (Wersja 1.1.1-17.19.2014) Rozpoczęcie monitorowania użycia klawisza PrintScreen przez system Hyprovision DLP wymaga wykonania poniższych 4 kroków:

Bardziej szczegółowo

Inżynieria wiedzy Wnioskowanie oparte na wiedzy niepewnej Opracowane na podstawie materiałów dra Michała Berety

Inżynieria wiedzy Wnioskowanie oparte na wiedzy niepewnej Opracowane na podstawie materiałów dra Michała Berety mgr Adam Marszałek Zakład Inteligencji Obliczeniowej Instytut Informatyki PK Inżynieria wiedzy Wnioskowanie oparte na wiedzy niepewnej Opracowane na podstawie materiałów dra Michała Berety Wstępnie na

Bardziej szczegółowo

Rachunek zdań i predykatów

Rachunek zdań i predykatów Rachunek zdań i predykatów Agnieszka Nowak 14 czerwca 2008 1 Rachunek zdań Do nauczenia :! 1. ((p q) p) q - reguła odrywania RO 2. reguła modus tollens MT: ((p q) q) p ((p q) q) p (( p q) q) p (( p q)

Bardziej szczegółowo

Hyprovision DLP. Monitorowanie uruchomionych procesów. (Wersja )

Hyprovision DLP. Monitorowanie uruchomionych procesów. (Wersja ) Hyprovision DLP Monitorowanie uruchomionych procesów (Wersja 1.1-26.08.2014) Rozpoczęcie monitorowania uruchomionych procesów przez system Hyprovision DLP wymaga wykonania poniższych 5 kroków: 1) Stworzenie

Bardziej szczegółowo

Opis tworzenia modelu uprawnień dla UŜytkowników

Opis tworzenia modelu uprawnień dla UŜytkowników Opis tworzenia modelu uprawnień dla UŜytkowników Zasady tworzenia uprawnień ZałoŜenie 1: Zabronienie dla UŜytkownika do podglądu rachunków Efektem będzie brak moŝliwości wyświetlenia m.in.: listy rachunków,

Bardziej szczegółowo

Myślenie w celu zdobycia wiedzy = poznawanie. Myślenie z udziałem rozumu = myślenie racjonalne. Myślenie racjonalne logiczne statystyczne

Myślenie w celu zdobycia wiedzy = poznawanie. Myślenie z udziałem rozumu = myślenie racjonalne. Myślenie racjonalne logiczne statystyczne Literatura: podstawowa: C. Radhakrishna Rao, Statystyka i prawda, 1994. G. Wieczorkowska-Wierzbińska, J. Wierzbiński, Statystyka. Od teorii do praktyki, 2013. A. Aczel, Statystyka w zarządzaniu, 2002.

Bardziej szczegółowo

Hyprovision DLP. Monitorowanie kopiowania i usuwania plików. (Wersja 1.1-26.08.2014)

Hyprovision DLP. Monitorowanie kopiowania i usuwania plików. (Wersja 1.1-26.08.2014) Hyprovision DLP Monitorowanie kopiowania i usuwania plików (Wersja 1.1-26.08.2014) Rozpoczęcie monitorowania kopiowania i usuwania plików przez system Hyprovision DLP wymaga wykonania poniższych 5 kroków:

Bardziej szczegółowo

Systemy ekspertowe i sztuczna inteligencja. dr Agnieszka Nowak Brzezioska

Systemy ekspertowe i sztuczna inteligencja. dr Agnieszka Nowak Brzezioska Systemy ekspertowe i sztuczna inteligencja dr Agnieszka Nowak Brzezioska Email: agnieszka.nowak@us.edu.pl Architektura SE Pojęcia z dziedziny systemów ekspertowych Inżynieria wiedzy - dziedzina sztucznej

Bardziej szczegółowo

A coś TY zrobił. dla (bezpieczeństwa) rowerzystów?

A coś TY zrobił. dla (bezpieczeństwa) rowerzystów? A coś TY zrobił dla (bezpieczeństwa) rowerzystów? Obywatelko! Obywatelu! Dość narzekania na infrastrukturę rowerową! Bierzemy sprawę w swoje ręce! Nie bójcie się. Nie będziemy namawiać was do budowania

Bardziej szczegółowo

6. Zagadnienie parkowania ciężarówki.

6. Zagadnienie parkowania ciężarówki. 6. Zagadnienie parkowania ciężarówki. Sterowniki rozmyte Aby móc sterować przebiegiem pewnych procesów lub też pracą urządzeń niezbędne jest stworzenie odpowiedniego modelu, na podstawie którego można

Bardziej szczegółowo

DECYZJI I ROZWIĄZYWANIE

DECYZJI I ROZWIĄZYWANIE EFEKTYWNE PODEJMOWANIE DECYZJI I ROZWIĄZYWANIE PROBLEMÓW Beata Kozyra 2018 2 dni Poniższy program może być skrócony do 1 dnia lub kilkugodzinnej prezentacji. Przy podejmowaniu decyzji naszym największym

Bardziej szczegółowo

NOWE ODKRYCIA W KLASYCZNEJ LOGICE?

NOWE ODKRYCIA W KLASYCZNEJ LOGICE? S ł u p s k i e S t u d i a F i l o z o f i c z n e n r 5 * 2 0 0 5 Jan Przybyłowski, Logika z ogólną metodologią nauk. Podręcznik dla humanistów, Wydawnictwo Uniwersytetu Gdańskiego, Gdańsk 2003 NOWE

Bardziej szczegółowo

Instrukcja obsługi Outlook Web App i konfiguracji Thunderbird

Instrukcja obsługi Outlook Web App i konfiguracji Thunderbird i konfiguracji Thunderbird Spis treści 1 Wstęp... 3 2 Outlook Web App... 4 2.1 Logowanie do poczty poprzez przeglądarkę... 4 2.2 Korzystanie z OWA... 7 2.2.1 Tworzenie nowej wiadomości... 7 2.2.2 Dodanie

Bardziej szczegółowo

Elektroniczny system wspomagający proces rejestracji kontynuacji oraz rekrutacji do przedszkoli

Elektroniczny system wspomagający proces rejestracji kontynuacji oraz rekrutacji do przedszkoli Elektroniczny system wspomagający proces rejestracji kontynuacji oraz rekrutacji do przedszkoli Szanowni Państwo, w części publicznej systemu możecie samodzielnie zarejestrować kontynuację edukacji przedszkolnej

Bardziej szczegółowo

Systemy ekspertowe. Reprezentacja wiedzy niepewnej i wnioskowanie w warunkach niepewności. Model współczynników pewności.

Systemy ekspertowe. Reprezentacja wiedzy niepewnej i wnioskowanie w warunkach niepewności. Model współczynników pewności. Część siódma Reprezentacja wiedzy niepewnej i wnioskowanie w warunkach niepewności Autor Roman Simiński Model współczynników pewności Kontakt siminski@us.edu.pl www.us.edu.pl/~siminski Niniejsze opracowanie

Bardziej szczegółowo

Maple i wykresy. 1.1 Najpierw należy się zalogować. Jak to zrobić zostało opisane w moim poprzednim tutorialu.

Maple i wykresy. 1.1 Najpierw należy się zalogować. Jak to zrobić zostało opisane w moim poprzednim tutorialu. Maple i wykresy 1 Program Maple 1.1 Najpierw należy się zalogować. Jak to zrobić zostało opisane w moim poprzednim tutorialu. 1.2 Uruchomienie programu Maple Uruchamiamy go, wpisując w konsoli maple, potwierdzając

Bardziej szczegółowo

Podstawy Sztucznej Inteligencji (PSZT)

Podstawy Sztucznej Inteligencji (PSZT) Podstawy Sztucznej Inteligencji (PSZT) Paweł Wawrzyński Wnioskowanie logiczne i systemy eksperckie Systemy posługujące się logiką predykatów: część 3/3 Dzisiaj Uogólnienie Poprawność i pełność wnioskowania

Bardziej szczegółowo

Systemy Wspomagania Decyzji

Systemy Wspomagania Decyzji Reguły Asocjacyjne Szkoła Główna Służby Pożarniczej Zakład Informatyki i Łączności March 18, 2014 1 Wprowadzenie 2 Definicja 3 Szukanie reguł asocjacyjnych 4 Przykłady użycia 5 Podsumowanie Problem Lista

Bardziej szczegółowo

Notacja. - operator implikacji, - operator koniunkcji v operator alternatywy - operator równoważności ~ operator negacji Duża litera (np.

Notacja. - operator implikacji, - operator koniunkcji v operator alternatywy - operator równoważności ~ operator negacji Duża litera (np. Systemy ekspertowe Notacja - operator implikacji, - operator koniunkcji v operator alternatywy - operator równoważności ~ operator negacji Duża litera (np. A) - fakt Klauzula Horna Klauzula Horna mówi,

Bardziej szczegółowo

Reguły asocjacyjne. Żródło: LaroseD.T., Discovering Knowledge in Data. An Introduction to Data Minig, John Wiley& Sons, Hoboken, New Jersey, 2005.

Reguły asocjacyjne. Żródło: LaroseD.T., Discovering Knowledge in Data. An Introduction to Data Minig, John Wiley& Sons, Hoboken, New Jersey, 2005. Reguły asocjacyjne Żródło: LaroseD.T., Discovering Knowledge in Data. An Introduction to Data Minig, John Wiley& Sons, Hoboken, New Jersey, 2005. Stragan warzywny -transakcje zakupów Transakcja Produkty

Bardziej szczegółowo

Laboratorium 3. Odkrywanie reguł asocjacyjnych.

Laboratorium 3. Odkrywanie reguł asocjacyjnych. Laboratorium 3 Odkrywanie reguł asocjacyjnych. 1. Uruchom narzędzie Oracle Data Miner i połącz się z serwerem bazy danych. 2. Z menu głównego wybierz Tools SQL Worksheet. W górnym oknie wprowadź i wykonaj

Bardziej szczegółowo

Elektroniczny system wspomagający proces rekrutacji do szkół podstawowych

Elektroniczny system wspomagający proces rekrutacji do szkół podstawowych Elektroniczny system wspomagający proces rekrutacji do szkół podstawowych Szanowni Państwo, w części publicznej systemu możecie samodzielnie wypełnić elektroniczny wniosek rekrutacyjny lub zgłoszenie do

Bardziej szczegółowo

Drzewa decyzyjne. 1. Wprowadzenie.

Drzewa decyzyjne. 1. Wprowadzenie. Drzewa decyzyjne. 1. Wprowadzenie. Drzewa decyzyjne są graficzną metodą wspomagania procesu decyzyjnego. Jest to jedna z najczęściej wykorzystywanych technik analizy danych. Drzewo składają się z korzenia

Bardziej szczegółowo

Metody Statystyczne. Metody Statystyczne

Metody Statystyczne. Metody Statystyczne #7 1 Czy straszenie jest bardziej skuteczne niż zachęcanie? Przykład 5.2. s.197 Grupa straszona: 8,5,8,7 M 1 =7 Grupa zachęcana: 1, 1, 2,4 M 2 =2 Średnia ogólna M=(M1+M2)/2= 4,5 Wnioskowanie statystyczne

Bardziej szczegółowo

Podstawowe definicje Z czego składa się system ekspertowy? Wnioskowanie: wprzód, wstecz, mieszane

Podstawowe definicje Z czego składa się system ekspertowy? Wnioskowanie: wprzód, wstecz, mieszane Podstawowe definicje Z czego składa się system ekspertowy? Wnioskowanie: wprzód, wstecz, mieszane Tworzymy system ekspertowy 1. Wstępna analiza i definicja dziedziny problemu. W tym: poznanie wiedzy dziedzinowej

Bardziej szczegółowo

e-zla elektroniczne zwolnienia lekarskie Przekonaj się, że warto

e-zla elektroniczne zwolnienia lekarskie Przekonaj się, że warto elektroniczne zwolnienia lekarskie Przekonaj się, że warto Ważne terminy wynikające z przepisów Od 1 stycznia 2016 r. lekarze mają możliwość wystawiania zaświadczeń lekarskich w formie dokumentu elektronicznego

Bardziej szczegółowo

Jeśli nie startuje to uszkodzony RAM. np. jeżeli X jest częścią silnika to X jest częścią auta

Jeśli nie startuje to uszkodzony RAM. np. jeżeli X jest częścią silnika to X jest częścią auta Systemy eksperckie wiedza heurystyczna deklaratywnie Plan wykładu Wnioski z badań nad systemami automatycznego dowodzenia Reguły jako forma reprezentacji wiedzy Sterowanie w systemach regułowych Mocne

Bardziej szczegółowo

Celem ćwiczenia jest zapoznanie się z podstawowymi możliwościami języka Prolog w zakresie definiowania faktów i reguł oraz wykonywania zapytań.

Celem ćwiczenia jest zapoznanie się z podstawowymi możliwościami języka Prolog w zakresie definiowania faktów i reguł oraz wykonywania zapytań. Paradygmaty Programowania Język Prolog Celem ćwiczenia jest zapoznanie się z podstawowymi możliwościami języka Prolog w zakresie definiowania faktów i reguł oraz wykonywania zapytań. Wstęp Prolog (od francuskiego

Bardziej szczegółowo

PODRĘCZNIK UŻYTKOWNIKA SYSTEMU MONITOROWANIA KSZTAŁCENIA PRACOWNIKÓW MEDYCZNYCH

PODRĘCZNIK UŻYTKOWNIKA SYSTEMU MONITOROWANIA KSZTAŁCENIA PRACOWNIKÓW MEDYCZNYCH PODRĘCZNIK UŻYTKOWNIKA SYSTEMU MONITOROWANIA KSZTAŁCENIA PRACOWNIKÓW MEDYCZNYCH WNIOSKI O EGZAMIN SPECJALIZACYJNY ROLA: PIELĘGNIARKA/POŁOŻNA 12.06.2018 Spis treści WPROWADZENIE... 3 1. LOGOWANIE DO SYSTEMU...

Bardziej szczegółowo

1. Odkrywanie asocjacji

1. Odkrywanie asocjacji 1. 2. Odkrywanie asocjacji...1 Algorytmy...1 1. A priori...1 2. Algorytm FP-Growth...2 3. Wykorzystanie narzędzi Oracle Data Miner i Rapid Miner do odkrywania reguł asocjacyjnych...2 3.1. Odkrywanie reguł

Bardziej szczegółowo

Wprowadzenie do Sztucznej Inteligencji Laboratorium lista 0.2 Elementy języka Prolog: reguły i rekurencja. Przemysław Kobylański

Wprowadzenie do Sztucznej Inteligencji Laboratorium lista 0.2 Elementy języka Prolog: reguły i rekurencja. Przemysław Kobylański Wprowadzenie do Sztucznej Inteligencji Laboratorium lista 0.2 Elementy języka Prolog: reguły i rekurencja Przemysław Kobylański Część I Wprowadzenie 1 Reguły Przypomnijmy z poprzedniej listy zadań fakty

Bardziej szczegółowo

Reprezentacja wiedzy i wnioskowanie

Reprezentacja wiedzy i wnioskowanie i wnioskowanie Dariusz Banasiak Katedra Informatyki Technicznej Wydział Elektroniki Wiedza AI to nauka o komputerowych modelach wiedzy umożliwiających rozumienie, wnioskowanie i działanie. Inteligentne

Bardziej szczegółowo

Hyprovision DLP. Monitorowanie (odblokowanie) pamięci przenośnych USB. (Wersja 1.1.1-28.08.2014)

Hyprovision DLP. Monitorowanie (odblokowanie) pamięci przenośnych USB. (Wersja 1.1.1-28.08.2014) Hyprovision DLP Monitorowanie (odblokowanie) pamięci przenośnych USB (Wersja 1.1.1-28.08.2014) Rozpoczęcie monitorowania (odblokowania) pamięci przenośnych USB przez system Hyprovision DLP wymaga wykonania

Bardziej szczegółowo

Następnie należy wybrać wzór świadectwa Ministerstwa Edukacji Narodowej, z jakiego szkoła będzie korzystać.

Następnie należy wybrać wzór świadectwa Ministerstwa Edukacji Narodowej, z jakiego szkoła będzie korzystać. Wydruk Świadectw Wydruk Świadectw jest dodatkowym modułem, dzięki któremu szkoła ma możliwość wydrukowania świadectw w oparciu o dane wprowadzone w dzienniku elektronicznym Mobireg. Świadectwa przygotowane

Bardziej szczegółowo

Programowanie w CLIPS

Programowanie w CLIPS Programowanie w CLIPS CLIPS - środowisko open source do tworzenia systemów ekspertowych. Stworzone w NASA - Johnson Space Center. System ekspertowy - jest to program lub zestaw programów komputerowych

Bardziej szczegółowo

MultiBoot. Instrukcja obsługi

MultiBoot. Instrukcja obsługi MultiBoot Instrukcja obsługi Copyright 2007 Hewlett-Packard Development Company, L.P. Informacje zawarte w niniejszym dokumencie mogą zostać zmienione bez powiadomienia. Jedyne warunki gwarancji na produkty

Bardziej szczegółowo

WSPOMAGANIE PROCESU PROJEKTOWANIA SIECI KOMPUTEROWYCH W OPARCIU O SYSTEM EKSPERTOWY. Zbigniew Buchalski

WSPOMAGANIE PROCESU PROJEKTOWANIA SIECI KOMPUTEROWYCH W OPARCIU O SYSTEM EKSPERTOWY. Zbigniew Buchalski WSPOMAGANIE PROCESU PROJEKTOWANIA SIECI KOMPUTEROWYCH W OPARCIU O SYSTEM EKSPERTOWY Zbigniew Buchalski Wprowadzenie Rozwój teorii i zastosowań narzędzi sztucznej inteligencji wiąŝe się z włączeniem ich

Bardziej szczegółowo

MultiBoot Instrukcja obsługi

MultiBoot Instrukcja obsługi MultiBoot Instrukcja obsługi Copyright 2006, 2007 Hewlett-Packard Development Company, L.P. Informacje zawarte w niniejszym dokumencie mogą zostać zmienione bez powiadomienia. Jedyne warunki gwarancji

Bardziej szczegółowo

Agnieszka NOWAK * Roman SIMIŃSKI ** 1. WSTĘP

Agnieszka NOWAK * Roman SIMIŃSKI ** 1. WSTĘP systemy ekspertowe, regułowe bazy wiedzy, struktura bazy wiedzy, wnioskowanie. Agnieszka NOWAK * Roman SIMIŃSKI ** WYBRANE ZAGADNIENIA IMPLEMENTACJI WIELOPLATFORMOWEGO MODUŁU WNIOSKOWANIA WSTECZ INFER

Bardziej szczegółowo

Inż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 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 Współczynniki pewności (ang. Certainty

Bardziej szczegółowo

Rozdział 1 Postanowienia ogólne

Rozdział 1 Postanowienia ogólne Załącznik do UCHWAŁY Nr XXIX/229/2013 RADY GMINY I MIASTA RASZKÓW z dnia 29 października 2013 r. w sprawie zasad udzielania spółkom wodnym dotacji celowej z budżetu Gminy i Miasta Raszków, trybu postępowania

Bardziej szczegółowo

Podstawowe komendy. Ćwiczenie 1

Podstawowe komendy. Ćwiczenie 1 Podstawowe komendy Program (język) komputerowy LOGO powstał w latach sześćdziesiątych w USA. Stworzył go Seymour Papert. Uczniowie bawiący się z LOGO wydają polecenia komendy, które wykonuje żółw pojawiający

Bardziej szczegółowo

Instalacja PPPoE w systemie Windows 98SE i Me

Instalacja PPPoE w systemie Windows 98SE i Me Instalacja PPPoE w systemie Windows 98SE i Me Ilekroć w instrukcji mowa o systemie Win98 lub Win98SE chodzi o : Win98 (Windows 98) - pierwsza wersja systemu Windows 98 - dawno nie spotykana ale może się

Bardziej szczegółowo

SYSTEM EKSPERTOWY WSPOMAGAJĄCY PROJEKTANTA SIECI KOMPUTEROWYCH

SYSTEM EKSPERTOWY WSPOMAGAJĄCY PROJEKTANTA SIECI KOMPUTEROWYCH SYSTEM EKSPERTOWY WSPOMAGAJĄCY PROJEKTANTA SIECI KOMPUTEROWYCH Streszczenie Zbigniew Buchalski Instytut Cybernetyki Technicznej Politechniki Wrocławskiej zbigniew.buchalski@pwr.wroc.pl W pracy przedstawiono

Bardziej szczegółowo

Rozwiązania, seria 5.

Rozwiązania, seria 5. Rozwiązania, seria 5. 26 listopada 2012 Zadanie 1. Zbadaj, dla jakich wartości parametru r R wektor (r, r, 1) lin{(2, r, r), (1, 2, 2)} R 3? Rozwiązanie. Załóżmy, że (r, r, 1) lin{(2, r, r), (1, 2, 2)}.

Bardziej szczegółowo

Uwagi wprowadzajace do reguł wnioskowania w systemie tabel analitycznych logiki pierwszego rzędu

Uwagi wprowadzajace do reguł wnioskowania w systemie tabel analitycznych logiki pierwszego rzędu Witold Marciszewski: Wykład Logiki, 17 luty 2005, Collegium Civitas, Warszawa Uwagi wprowadzajace do reguł wnioskowania w systemie tabel analitycznych logiki pierwszego rzędu 1. Poniższe wyjaśnienie (akapit

Bardziej szczegółowo

Próbny sprawdzian szóstoklasisty z Nową Erą

Próbny sprawdzian szóstoklasisty z Nową Erą Próbny sprawdzian szóstoklasisty z Nową Erą Instrukcja pobierania arkuszy i wprowadzania wyników I. Pobieranie arkuszy Aby pobrać arkusz próbnego sprawdzianu szóstoklasisty, trzeba wcześniej utworzyć w

Bardziej szczegółowo

Wykaz stali z projektu.

Wykaz stali z projektu. Wykaz stali z projektu. Program służy do wykonywania wykazu stali z wielu rysunków. Może być również wykorzystywany do sprawdzania poprawności opisu stali na wykonywanym rysunku. Aby korzystać z programu

Bardziej szczegółowo

Stosowanie prawa cywilnego

Stosowanie prawa cywilnego Stosowanie prawa cywilnego Literatura: red. E. Gniewek, P. Machnikowski, Zarys prawa cywilnego, Warszawa 2014 red. E Gniewek, Kodeks Cywilny. Komentarz, Wydanie 4, Warszawa 2010 Z. Radwański, Prawo cywilne

Bardziej szczegółowo

1. Instalacja Programu

1. Instalacja Programu Instrukcja obsługi dla programu Raporcik 2005 1. Instalacja Programu Program dostarczony jest na płycie cd, którą otrzymali Państwo od naszej firmy. Aby zainstalować program Raporcik 2005 należy : Włożyć

Bardziej szczegółowo

LOGIKA Dedukcja Naturalna

LOGIKA Dedukcja Naturalna LOGIKA Dedukcja Naturalna Robert Trypuz Katedra Logiki KUL 7 stycznia 2014 Robert Trypuz (Katedra Logiki) Założeniowy system klasycznego rachunku zdań 7 stycznia 2014 1 / 42 PLAN WYKŁADU 1 Przykład dowodów

Bardziej szczegółowo

Elementy logiki. Zdania proste i złożone

Elementy logiki. Zdania proste i złożone Elementy logiki Zdania proste i złożone. Jaka jest wartość logiczna następujących zdań: (a) jest dzielnikiem 7 lub suma kątów wewnętrznych w trójkącie jest równa 80. (b) Jeśli sin 0 =, to 5 < 5. (c) Równanie

Bardziej szczegółowo

Metody eksploracji danych. Reguły asocjacyjne

Metody eksploracji danych. Reguły asocjacyjne Metody eksploracji danych Reguły asocjacyjne Analiza podobieństw i koszyka sklepowego Analiza podobieństw jest badaniem atrybutów lub cech, które są powiązane ze sobą. Metody analizy podobieństw, znane

Bardziej szczegółowo

Systemy eksperckie. Plan wykładu Wprowadzenie do sztucznej inteligencji. Wnioski z prób automatycznego wnioskowania w rachunku predykatów

Systemy eksperckie. Plan wykładu Wprowadzenie do sztucznej inteligencji. Wnioski z prób automatycznego wnioskowania w rachunku predykatów Plan wykładu Systemy eksperckie Dr hab. inż. Joanna Józefowska, prof. pp 1/1 Wnioski z badań nad systemami mi w rachunku predykatów Reguły produkcji jako system reprezentacji Algorytm rozpoznaj-wykonaj

Bardziej szczegółowo

Stacja mobilna 60653. Nr produktu 249239

Stacja mobilna 60653. Nr produktu 249239 INSTRUKCJA OBSŁUGI Stacja mobina 60653 Nr produktu 249239 Strona 1 z 33 Strona 2 z 33 Przejmowanie kontroi nad okomotywą ze stacji centranej www.conrad.p i dodatkowo naciśnij Wybierz: Z CS2 Przewiń aby

Bardziej szczegółowo

Kiedy wygasa decyzja o pozwoleniu na budowę?

Kiedy wygasa decyzja o pozwoleniu na budowę? Kiedy wygasa decyzja o pozwoleniu na budowę? Budowa domu i wykonanie robót budowlanych związanych z przebudową czy rozbudową, wymają uzyskania pozwolenia na budowę. Decyzja staje się ostateczna po 14 dniach

Bardziej szczegółowo

Instrukcja PBSBank24 Model tworzenia uprawnień dla użytkowników Instrukcja tworzenia modelu uprawnień dla Użytkowników

Instrukcja PBSBank24 Model tworzenia uprawnień dla użytkowników Instrukcja tworzenia modelu uprawnień dla Użytkowników Instrukcja tworzenia modelu uprawnień dla Użytkowników Podkarpacki Bank Spółdzielczy z siedzibą w Sanoku ul. Mickiewicza 7, 38-500 Sanok Sąd Rejonowy w Rzeszowie, XII Wydział Gospodarczy KRS KRS 0000047309,

Bardziej szczegółowo

Rejestracja Konta w EGO PAY

Rejestracja Konta w EGO PAY Rejestracja Konta w EGO PAY KROK 1 Aby dokonać darmowej rejestracji w procesorze płatniczym EGO PAY, kliknij w link https://www.egopay.com/?16bc0, a następnie kliknij przycisk Create EGOPAY Account KROK

Bardziej szczegółowo

Temat: Model TS + ANFIS. Instrukcja do ćwiczeń przedmiotu INŻYNIERIA WIEDZY I SYSTEMY EKSPERTOWE

Temat: Model TS + ANFIS. Instrukcja do ćwiczeń przedmiotu INŻYNIERIA WIEDZY I SYSTEMY EKSPERTOWE Temat: Model TS + ANFIS Instrukcja do ćwiczeń przedmiotu INŻYNIERIA WIEDZY I SYSTEMY EKSPERTOWE Dr inż. Barbara Mrzygłód KISiM, WIMiIP, AGH mrzyglod@ agh.edu.pl 1 Wprowadzenie Pierwszym rodzajem modelowania

Bardziej szczegółowo

Dowody założeniowe w KRZ

Dowody założeniowe w KRZ Dowody założeniowe w KRZ Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl w styczniu 2007 Jerzy Pogonowski (MEG) Dowody założeniowe w KRZ w styczniu 2007 1 / 10 Dowody

Bardziej szczegółowo

INSTRUKCJA ZGŁASZANIA PRZYPADKÓW KLINICZNYCH

INSTRUKCJA ZGŁASZANIA PRZYPADKÓW KLINICZNYCH System abstraktowy Polskiego Towarzystwa Kardiologicznego INSTRUKCJA ZGŁASZANIA PRZYPADKÓW KLINICZNYCH Aby zgłosić pracę abstraktową, proszę zalogować się do Systemu Abstraktowego PTK/Systemu Planowania

Bardziej szczegółowo

Scenariusze obsługi danych MPZP

Scenariusze obsługi danych MPZP Scenariusze obsługi danych MPZP S t r o n a 2 I. URUCHOMIENIE MODUŁU PLANOWANIE PRZESTRZENNE... 3 II. NARZĘDZIA OBSŁUGI MPZP... 4 III. WYSZUKIWANIE PLANU... 5 Scenariusz wyszukiwania planu... 5 IV. WYSZUKIWANIE

Bardziej szczegółowo

Logika dla prawników

Logika dla prawników Logika dla prawników Wykład I: Pytania o logikę Dr Maciej Pichlak Uniwersytet Wrocławski Katedra Teorii i Filozofii Prawa mpichlak@prawo.uni.wroc.pl Tak na logikę Kodeks karny: Art. 226 1. Kto znieważa

Bardziej szczegółowo

Proces uprawniania w module klubowym

Proces uprawniania w module klubowym Proces uprawniania w module klubowym Użytkownik Extranet po zalogowaniu się do aplikacji klubowej wybiera moduł Zawodnicy i następnie klika opcję Wnioski o uprawnienie (patrz poniżej rysunek 1 pozycja

Bardziej szczegółowo

Jak nie zostać niewolnikiem kalkulatora? Obliczenia pamięciowe i pisemne.

Jak nie zostać niewolnikiem kalkulatora? Obliczenia pamięciowe i pisemne. Jak nie zostać niewolnikiem kalkulatora? Obliczenia pamięciowe i pisemne. W miarę postępu techniki w niepamięć odeszły nawyki do wykonywania pisemnych albo pamięciowych obliczeń. O suwaku logarytmicznym,

Bardziej szczegółowo

Liczba i Reszta czyli o zasadach podzielności

Liczba i Reszta czyli o zasadach podzielności Liczba i Reszta czyli o zasadach podzielności Klara Maria Zgliński Ogólnokształcąca Szkoła Muzyczna I stopnia im. Ignacego J. Paderewskiego w Krakowie 31-134 Kraków, ul. Basztowa 8 Klasa Vb Nauczyciel:

Bardziej szczegółowo

Sylabus do przedmiotu - wypełnianie w systemie USOSweb

Sylabus do przedmiotu - wypełnianie w systemie USOSweb Sylabus do przedmiotu - wypełnianie w systemie USOSweb I Wprowadzenie Sylabus do przedmiotu może być edytowany w systemie USOSweb, jak również bezpośrednio w systemie USOS. Dane synchronizują się pomiędzy

Bardziej szczegółowo

a) Zapisz wynik działania powyższego algorytmu dla słów ARKA i MOTOR...

a) Zapisz wynik działania powyższego algorytmu dla słów ARKA i MOTOR... 2 Egzamin maturalny z informatyki Zadanie 1. Szyfrowanie (8 pkt) Poniższy algorytm szyfruje słowo s przy pomocy pewnego szyfru przestawieniowego. Zaszyfrowane słowo zostaje zapisane w zmiennej w. Algorytm

Bardziej szczegółowo

WPŁYW INFORMACJI STATYSTYCZNEJ NA EFEKTYWNOŚĆ SYSTEMÓW WSPOMAGANIA DECYZJI

WPŁYW INFORMACJI STATYSTYCZNEJ NA EFEKTYWNOŚĆ SYSTEMÓW WSPOMAGANIA DECYZJI systemy wspomagania decyzji, statystyka, znaczenie informacji statystycznej. Agnieszka NOWAK * WPŁYW INFORMACJI STATYSTYCZNEJ NA EFEKTYWNOŚĆ SYSTEMÓW WSPOMAGANIA DECYZJI Praca przedstawia koncepcję wykorzystania

Bardziej szczegółowo

Jeśli X jest przestrzenią o nieskończonej liczbie elementów:

Jeśli X jest przestrzenią o nieskończonej liczbie elementów: Logika rozmyta 2 Zbiór rozmyty może być formalnie zapisany na dwa sposoby w zależności od tego z jakim typem przestrzeni elementów mamy do czynienia: Jeśli X jest przestrzenią o skończonej liczbie elementów

Bardziej szczegółowo

Co zyskujesz dzięki rejestracji w serwisach WSiP?

Co zyskujesz dzięki rejestracji w serwisach WSiP? Co zyskujesz dzięki rejestracji w serwisach WSiP? dostęp do materiałów dydaktycznych, diagnoz i gotowych scenariuszy lekcji, możliwość korzystania z internetowych produktów WSiP, członkostwo w przedmiotowych

Bardziej szczegółowo

Rekrutacja do przedszkoli FORMICO

Rekrutacja do przedszkoli FORMICO Rekrutacja do przedszkoli FORMICO Silvermedia 2009 1 Spis treści Rekrutacja do przedszkoli - FORMICO 1 Ogólne informacje o systemie...3 1.1 Jak poruszać się po serwisie dla Rodziców?...3 1.2 Informacje

Bardziej szczegółowo

Temat: Model SUGENO. Instrukcja do ćwiczeń przedmiotu INŻYNIERIA WIEDZY I SYSTEMY EKSPERTOWE

Temat: Model SUGENO. Instrukcja do ćwiczeń przedmiotu INŻYNIERIA WIEDZY I SYSTEMY EKSPERTOWE Temat: Model SUGENO Instrukcja do ćwiczeń przedmiotu INŻYNIERIA WIEDZY I SYSTEMY EKSPERTOWE Dr inż. Barbara Mrzygłód KISiM, WIMiIP, AGH mrzyglod@ agh.edu.pl 1 Wprowadzenie Pierwszym rodzajem modelowania

Bardziej szczegółowo

7. Zagadnienie parkowania ciężarówki.

7. Zagadnienie parkowania ciężarówki. 7. Zagadnienie parkowania ciężarówki. Sterowniki rozmyte Aby móc sterować przebiegiem pewnych procesów lub też pracą urządzeń niezbędne jest stworzenie odpowiedniego modelu, na podstawie którego można

Bardziej szczegółowo

Logika intuicjonistyczna

Logika intuicjonistyczna Logika intuicjonistyczna Logika klasyczna oparta jest na pojęciu wartości logicznej zdania. Poprawnie zbudowane i jednoznaczne stwierdzenie jest w tej logice klasyfikowane jako prawdziwe lub fałszywe.

Bardziej szczegółowo

Uniwersytet Zielonogórski Wydział Elektrotechniki, Informatyki i Telekomunikacji Instytut Sterowania i Systemów Informatycznych

Uniwersytet Zielonogórski Wydział Elektrotechniki, Informatyki i Telekomunikacji Instytut Sterowania i Systemów Informatycznych Uniwersytet Zielonogórski Wydział Elektrotechniki, Informatyki i Telekomunikacji Instytut Sterowania i Systemów Informatycznych ELEMENTY SZTUCZNEJ INTELIGENCJI Laboratorium nr 6 SYSTEMY ROZMYTE TYPU MAMDANIEGO

Bardziej szczegółowo

JESS FAKTY, REGUŁY. czyli faktami. Rodzaje faktów, oraz sposoby ich implementacji w programie. Szablony do tworzenia faktów.

JESS FAKTY, REGUŁY. czyli faktami. Rodzaje faktów, oraz sposoby ich implementacji w programie. Szablony do tworzenia faktów. Ćwiczenie numer 2 JESS FAKTY, REGUŁY 1. Cel ćwiczenia 1) Celem ćwiczenia jest zapoznanie się z jedną z form reprezentacji wiedzy w JESS, czyli faktami. Rodzaje faktów, oraz sposoby ich implementacji w

Bardziej szczegółowo

SYSTEM EKSPERTOWY WSPOMAGAJĄCY ORGANIZACJĘ PRACY FIRMY SPEDYCYJNEJ

SYSTEM EKSPERTOWY WSPOMAGAJĄCY ORGANIZACJĘ PRACY FIRMY SPEDYCYJNEJ SYSTEM EKSPERTOWY WSPOMAGAJĄCY ORGANIZACJĘ PRACY FIRMY SPEDYCYJNEJ Zbigniew BUCHALSKI Wprowadzenie W dzisiejszych czasach coraz częściej spotykamy się z problematyką inŝynierii wiedzy i systemów ekspertowych

Bardziej szczegółowo

Marian Maciocha. Żelazny skład rozwiązanie zadania dla Czytelników

Marian Maciocha. Żelazny skład rozwiązanie zadania dla Czytelników Marian Maciocha Żelazny skład rozwiązanie zadania dla Czytelników Zadanie: W pewnym klubie piłki nożnej uprawnionych do gry w barwach tego klubu jest 19 zawodników: 3 bramkarzy, 7 obrońców, 5 pomocników

Bardziej szczegółowo

INSTRUKCJA. 1. Strona internetowa platformy szkoleniowej.

INSTRUKCJA. 1. Strona internetowa platformy szkoleniowej. INSTRUKCJA Żeby uczestniczyć w kursie, należy w pierwszej kolejności zalogować się na stronie internetowej platformy www.e-szkolenia.fewe.pl. Jak tego dokonać? Niniejsza instrukcja, krok po kroku, pomoże

Bardziej szczegółowo

5 kroków Rejestracji do Akcji 1% dla mojej szkoły

5 kroków Rejestracji do Akcji 1% dla mojej szkoły 5 kroków Rejestracji do Akcji 1% dla mojej szkoły Krok 1. Rozpocznij rejestrację Twojej szkoły Krok 2. Wyszukaj swoją szkołę Krok 3. Załóż konto Partnera Krok 4. Aktywacja konta Krok 5. Promuj Akcję 1%

Bardziej szczegółowo

Metoda tabel semantycznych. Dedukcja drogi Watsonie, dedukcja... Definicja logicznej konsekwencji. Logika obliczeniowa.

Metoda 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ółowo

14. DOWODZENIE V WYNIKANIE LOGICZNE, RÓWNOWAŻNOŚĆ LOGICZNA, DOWODZENIE TAUTOLOGII

14. DOWODZENIE V WYNIKANIE LOGICZNE, RÓWNOWAŻNOŚĆ LOGICZNA, DOWODZENIE TAUTOLOGII 14. DOWODZENIE V WYNIKANIE LOGICZNE, RÓWNOWAŻNOŚĆ LOGICZNA, DOWODZENIE TAUTOLOGII Cele Pojęcie wynikania logicznego i równoważności logicznej w systemie SD. Umiejętność wykazywania zachodzenia relacji

Bardziej szczegółowo

a) Przypomnienie wiadomości o ułamkach zwykłych. licznik

a) Przypomnienie wiadomości o ułamkach zwykłych. licznik Scenariusz lekcji przeprowadzonej w klasie IV c Szkoły Podstawowej nr im. Ks. Stanisława Konarskiego w Jarosławiu dnia 0.0.01r. Przedmiot nauczania: Matematyka. Klasa: IV c Temat lekcji: Porównywanie niektórych

Bardziej szczegółowo

Opis obsługi aplikacji E-urlopy. Wstęp. Obsługa aplikacji E-urlopy w zakładce Mój Profil. Konfiguracja przeglądarki do korzystania z Intranetu

Opis obsługi aplikacji E-urlopy. Wstęp. Obsługa aplikacji E-urlopy w zakładce Mój Profil. Konfiguracja przeglądarki do korzystania z Intranetu Opis obsługi aplikacji E-urlopy Wstęp Aplikacja E-urlopy funkcjonuje w oparciu o dane znajdujące się w Centralnym Systemie Informacji Personalnej (CSIP) oraz w bazach lokalnych systemu Kadry Płace 2000,

Bardziej szczegółowo

Przewodnik gimnazjalisty systemu e-rekrutacja. PTH Technika

Przewodnik gimnazjalisty systemu e-rekrutacja. PTH Technika Przewodnik gimnazjalisty systemu e-rekrutacja PTH Technika Spis treści Spis treści...2 Przeglądanie ofert szkół... 3 Lista szkół...3 Wizytówka wybranej szkoły...4 Lista oddziałów wybranej szkoły... 6 Widok

Bardziej szczegółowo

Pracownia internetowa w każdej szkole (edycja Jesień 2007)

Pracownia internetowa w każdej szkole (edycja Jesień 2007) Instrukcja numer D1/05_03/Z Pracownia internetowa w każdej szkole (edycja Jesień 2007) Opiekun pracowni internetowej cz. 1 Ręczne zakładanie kont użytkowników (D1) Jak ręcznie założyć konto w systemie

Bardziej szczegółowo

Inżynieria Wiedzy i Systemy Ekspertowe. Logika rozmyta. dr inż. Michał Bereta Politechnika Krakowska

Inżynieria Wiedzy i Systemy Ekspertowe. Logika rozmyta. dr inż. Michał Bereta Politechnika Krakowska Inżynieria Wiedzy i Systemy Ekspertowe Logika rozmyta dr inż. Michał Bereta Politechnika Krakowska http://torus.uck.pk.edu.pl/~beretam/ beretam@torus.uck.pk.edu.pl 1 Wyostrzanie Ostateczna, ostra wartość

Bardziej szczegółowo

Systemy uczące się wykład 1

Systemy uczące się wykład 1 Systemy uczące się wykład 1 dr Przemysław Juszczuk Katedra Inżynierii Wiedzy, Uniwersytet Ekonomiczny 5 X 2018 e-mail: przemyslaw.juszczuk@ue.katowice.pl Konsultacje: na stronie katedry + na stronie domowej

Bardziej szczegółowo

Języki programowania deklaratywnego

Języki programowania deklaratywnego Katedra Inżynierii Wiedzy laborki 14 Języki deklaratywne Główne różnice między paradygmatem deklaratywnym a imperatywnym Omów główne cechy paradygmatu programowania w logice na przykładzie Prologa Główne

Bardziej szczegółowo