A (Mostly) Symbolic System for Monotonic Inference with Unscoped Episodic Logical Forms
We implement the formalization of natural logic-like monotonic inference using Unscoped Episodic Logical Forms (ULFs) by Kim et al. (2020). We demonstrate this system’s capacity to handle a variety of challenging semantic phenomena using the FraCaS dataset (Cooper et al., 1996). These results give empirical evidence for prior claims that ULF is an appropriate representation to mediate natural logic-like inferences.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Monotonic Inference for Underspecified Episodic Logic
We present a method of making natural logic inferences from Unscoped Logical Form of Episodic Logic. We establish a correspondence between inference rules of scope resolved Episodic Logic and the natural logic treatment …
Generating Discourse Inferences from Unscoped Episodic Logical Formulas
Abstract Unscoped episodic logical form (ULF) is a semantic representation capturing the predicate-argument structure of English within the episodic logic formalism in relation to the syntactic structure, while leaving s…
NeuralLog: Natural Language Inference with Joint Neural and Logical Reasoning
Deep learning (DL) based language models achieve high performance on various benchmarks for Natural Language Inference (NLI). And at this time, symbolic approaches to NLI are receiving less attention. Both approaches (sy…
Deep LearningLanguage ModelingLanguage ModellingLogical Reasoning+1A Transition-based Parser for Unscoped Episodic Logical Forms
"Episodic Logic:Unscoped Logical Form" (EL-ULF) is a semantic representation capturing predicate-argument structure as well as more challenging aspects of language within the Episodic Logic formalism. We present the firs…
Non-monotonic causal discovery with Kolmogorov-Arnold Fuzzy Cognitive Maps
Fuzzy Cognitive Maps constitute a neuro-symbolic paradigm for modeling complex dynamic systems, widely adopted for their inherent interpretability and recurrent inference capabilities. However, the standard FCM formulati…