A Reason Maintenace System Dealing with Vague Data

03/20/2013

∙

A reason maintenance system which extends an ATMS through Mukaidono's fuzzy logic is described. It supports a problem solver in situations affected by incomplete information and vague data, by allowing nonmonotonic inferences and the revision of previous conclusions when contradictions are detected.

READ FULL TEXT

A Reason Maintenace System Dealing with Vague Data

Applicability of Crisp and Fuzzy Logic in Intelligent Response Generation

On the Semantics and Automated Deduction for PLFC, a Logic of Possibilistic Uncertainty and Fuzziness

Updating belief functions over Belnap–Dunn logic

Towards a Formalisation of Justification and Justifiability

A Minesweeper Solver Using Logic Inference, CSP and Sampling

Ludii and XCSP: Playing and Solving Logic Puzzles

Deduction under Perturbed Evidence: Probing Student Simulation Capabilities of Large Language Models

A Reason Maintenace System Dealing with Vague Data

Related Research

Applicability of Crisp and Fuzzy Logic in Intelligent Response Generation

On the Semantics and Automated Deduction for PLFC, a Logic of Possibilistic Uncertainty and Fuzziness

Updating belief functions over Belnap–Dunn logic

Towards a Formalisation of Justification and Justifiability

A Minesweeper Solver Using Logic Inference, CSP and Sampling

Ludii and XCSP: Playing and Solving Logic Puzzles

Deduction under Perturbed Evidence: Probing Student Simulation Capabilities of Large Language Models