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 incomplete knowledge.

• Publication year

  1992

• Venue

  Conference on Uncertainty in Artificial Intelligence

• Publication date

  1992-07-17

• Fields of study

  Mathematics, Philosophy, Computer Science

• Identifiers
  DOI 10.1016/B978-1-4832-8287-9.50009-8arXiv 1303.5395
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• On the Semantics of Graded Modalities

  1992cited by this paper
• A Modal Analysis of Possibility Theory

  1991cited by this paper
• Nonmonotonic Inferences Based on Expectations: A Preliminary Report

  1991cited by this paper
• Parameter Structures for Parametrized Modal Operators

  1991cited by this paper
• Propagation of Preference Relations in Qualitative Inference Networks

  1991cited by this paper
• Epistemic Entrenchment and Possibilistic Logic

  1991cited by this paper
• Abduction in Labelled Deductive Systems - A Conceptual Abstract

  1991cited by this paper
• Graded Logics: A Framework for Uncertain and Defeasible Knowledge

  1991cited by this paper
• Bilattices and the Semantics of Logic Programming

  1991cited by this paper
• A model of inexact reasoning in medicine

  1990cited by this paper
• Graded Default Theories for Uncertainty

  1990cited by this paper
• Probabilistic reasoning in intelligent systems - networks of plausible inference

  1989cited by this paper
• Multivalued logics: a uniform approach to reasoning in artificial intelligence

  1988cited by this paper
• Revisions of Knowledge Systems Using Epistemic Entrenchment

  1988cited by this paper
• Intuitive Semantics for Quantitative Rule Sets

  1988cited by this paper
• Logic of Approximation Reasoning

  1987cited by this paper
• Theorem Proving Under Uncertainty - A Possibility Theory-based Approach

  1987cited by this paper
• Paraconsistent Logic Programming

  1987cited by this paper
• Belief structures, possibility theory and decomposable confidence measures on finite sets

  1986cited by this paper
• A logic to reason about likelihood

  1983cited by this paper
• Modal Logic: Normal systems of modal logic

  1980cited by this paper
• Qualitative probability as an intensional logic

  1975cited by this paper
• Theories of Probability: An Examination of Foundations

  1973cited by this paper
• Probabilistic Logic *

  year unknowncited by this paper

• Modalities and many-valued : modelling uncertainty measures and similarity-based reasoning and application to Fuzzy description Logics

  2010cites this paper
• On uncertainty and Kripke modalities in t-norm fuzzy logics

  2009cites this paper
• Exploring a Syntactic Notion of Modal Many-Valued Logics

  2008cites this paper
• A logic of supporters

  2000cites this paper
• How much does an agent believe: An extension of modal epistemic logic

  1998cites this paper
• Applications of Uncertainty Formalisms

  1998cites this paper
• Graded Hypothesis Theories

  1997influential citation
• Possibilistic Reasoning - A Mini-Survey and Uniform Semantics

  1996cites this paper
• A logic for conditional possibility

  1995cites this paper
• Viewing Hypothesis Theories as Constrained Graded Theories

  1994cites this paper