A Curious New Result of Resolution Strategies in Negation-Limited Inverters Problem
Generally, negation-limited inverters problem is known as a puzzle of constructing an inverter with AND gates and OR gates and a few inverters. In this paper, we introduce a curious new result about the effectiveness of two powerful ATP (Automated Theorem Proving) strategies on tackling negation limited inverter problem. Two resolution strategies are UR (Unit Resulting) resolution and hyper-resolution. In experiment, we come two kinds of automated circuit construction: 3 input/output inverters and 4 input/output BCD Counter Circuit. Both circuits are constructed with a few limited inverters. Curiously, it has been turned out that UR resolution is drastically faster than hyper-resolution in the measurement of the size of SOS (Set of Support). Besides, we discuss the syntactic and semantic criteria which might causes considerable difference of computation cost between UR resolution and hyper-resolution.
Code (0)
등록된 구현이 없습니다.
Tasks
Automated Theorem ProvingNegationSimilar Papers 제목 키워드 기반
Multilingual Negation Scope Resolution for Clinical Text
Negation scope resolution is key to high-quality information extraction from clinical texts, but so far, efforts to make encoders used for information extraction negation-aware have been limited to English. We present a …
Multi-Task LearningNegationNegation Scope ResolutionNegation-Instance Based Evaluation of End-to-End Negation Resolution
In this paper, we revisit the task of negation resolution, which includes the subtasks of cue detection (e.g. "not", "never") and scope resolution. In the context of previous shared tasks, a variety of evaluation metrics…
NegationResolving Legalese: A Multilingual Exploration of Negation Scope Resolution in Legal Documents
Resolving the scope of a negation within a sentence is a challenging NLP task. The complexity of legal texts and the lack of annotated in-domain negation corpora pose challenges for state-of-the-art (SotA) models when pe…
NegationNegation Scope ResolutionSentenceMultitask Learning of Negation and Speculation using Transformers
Detecting negation and speculation in language has been a task of considerable interest to the biomedical community, as it is a key component of Information Extraction systems from Biomedical documents. Prior work has in…
NegationNegation and Speculation Scope resolutionNegation DetectionNegation Scope Resolution+2Scope resolution of predicted negation cues: A two-step neural network-based approach
Neural network-based methods are the state of the art in negation scope resolution. However, they often use the unrealistic assumption that cue information is completely accurate. Even if this assumption holds, there rem…
NegationNegation DetectionNegation Scope Resolution