Chart Parsing Multimodal Grammars

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.