Lambda-calcul peut-il être utilisé pour la représentation des connaissances?

Question

La sémantique en langage naturel (en linguistique informatique) utilise des termes lambda pour exprimer la sémantique des phrases en langage naturel. Il existe une vaste littérature sur les grammaires catégoriales combinatoriales et la sémantique lambda du langage naturel, par exemple le tutoriel sur le cadre http://yoavartzi.com/tutorial/

La question est - si le calcul lambda peut être utilisé pour représenter la signification du texte de la langue naturelle, alors Pouvons-nous utiliser le calcul lambda pour la représentation universelle des connaissances? Pourquoi y a-t-il si peu de résultats dans cette direction? Ou peut-être qu'il y a des efforts pour combler le sens exprimé dans le calcul de lambda avec certaines des approches de représentation de connaissance commune?

Peut-être que l'isomorphisme (étendu) Curry-Howard entre le calcul de lambda et les systèmes logiques / déductifs peut être utilisé pour traduire la sémantique en termes de calcul de lambda en connaissances en termes d'expressions logiques, par exemple, peut-être la traduction en logiques de description et les logiques d'action est-elle possible?