Formalizing context in intuitionistic type theory

• Autorzy: Boldini, P.
• Języki publikacji: EN

Abstrakty

EN

The article discusses formal aspects of the notion of context as needed in AI applications. We advocate the use of Martin-Löf's intuitionistic type theory to formalize and implement contexts. Through many examples belonging to the domains of computational semantics and knowledge based systems, we show that the built-in notion of context in intuitionistic type theory is a structure rich enough for representing most of the features that characterize contexts in an AI perspective. The fact that many recent theorem provers are built on the different theories of types suggests new perspectives in the development of AI applications.

Słowa kluczowe

EN

artificial intelligence; context; type theory; natural language processing; knowledge based system; situations

• Czasopismo: Fundamenta Informaticae
• Rocznik: 2000
• Tom: Vol. 42, Nr 2
• Strony: 105-127
• Opis fizyczny: bibliogr. 12 poz.

Twórcy

autor

Boldini, P.

• CAMS, Equipe LaLIC, ISHA, Université Paris IV, Paris, France,