Technicky jde o typovaný hyperintenzionální parciální lambda-kalkul vytvořený pro analýzu přirozeného jazyka. Vzhledem ke své expresivitě se hodí například na řízení umělé inteligence.
vsb/til/start.txt · Last modified: 06.03.2014 11:00 (external edit)
