Parsing into Variable-in-situ Logico-Semantic Graphs
We propose variable-in-situ logico-semantic graphs to bridge the gap between semantic graph and logical form parsing. The new type of graph-based meaning representation allows us to include analysis for scope-related phenomena, such as quantification, negation and modality, in a way that is consistent with the state-of-the-art underspecification approach. Moreover, the well-formedness of such a graph is clear, since model-theoretic interpretation is available. We demonstrate the effectiveness of this new perspective by developing a new state-of-the-art semantic parser for English Resource Semantics. At the core of this parser is a novel neural graph rewriting system which combines the strengths of Hyperedge Replacement Grammar, a knowledge-intensive model, and Graph Neural Networks, a data-intensive model. Our parser achieves an accuracy of 92.39{\%} in terms of elementary dependency match, which is a 2.88 point improvement over the best data-driven model in the literature. The output of our parser is highly coherent: at least 91{\%} graphs are valid, in that they allow at least one sound scope-resolved logical form.
Code (0)
등록된 구현이 없습니다.
Tasks
NegationvalidSimilar Papers 제목 키워드 기반
LogiCo: A Unified Framework for Logical and Structural Anomaly Detection
Current anomaly detection methods primarily focus on structural anomalies, while paying insufficient attention to anomalies that violate logical constraints. Conversely, top-performing logical anomaly detection approache…
Anomaly DetectionLogiCoL: Logically-Informed Contrastive Learning for Set-based Dense Retrieval
While significant progress has been made with dual- and bi-encoder dense retrievers, they often struggle on queries with logical connectives, a use case that is often overlooked yet important in downstream applications. …
Contrastive LearningEntity RetrievalRetrievalLogiCode: an LLM-Driven Framework for Logical Anomaly Detection
This paper presents LogiCode, a novel framework that leverages Large Language Models (LLMs) for identifying logical anomalies in industrial settings, moving beyond traditional focus on structural inconsistencies. By harn…
Anomaly DetectionBinary ClassificationCode GenerationLogical Reasoning+1LogicOCR: Do Your Large Multimodal Models Excel at Logical Reasoning on Text-Rich Images?
Recent advances in Large Multimodal Models (LMMs) have significantly improved their reasoning and Optical Character Recognition (OCR) capabilities. However, their performance on complex logical reasoning tasks involving …
Logical ReasoningMultimodal ReasoningMultiple-choiceOptical Character Recognition+1A Visual Representation of Wittgenstein's Tractatus Logico-Philosophicus
In this paper we present a data visualization method together with its potential usefulness in digital humanities and philosophy of language. We compile a multilingual parallel corpus from different versions of Wittgenst…
Data VisualizationPhilosophy