A flexible framework for defeasible logics

03/07/2000
by   G. Antoniou, et al.
0

Logics for knowledge representation suffer from over-specialization: while each logic may provide an ideal representation formalism for some problems, it is less than optimal for others. A solution to this problem is to choose from several logics and, when necessary, combine the representations. In general, such an approach results in a very difficult problem of combination. However, if we can choose the logics from a uniform framework then the problem of combining them is greatly simplified. In this paper, we develop such a framework for defeasible logics. It supports all defeasible logics that satisfy a strong negation principle. We use logic meta-programs as the basis for the framework.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/20/2020

Goldblatt-Thomason Theorems for Modal Intuitionistic Logics

We prove Goldblatt-Thomason theorems for frames and models of a wide var...
research
08/20/2018

A continuum of incomplete intermediate logics

This paper generalizes the 1977 paper of V.B. Shehtman, which constructe...
research
09/23/2020

A Game Theoretical Semantics for Logics of Nonsense

Logics of non-sense allow a third truth value to express propositions th...
research
06/15/2023

Streamlining Input/Output Logics with Sequent Calculi

Input/Output (I/O) logic is a general framework for reasoning about cond...
research
06/09/2021

Choice Logics and Their Computational Properties

Qualitative Choice Logic (QCL) and Conjunctive Choice Logic (CCL) are fo...
research
10/24/2019

Rapid Prototyping Formal Systems in MMT: 5 Case Studies

Logical frameworks are meta-formalisms in which the syntax and semantics...
research
01/05/2018

Intelligence Graph

In fact, there exist three genres of intelligence architectures: logics ...

Please sign up or login with your details

Forgot password? Click here to reset