arXiv AI
Modus Tollens and Counterfactuals and Counterfactual Reasoning Based on Three Types of Negation
Read the original on arXiv AI →The Flow has not summarised this story yet — read it at arXiv AI.
Related stories
arXiv AI
Sep 1
Formal Concept Analysis with Three Types of Negation
arXiv:2608.29311v1 Announce Type: new Abstract: Classic Formal Concept Analysis (FCA) primarily focuses on the positive relationships between objects and attributes and does not have mechanisms for h...
arXiv AI
Sep 10
Three Types of Negation of Triple and its Elements and an Extension of Triple
arXiv:2609.08271v1 Announce Type: new Abstract: In various data models, the classical triple is a typical semantic data model. However, due to the design of the triple as a simple structure for repre...
arXiv AI
Jun 3
Towards Non-Monotonic Entailment in Propositional Defeasible Standpoint Logic
arXiv:2606. 03655v1 Announce Type: new Abstract: Recent work in defeasible reasoning has seen notions of preferential semantics and entailment in the style of Kraus et al.
Hugging Face Trending Papers
Jun 2
Towards Non-Monotonic Entailment in Propositional Defeasible Standpoint Logic
Recent work in defeasible reasoning has seen notions of preferential semantics and entailment in the style of Kraus et al. applied to modal logics.
arXiv AI
Jun 16
Provenance-Enhanced Statements in Knowledge Graphs
arXiv:2606. 15246v1 Announce Type: cross Abstract: Provenance-enhanced statements of the form "according to $X$, $\varphi$" are pervasive in contemporary knowledge graphs, especially in domains where graph content primarily represents claims, interpretations, and hypotheses (\emph{capta}) rather than observer-independent facts (\emph{data}).
arXiv AI
Jul 1
Beyond But-for Test: Counterfactual Explanation in Abstract Argumentation via Actual Causality (Extended Version)
arXiv:2606. 31080v1 Announce Type: cross Abstract: Counterfactual explanation in abstract argumentation calls for an answer to the what-if query: would the topic argument still be accepted if the status of certain other arguments were changed?