Come esprimere le modalità nel calcolo di lambda: sono necessarie alcune estensioni?
https://cs.stackexchange.com/questions/77389
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
RussianDomanda
Il calcolo Lambda può essere usato per la codifica semantica del linguaggio naturale, ad es. http://yoavartzi.com/tutorial/ Contiene tutti i dettagli sull'analisi semantica del linguaggio naturale: conversione di testi in linguaggio naturale in espressioni Lambda - Viene utilizzato il framework di analisi semantica di Cornell https://github.com/cornell-lic/spf.
La mia domanda è - Come esprimere le modalità nel calcolo di lambda: sono necessarie alcune estensioni? Ad esempio, le logiche moderne classiche possono esprimere credenze/permanenze/conoscenza dei doveri e altri tipi di modalità. La semantica relazionale (Kripke) viene utilizzata per la logica modale. Quindi, come possiamo estenderci alla combinazione del calcolo di lambda per esprimere le modalità?
C'è idea di esprimere le modalità come solo un altro tipo di predicati https://www.amazon.co.uk/toward-predicate-appeCes-modality Trends-EBook/DP/B016XM48v0 Ma ci sono alcune alternative, più modi "natruali" per introdurre modalità nel calcolo di Lambda? La piena gestione del linguaggio naturale richiede sicuramente questo.
Nessuna soluzione corretta
