Fuzzy Truth Maintanance System for Nonmonotonic Reasoning

EasyChair Preprint 3555, version 2

Abstract

John McCarthy proposed non-monotonic reasoning for incomplete

information in which reasoning is changed if knowledge is added to the system. Non-

monotonic reasoning. Nonmonotonic Problems are undecided. An undecided problem

has no solution. A method needed to solve undecided AI problems. In this paper, fuzzy

modeling for non-monotonic logic is studied as method for non-monotonic reasoning.

The Fuzzy non-monotonic reasoning is studied with a twofold fuzzy logic. Fuzzy truth

maintenance system (FTMS) is studied for fuzzy non-monotonic reasoning. Fuzzy logic

programming is given for non-monotonic reasoning some examples are discussed for

Keyphrases: FTMS, fuzzy non-monotonic reasoning, fuzzy sets, temporal non-monotonic reasoning, twofold fuzzy sets

@booklet{EasyChair:3555,
  author    = {Venkata Subba Reddy Poli},
  title     = {Fuzzy Truth Maintanance System for Nonmonotonic Reasoning},
  howpublished = {EasyChair Preprint 3555},
  year      = {EasyChair, 2022}}