Lattice-Based Graded Logic: a Multimodal Approach

📝 Original Info

• Title: Lattice-Based Graded Logic: a Multimodal Approach
• ArXiv ID: 1303.5395
• Date: 2013-03-25
• Authors: Researchers from original ArXiv paper

📝 Abstract

Experts do not always feel very, comfortable when they have to give precise numerical estimations of certainty degrees. In this paper we present a qualitative approach which allows for attaching partially ordered symbolic grades to logical formulas. Uncertain information is expressed by means of parameterized modal operators. We propose a semantics for this multimodal logic and give a sound and complete axiomatization. We study the links with related approaches and suggest how this framework might be used to manage both uncertain and incomplere knowledge.

💡 Deep Analysis

Deep Dive into Lattice-Based Graded Logic: a Multimodal Approach.

Experts do not always feel very, comfortable when they have to give precise numerical estimations of certainty degrees. In this paper we present a qualitative approach which allows for attaching partially ordered symbolic grades to logical formulas. Uncertain information is expressed by means of parameterized modal operators. We propose a semantics for this multimodal logic and give a sound and complete axiomatization. We study the links with related approaches and suggest how this framework might be used to manage both uncertain and incomplere knowledge.

📄 Full Content

Reference