Abstract of "Categorial Grammar with Ontology-refined Types"
Abstract of "Categorial Grammar with Ontology-refined Types"
Gilad Ben-Avi and
Nissim Francez
in Proceedings of CG04.
pdf
In this paper we present a modified version of the associative Lambek
calculus, in which semantically bad, but grammatically well formed,
sentences like every table sang are not derived. For this purpose
we use ontology &Omicron&sigma that structures the domain of interpretation
of a type (&sigma,t). The concepts in &Omicron&sigma are used to refine a
type &sigma, in such a way that the selectional restrictions that a
function with argument of type &sigma imposes on this argument can be
defined in a more subtle manner than in the standard Lambek calculus.
Back
to Gilad Ben-Avi's homepage