Request Correction

Extracting First Order Logic formulas from graphical semantic representations

In this paper, we present a method for interpreting Yarn structures as logical formulas in a modal first order logic with temporality. Yarn is a recent semantic formalism that aims to bridge the gap between graph-based and logic-based semantic representations, providing a flexible and expressive framework for capturing the meaning of natural language utterances. Our approach translates the elements of Yarn structures such as predicates, features, into corresponding logical constructs, allowing for an interpretation of the represented meaning. Given that Yarn allows ambiguous representations, we associate to each Yarn structure a set of possible interpretations. We account for a range of semantic phenomena, extending beyond ambiguity to capture aspects of dynamic quantification as well. This work contributes to the understanding of the expressive power of graphical semantic representations and their relationship to formal logic.