The Challenge of Unifying Semantic and Syntactic Inference Restrictions

12/30/2019
by   Christoph Weidenbach, et al.
0

While syntactic inference restrictions don't play an important role for SAT, they are an essential reasoning technique for more expressive logics, such as first-order logic, or fragments thereof. In particular, they can result in short proofs or model representations. On the other hand, semantically guided inference systems enjoy important properties, such as the generation of solely non-redundant clauses. I discuss to what extend the two paradigms may be unifiable.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/24/2019

Decidability of an Expressive Description Logic with Rational Grading

In this paper syntactic objects---concept constructors called part restr...
research
07/08/2020

On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic

Second-order Boolean logic is a generalization of QBF, whose constant al...
research
10/14/2019

On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics

We present syntactic characterisations for the union closed fragments of...
research
07/28/2016

Modeling selectional restrictions in a relational type system

Selectional restrictions are semantic constraints on forming certain com...
research
06/01/2011

The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics

We study the complexity of the combination of the Description Logics ALC...
research
10/07/2021

A Logic-Based Framework for Natural Language Inference in Dutch

We present a framework for deriving inference relations between Dutch se...

Please sign up or login with your details

Forgot password? Click here to reset