arXiv AI
Formal Concept Analysis with 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 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
Sep 10
Modus Tollens and Counterfactuals and Counterfactual Reasoning Based on Three Types of Negation
arXiv:2609.07483v1 Announce Type: new Abstract: Modus Tollens (MT) is a classical logical inference rule, while counterfactuals are hypothetical statements that are contrary to facts, and counterfact...
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.
arXiv AI
Sep 10
Evidential-Based Higher-Order Set Argumentation Framework
The paper introduces the Evidential-Based Higher-Order Set Argumentation Framework (EHSAF), a unified formalism that extends Dung’s abstract argumentation by incorporating evidential support, higher-order relations, and collective interactions. Two complete semantics are defined: an adjacent complete labelling semantics allowing multiple truth values for arguments in support cycles, and an extension-based complete semantics that accepts only well‑founded support chains. The authors provide a propositional encoding in three‑valued Łukasiewicz logic and extend it to continuous fuzzy logics, proving key properties and showing equivalence under support‑acyclicity.
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
Jul 3
Verifiable Knowledge Expansion through Retrieval-Grounded Formal Concept Analysis
arXiv:2607. 01773v1 Announce Type: new Abstract: Ontology construction requires deciding which objects, attributes, and structural relations should be accepted as valid knowledge.