Results 11 to 20 of about 1,899 (235)

First Degree Entailment, Symmetry and Paradox [PDF]

Logic and Logical Philosophy, 2016
Here is a puzzle, which I learned from Terence Parsons in his “True Contradictions” [8]. First Degree Entailment (FDE) is a logic which allows for truth value gaps as well as truth value gluts. If you are agnostic between assigning paradoxical sentences gaps and gluts (and there seems to be no very good reason to prefer gaps over gluts or gluts over ...
Restall, Greg, Restall, G
openaire   +5 more sources

The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic [PDF]

Journal of Applied Non-Classical Logics, 2016
SI
José M. Méndez, Gemma Robles
openaire   +4 more sources

Cross-lingual Inference with A Chinese Entailment Graph [PDF]

, 2022
Predicate entailment detection is a crucial task for question-answering from text, where previous work has explored unsupervised learning of entailment graphs from typed open relation triples.
Hosseini, Mohammad Javad, Li, Tianyi, Guillou, Liane, Weber, Sabine, Steedman, Mark   +4 more
core   +2 more sources

Entailment : the formalisation of inference

, 2021
Entailment is the relation which holds between the premisses and conclusion of a. valid argument. Various standards of argument validity are prominent in the current literature: the classical, the relevant, and the intuitionistic.
Copeland, Brian John
core   +1 more source

Extended RDF: Computability and Complexity Issues [PDF]

, 2015
ERDF stable model semantics is a recently proposed semantics for ERDF ontologies and a faithful extension of RDFS semantics on RDF graphs. In this paper, we elaborate on the computability and complexity issues of the ERDF stable model semantics. Based
Analyti, Anastasia, Damásio, Carlos Viegas, Damasio, Carlos Viegas, Antoniou, Grigoris   +3 more
core   +1 more source

Align-then-Enhance: Entailment Graph Enhancement with Soft Predicate Alignment [PDF]

, 2023
Entailment graphs (EGs) with predicates as nodes and entailment relations as edges are typically incomplete, while EGs in different languages are often complementary to each other.
Wu, Yuting, Hu, Yutong, Li, Tianyi, Zhao, Dongyan, Feng, Yansong, Steedman, Mark   +5 more
core   +1 more source

Textual Entailment Recognition with Semantic Features from Empirical Text Representation

, 2023
Textual entailment recognition is one of the basic natural language understanding(NLU) tasks. Understanding the meaning of sentences is a prerequisite before applying any natural language processing(NLP) techniques to automatically recognize the textual ...
Shajalal, Md, Atabuzzaman, Md, Baby, Maksuda Bilkis, Atabuzzaman, Md., Boden, Alexander, Karim, Md. Rezaul, Karim, Md Rezaul   +6 more
core   +1 more source

Unsupervised German predicate entailment using the distributional inclusion hypothesis [PDF]

, 2022
Recognizing textual entailment is an important prerequisite to many tasks in NLP, e.g. question answering and semantic parsing. Knowing that for example buying a thing entails subsequently owning it is a relation that humans learn by interacting with the
Weber, Sabine
core   +1 more source

Impossible Worlds Are Here to Stay

Crítica
I address objections to impossible worlds (IWs) by Timothy Williamson and Kit Fine. Two species of IWs Mark Jago and I had in our Impossible Worlds book were FDE worlds (worlds used in the semantics of the nonclassical logic of First Degree Entailment ...
Francesco Berto
doaj   +1 more source

Updating RDFS ABoxes and TBoxes in SPARQL

, 2014
Updates in RDF stores have recently been standardised in the SPARQL 1.1 Update specification. However, computing answers entailed by ontologies in triple stores is usually treated orthogonal to updates. Even the W3C's recent SPARQL 1.1 Update language
Axel Polleres, Polleres, Axel, Calvanese, Diego, Albin Ahmeti, Ahmeti, Albin, Diego Calvanese   +5 more
core   +1 more source