On Deductive Systems of AC Semantics for Rough Sets
Antichain based semantics for general rough sets were introduced recently by the present author. In her paper two different semantics, one for general rough sets and another for general approximation spaces over quasi-equivalence relations, were developed. These semantics are improved and studied further from a lateral algebraic logic perspective in this research. The main results concern the structure of the algebras and deductive systems in the context.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Satisfying Rationality Postulates of Structured Argumentation Through Deductive Support -- Technical Report
ASPIC-style structured argumentation frameworks provide a formal basis for reasoning in artificial intelligence by combining internal argument structure with abstract argumentation semantics. A key challenge in these fra…
Technical Report of "Deductive Joint Support for Rational Unrestricted Rebuttal"
In ASPIC-style structured argumentation an argument can rebut another argument by attacking its conclusion. Two ways of formalizing rebuttal have been proposed: In restricted rebuttal, the attacked conclusion must have b…
RelationRobustLR: Evaluating Robustness to Logical Perturbation in Deductive Reasoning
Transformers have been shown to be able to perform deductive reasoning on a logical rulebase containing rules and statements written in English natural language. While the progress is promising, it is currently unclear i…
Logical ReasoningNegationSimple deductive reasoning tests and data sets for exposing limitation of today's deep neural networks
Learning for Deductive Reasoning is an open problem not yet explicitly called out in the machine learning world today. Deductive reasoning involves storing facts in memory and generation of newer facts over time. The con…
BIG-bench Machine LearningFeature EngineeringDual Box Embeddings for the Description Logic EL++
OWL ontologies, whose formal semantics are rooted in Description Logic (DL), have been widely used for knowledge representation. Similar to Knowledge Graphs (KGs), ontologies are often incomplete, and maintaining and con…
Knowledge GraphsLink PredictionOntology EmbeddingRepresentation Learning