Chart Parsing Multimodal Grammars
Richard Moot (CNRS, LIRMM/INFO, UM)

TL;DR
This paper introduces a chart parser for multimodal type-logical grammars, enabling efficient proof search and transformation to natural deduction, developed alongside a French type-logical treebank.
Contribution
It presents a fast, deductive parsing implementation for multimodal grammars, linking proof search with a practical French language resource.
Findings
Implemented a fast chart parser for multimodal grammars
Proofs can be transformed into natural deduction proofs
Supports proof search in multimodal type-logical grammar
Abstract
The short note describes the chart parser for multimodal type-logical grammars which has been developed in conjunction with the type-logical treebank for French. The chart parser presents an incomplete but fast implementation of proof search for multimodal type-logical grammars using the "deductive parsing" framework. Proofs found can be transformed to natural deduction proofs.
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
TopicsNatural Language Processing Techniques · Constraint Satisfaction and Optimization · Semantic Web and Ontologies
