Formální logika v umělé inteligenci (diskuse)

[bela]

trosku me prekvapilo, ze u souvisejicich clanku je ta pohroma s pretaktovanim. uchazi mi tu nejaka 'souvislost'?

[Tomáš Oberhuber]

Je to taky recenze knihy.

[egg]

Chtěl bych vědět, proč má kniha v názvu umělou inteligenci. Co se popisuje v recenzi, mi nápadně připomíná naše skripta na matematickou logiku a na neprocerurální programování, spíše než AI. Píše se v knize také o technologickém využití?

[slusnostjeseneptatnajmenocojekomudotoho?]

treba tady. jde o vytvareni formalni reprezentace vet a souvisejicich modelu. formalnich modelu. proste algebraicke struktury ...

[Lukáš Zapletal]

Spíše znalostní báze, předpovídání událostí a podobně, než nějaké sofistikované AI.

[Stano]

Uz som sice dlhsie zo skoly (kde sme mali logiku), ale podla mna v rieseni prikladu bol dokazany uplny opak.
1.krok je v poriadku, ale uz 2.krok je chybny, lebo by mal byt cely negovany. Dalsie kroky nebudem komentovat.
Len tak pre kontrolu porovnanie pravdivostnych tabuliek zadaneho vyrazu a odvodeneho:

 a | b | c | c -> (a v b) | ¬a ^ ¬b ^ c 
---+---+---+--------------+-------------
 0 | 0 | 0 |      1       |      0      
 0 | 0 | 1 |      0       |      1      
 0 | 1 | 0 |      1       |      0      
 0 | 1 | 1 |      1       |      0      
 1 | 0 | 0 |      1       |      0      
 1 | 0 | 1 |      1       |      0      
 1 | 1 | 0 |      1       |      0      
 1 | 1 | 1 |      1       |      0      

[Masak]

Jojo, resenim je (1.) -- konjunktivni tvar ma jediny konjunkt slozeny ze tri disjunktu...

[Lukáš Zapletal]

Máte pravdu :) Je to celé špatně, to jsem celý já, nicméně pro představu to asi stačí,