IUI (wykład 1)

11 lutego 2012

13:26

 
Inteligentne usługi informatyczne

 

Prof. J.

 

(druga część przedmiotu t J. S.)

(Laboratoria D.)

 

Sztuczna inteligencja - jest to roziwnięcie

 

Zaliczenie: suma pkt z wykł i laboratorium (waga 50/50)

6 zadań (4 z części pierwszej Jędrucha)

 

Materiały -wykłady z opisami tekstowymi

 

 

 

 

Definicja sztucznej inteligencji

-różne definicje

 

 

Dziedzina SI składa się z metod i zastosowań;

Każdą z metod wykonuje w róznym skutku człowiek

•  
• Metody
  
  • Przeglądanie grafów
    
  • Reprezentacja wiedzy
    
    • Człowiek posiada bazę wiedzy
      
  • Metody uczenia się
    
    • Na podstawie tabel wzorcowych aplikacja sama ocenia nowe dane;
      
• 
  

 [coś się tu rozjechało dalej]

Ostatnia modyfikacja: 2012-02-11; 14:31

Filozofia sztucznej inteligencji

1. Na podstawie testu turinga można określić czy spełniona jest ineligencja
   
    
   
    
   Pytanie na zaliczenie:

• Napisz za którym stanowiskiem jesteś i dlaczego
  
   
  
   
  
   
  
   
  
   
  
   
  Ostatnia modyfikacja: 2012-02-11; 15:22
  Język logiki:
  1)Dla wszystkich x

[A]

 

2)Istnieje takie x

 

[E]

 

 

Ax Kot(x)^biały(x) ---> istnieje taki biały kot

 

 

 

 

Tabela wartości[edytuj]

p		q	FAŁSZ		p AND q		p NOT q		q NOT p	p XOR q		p OR q	p NOR q		p XNOR q	NOT q	q → p	NOT p	p → q	p NAND q	PRAWDA
0	0	0	0	0	0	0	0	1	1	1	1	1	1	1	1
0	1	0	0	0	1	1	1	0	0	0	0	1	1	1	1
1	0	0	0	1	0	1	1	0	0	1	1	0	0	1	1
1	1	0	1	0	0	0	1	0	1	0	1	0	1	0	1

Warto zwrócić uwagę, iż wynik operacji NOT <inny operator>, np. AND › NAND, OR › NOR daje zawsze wynik inny niż ów <inny operator>, tzn. jeśli wynik operacji tego operatora na pewnej danej wynosi 1, NOT operator da 0, w przeciwnym wypadku odwrotnie.

 

Wklejono z <http://pl.wikipedia.org/wiki/Bramka_logiczna>

 

 

 

Wszystkie operacje możemy opisać używając jedynie operatora NAND lub trzech (suma, iloczyn, negacja)

 

 

 

Ostatnia modyfikacja: 2012-02-11; 15:22

 

([A]x[E]y)kocha(x,y) --> każdy kogoś kocha

([E]y[A]x)kocha(x,y) -->?istnieje osoba kochana przez wszystkich?

([A]y[E]x)kocha (x,y) -->?Każdy kogoś kocha?

([E]x[A]x)-kocha(x,y) -->Istnieje ktoś kto kocha wszystkich
 

Kolejne zadanie:

O (x)- to jest ocet

k(X) - jest kwaśny

Ma być "tylko ocet jest kwaśny":

"!" --nie

 

1. ([A]x)O(x)v!k(x)
   Każdy przedmiot jest octem i nie jest kwaśny
2. ([A]x)!O(x) -> !k(x)
   
   
    
   
    
3. ([A]x)o(x)v!k(x)
4. ([A]x)k(x) -> o(x)
   
    
   Trzeba to sprawdzić. Do tego stosujemy kilka wzorów:
   
    
   
   1. a->b = !avb;
   2. Prawo de Morgana:
      1. !(avb)=!a^!b
   3. !([A]x)A(x)=[E]x!(Ax)
   4. ……...
   
    

 
"
Ax

 
"

 
Sprawdzając wzór (2)
([A]x)!O(x) -> !k(x)
([A]x)o(x)v!k(x)== ([A]x)k(x) -> o(x)
Czyli (2) równa się 4

 
Ostatnia modyfikacja: 2012-02-11; 15:54
Omawia przykłady ze slajdów