Type-theoretical grammar
LACL '96 Selected papers from the First International Conference on Logical Aspects of Computational Linguistics
COLOG '88 Proceedings of the International Conference on Computer Logic
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Formal foundations for situation awareness based on dependent type theory
Information Fusion
A type-theoretical approach for ontologies: The case of roles
Applied Ontology
Hi-index | 0.00 |
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.