Separating Argument Structure from Logical Structure in AMR
The AMR (Abstract Meaning Representation) formalism for representing meaning of natural language sentences was not designed to deal with scope and quantifiers. By extending AMR with indices for contexts and formulating constraints on these contexts, a formalism is derived that makes correct prediction for inferences involving negation and bound variables. The attractive core predicate-argument structure of AMR is preserved. The resulting framework is similar to that of Discourse Representation Theory.
Code (0)
등록된 구현이 없습니다.
Tasks
Abstract Meaning RepresentationNegationSimilar Papers 제목 키워드 기반
Event Structure Representation: Between Verbs and Argument Structure Constructions
This paper proposes a novel representation of event structure by separating verbal semantics and the meaning of argument structure constructions that verbs occur in. Our model demonstrates how the two meaning representat…
Reasoning is about giving reasons
Convincing someone of the truth value of a premise requires understanding and articulating the core logical structure of the argument which proves or disproves the premise. Understanding the logical structure of an argum…
Explanation GenerationSubargument Argumentation Frameworks: Separating Direct Conflict from Structural Dependency
Dung's abstract argumentation frameworks model acceptability solely in terms of an attack relation, thereby conflating two conceptually distinct aspects of argumentative reasoning: direct conflict between arguments and t…
Boosting Logical Fallacy Reasoning in LLMs via Logical Structure Tree
Logical fallacy uses invalid or faulty reasoning in the construction of a statement. Despite the prevalence and harmfulness of logical fallacies, detecting and classifying logical fallacies still remains a challenging ta…
Logical FallaciesRelationObservability-Blocking Control using Sparser and Regional Feedback for Network Synchronization Processes
The design of feedback control systems to block observability in a network synchronization model, i.e. to make the dynamics unobservable from measurements at a subset of the network's nodes, is studied. First, a general …
Blocking