Chatboti a ustálená logická notace

[CuriousHooker]

Čí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í.

[Reklama]

[Zweistein]

FO logika je dobra tak pro databazovani, proste nic neres vytahni starou dobrou Elizu v prologu a vytunuj jeji slovniky na cestinu. Tot vse.

[zboj]

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.