Modeling selectional restrictions in a relational type system
Erkki Luuk
TL;DR
This paper explores how to formally model selectional restrictions, which are semantic constraints in natural language, within a relational type system that incorporates morphological and syntactic types.
Contribution
It introduces a formal approach to represent selectional restrictions in a relational type system, combining syntax and morphology for improved linguistic modeling.
Findings
Formalization of selectional restrictions within the type system
Integration of morphological and syntactic types in modeling
Foundational discussion on the system's basis
Abstract
Selectional restrictions are semantic constraints on forming certain complex types in natural language. The paper gives an overview of modeling selectional restrictions in a relational type system with morphological and syntactic types. We discuss some foundations of the system and ways of formalizing selectional restrictions. Keywords: type theory, selectional restrictions, syntax, morphology
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems · Formal Methods in Verification · Logic, Reasoning, and Knowledge