Defeasible Reasoning on Concepts

Yiwen Ding, Krishna Manoorkar, Ni Wayan Switrayni, Ruoding Wang
9/7/2024
cs.AIcs.LO

No confident code implementation found for this paper.

Abstract

In this paper, we take first steps toward developing defeasible reasoning on concepts in KLM framework. We define generalizations of cumulative reasoning system C and cumulative reasoning system with loop CL to conceptual setting. We also generalize cumulative models, cumulative ordered models, and preferential models to conceptual setting and show the soundness and completeness results for these models.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria

78% match2025

Benchmarking Defeasible Reasoning with Large Language Models -- Initial Experiments and Future Directions

77% match2024

PYTHEN: A Flexible Framework for Legal Reasoning in Python

76% match2026

Complexity of Faceted Explanations in Propositional Abduction

75% match2025

A Theory for Length Generalization in Learning to Reason

75% match2024

How Rules Represent Causal Knowledge: Causal Modeling with Abductive Logic Programs

74% match2025

Cite this paper

@article{ding2024defeasible,
  title  = {Defeasible Reasoning on Concepts},
  author = {Yiwen Ding and Krishna Manoorkar and Ni Wayan Switrayni and Ruoding Wang},
  year   = {2024},
  eprint = {2409.04887},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2409.04887v1}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2409.04887.svg)](https://codeofpaper.com/paper/2409.04887)

Discussion