Čím dál častěji narážím v (odborných) médiích na zprávy o chatbotech. Kdysi jsem jednoduchou analýzu jazyka psal a je to celkem peklo. Existuje teď nějaká ustálená logická notace, co by byla rozhodnutelná? Co si pamatuju, tak logika prvního řádu moc praktická pro výpočty není.
FO logika je dobra tak pro databazovani, proste nic neres vytahni starou dobrou Elizu v prologu a vytunuj jeji slovniky na cestinu. Tot vse.
Citace od: Zweistein kdy 14. 06. 2017, 19:54:12
FO logika je dobra tak pro databazovani, proste nic neres vytahni starou dobrou Elizu v prologu a vytunuj jeji slovniky na cestinu. Tot vse.
@Eliza: Někdo zamrzl v 60. letech 20. století.
@FOL: FOL je tak silná, že dokáže bez kompromisů pokrýt syntax, sémantiku i pragmatiku, zásadní volbou je výběr vhodného dokazovacího systému.