Fórum Root.cz

Hlavní témata => Vývoj => Téma založeno: CuriousHooker 14. 06. 2017, 19:26:29

Název: Chatboti a ustálená logická notace
Přispěvatel: CuriousHooker 14. 06. 2017, 19:26:29

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

Název: Re:Chatboti
Přispěvatel: Zweistein 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.

Název: Re:Chatboti
Přispěvatel: zboj 15. 06. 2017, 16:55:40

Citace: Zweistein  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.