A Note On Truth Value In Uncertain Logic

Xiaowei Chen,Dan A. Ralescu

DOI: https://doi.org/10.1016/j.eswa.2011.05.030

2009-01-01

Abstract:Uncertain logic is a generalization of logic for dealing with uncertain knowledge. The truth value is defined as the uncertain measure that the proposition is true. In this paper, a formula for computing the truth value of independent uncertain propositions is proved.

What problem does this paper attempt to address?

On Truth-Gaps, Bipolar Belief and the Assertability of Vague Propositions

Jonathan Lawry,Yongchuan Tang

DOI: https://doi.org/10.1016/j.artint.2012.07.004

IF: 14.4

2012-01-01

Artificial Intelligence

Abstract:This paper proposes an integrated approach to indeterminacy and epistemic uncertainty in order to model an intelligent agentʼs decision making about the assertability of vague statements. Initially, valuation pairs are introduced as a model of truth-gaps for propositional logic sentences. These take the form of lower and upper truth-valuations representing absolutely true and not absolutely false respectively. In particular, we consider valuation pairs based on supervaluationist principles and also on Kleeneʼs three-valued logic. The relationship between Kleene valuation pairs and supervaluation pairs is then explored in some detail with particular reference to a natural ordering on semantic precision. In the second part of the paper we extend this approach by proposing bipolar belief pairs as an integrated model combining epistemic uncertainty and indeterminacy. These comprise of lower and upper belief measures on propositional sentences, defined by a probability distribution on a finite set of possible valuation pairs. The properties of these measures are investigated together with their relationship to different types of uncertainty measure. Finally, we apply bipolar belief measures in a preliminary decision theoretic study so as to begin to understand how the use of vague expressions can help to mitigate the risk associated with making forecasts or promises. This then has potential applications to natural language generation systems.
Uncertain Logic

Baoding Liu

DOI: https://doi.org/10.1007/978-3-642-13959-8_8

2015-01-01

Abstract: Uncertain logic is a generalization of mathematical logic for dealing with uncertain knowledge via uncertainty theory. The first model is uncertain propositional logic designed by Li and Liu [96] in which the truth value of an uncertain proposition is defined as the uncertain measure that the proposition is true. An important contribution is the truth value theorem by Chen and Ralescu [18] that provides a numerical method for calculating the truth value of uncertain formulas. The second model is uncertain predicate logic proposed by Zhang and Peng [227] in which an uncertain predicate proposition is defined as a sequence of uncertain propositions indexed by one or more parameters. One advantage of uncertain logic is the well consistency with classical logic. For example, uncertain logic obeys the law of truth conservation and is consistent with the law of excluded middle and the law of contradiction. This chapter will introduce uncertain propositional logic and uncertain predicate logic.
A New Logic for Uncertainty

Maokang Luo,Wei He

2015-01-01

Abstract:Fuzziness and randomicity widespread exist in natural science, engineering, technology and social science. The purpose of this paper is to present a new logic - uncertain propositional logic which can deal with both fuzziness by taking truth value semantics and randomicity by taking probabilistic semantics or possibility semantics. As the first step for purpose of establishing a logic system which completely reflect the uncertainty of the objective world, this logic will lead to a set of logical foundations for uncertainty theory as what classical logic done in certain or definite situations or circumstances.
Hybrid Logic and Uncertain Logic

Xiang Li,Baoding Liu

2009-01-01

Abstract:Probabilistic logic and credibilistic logic are two branches of multi-valued logic for dealing with random knowledge and fuzzy knowledge, respectively. In this paper, a hybrid logic is introduced for dealing with random knowledge and fuzzy knowledge simultaneously. First, a hybrid formula is introduced on the basis of random proposition and fuzzy proposition. Furthermore, a hybrid truth value is defined by chance measure. As a generalization of probabilistic logic, credibilistic logic and hybrid logic, an uncertain logic is proposed to deal with the general uncertain knowledge. Within the framework of uncertainty theory, the uncertain truth value is defined by uncertain measure and some of its basic properties are studied including the law of excluded middle, the law of contradiction and the law of truth conservation. Keywords: multi-valued logic; probabilistic logic; credibilistic logic; hybrid logic; uncertain logic
Uncertain Entailment and Modus Ponens in the Framework of Uncertain Logic

Baoding Liu

2009-01-01

Abstract:Uncertain entailment is a methodology for calculating the truth value of an uncertain formula via the maximum uncertainty principle when the truth values of other uncertain formulas are given. In order to find the truth value of additional formula, this paper will introduce an entailment model. As applications of uncertain entailment, this paper will also discuss modus ponens, modus tollens, and hypothetical syllogism.
A logic for approximate reasoning

D KOLLER,JY HALPERN

DOI: https://doi.org/10.2307/2275910

1994-01-01

Journal of Symbolic Logic

Abstract:Classical logic is not adequate to face the essential vagueness of human reasoning, which is approximate rather than precise in nature. The logical treatment of the concepts of vagueness and approximation is of increasing importance in artificial intelligence and related research. Consequently, many logicians have proposed different systems of many-valued logic as a formalization of approximate reasoning (see, for example, Goguen [G], Gerla and Tortora [GT], Novak [No], Pavelka [P], and Takeuti and Titani [TT]). As far as we know, all the proposals are obtained by extending the range of truth values of propositions. In these logical systems reasoning is still exact and to make a conclusion the antecedent clause of its rule must match its premise exactly. In addition. Wang [W] pointed out: “If we compare calculation with proving,... Procedures of calculation... can be made so by fairly well-developed methods of approximation; whereas... we do not have a clear conception of approximate methods in theorem proving.... The concept of approximate proofs, though undeniably of another kind than approximations in numerical calculations, is not incapable of more exact formulation in terms of, say, sketches of and gradual improvements toward a correct proof” (see pp, 224–225). As far as the author is aware, however, no attempts have been made to give a conception of approximate methods in theorem proving. The purpose of this paper is. unlike all the previous proposals, to develop a propositional calculus, a predicate calculus in which the truth values of propositions are still true or false exactly and in which the reasoning may be approximate and allow the antecedent clause of a rule to match its premise only approximately. In a forthcoming paper we shall establish set theory, based on the logic introduced here, in which there are ∣ L ∣ binary predicates ∈ λ , λ ∈ L such that R (∈, ∈ λ ) = λ where ∈ stands for ∈ 1 and 1 is the greatest element in L , and x ∈ λ y is interpreted as that x belongs to y in the degree of λ , and relate it to intuitionistic fuzzy set theory of Takeuti and Titani [TT] and intuitionistic modal set theory of Lano [ L ]. In another forthcoming paper we shall introduce the resolution principle under approximate match and illustrate its applications in production systems of artificial intelligence.
Foundation of Credibilistic Logic

Xiang Li,Baoding Liu

DOI: https://doi.org/10.1007/s10700-009-9053-6

IF: 5.274

2009-01-01

Fuzzy Optimization and Decision Making

Abstract:In this paper, credibilistic logic is introduced as a new branch of uncertain logic system by explaining the truth value of fuzzy formula as credibility value. First, credibilistic truth value is introduced on the basis of fuzzy proposition and fuzzy formula, and the consistency between credibilistic logic and classical logic is proved on the basis of some important properties about truth values. Furthermore, a credibilistic modus ponens and a credibilistic modus tollens are presented. Finally, a comparison between credibilistic logic and possibilistic logic is given.
A proposal of hybrid logic

Xiang Li,Baoding Liu

2008-01-01

Abstract:Probabilistic logic and credibilistic logic are two branches of multi-valued logic for dealing with random knowledge and fuzzy knowledge, respectively. In this paper, a hybrid logic is introduced for dealing with random knowledge and fuzzy knowledge simultaneously. First, a hybrid formula is introduced on the basis of random proposition and fuzzy proposition. Furthermore, a hybrid truth value is defined by chance measure. Finally, a basic inference rule in hybrid logic is proposed and the hybrid modus ponens, hybrid modus to]lens and hybrid left disjoint are proved. As a generalization of probabilistic logic, credibilistic logic and hybrid logic, an uncertain logic is proposed to deal with the general uncertain knowledge.
Uncertain logic for modeling human language

Baoding Liu

2011-01-01

Journal of Uncertain Systems

Abstract:This paper discusses uncertain set theory and proposes the concepts of membership function, variance, entropy and distance of uncertain sets. In order to determine membership functions, uncertain statistics is also suggested. Based on uncertain set theory, uncertain logic is presented for dealing with human language by using uncertain quanti_er, uncertain subject and uncertain predicate. As an application, uncertain logic provides a means for extracting linguistic summary from a collection of raw data. Finally, fuzzy logic will be discussed at the end of this paper. © 2011 World Academic Press, UK. All rights reserved.
Modeling Uncertainty and Imprecision in Nonmonotonic Reasoning using Fuzzy Numbers

Sandip Paul,Kumar Sankar Ray,Diganta Saha

DOI: https://doi.org/10.48550/arXiv.2001.01781

2020-01-03

Abstract:To deal with uncertainty in reasoning, interval-valued logic has been developed. But uniform intervals cannot capture the difference in degrees of belief for different values in the interval. To salvage the problem triangular and trapezoidal fuzzy numbers are used as the set of truth values along with traditional intervals. Preorder-based truth and knowledge ordering are defined over the set of fuzzy numbers defined over $[0,1]$. Based on this enhanced set of epistemic states, an answer set framework is developed, with properly defined logical connectives. This type of framework is efficient in knowledge representation and reasoning with vague and uncertain information under nonmonotonic environment where rules may posses exceptions.

Artificial Intelligence
The Measure Of Uncertainty Of The Positive Conjunction Reasoning Rules

Mingjiu Gai,Bao Shi,Xiao Yi,You He

DOI: https://doi.org/10.1109/ICR.2006.343246

2006-01-01

Abstract:The method of second order probability technique is presented to solve the problem of how to measure the uncertainties of the positive conjunction reasoning rules. We get a practical formula by using this method. The results can provide a probability foundation for the application of this kind of reasoning rules in decision-making.
Uncertain Set Theory

Baoding Liu

DOI: https://doi.org/10.1007/978-3-642-13959-8_10

2010-01-01

Abstract: Uncertain set theory was proposed by Liu [125] in 2010 as a generalization of uncertainty theory to the domain of uncertain sets. This chapter will introduce the concepts of uncertain set, membership degree, membership function, uncertainty distribution, independence, operational law, expected value, critical values, Hausdorff distance, and conditional uncertain set.
Uncertain Entailment

Baoding Liu

DOI: https://doi.org/10.1007/978-3-642-13959-8_9

2010-01-01

Abstract: Uncertain entailment, developed by Liu [124] in 2009, is a methodology for calculating the truth value of an uncertain formula via the maximum uncertainty principle when the truth values of other uncertain formulas are given. In order to solve this problem, this chapter will introduce an entailment model. As applications of uncertain entailment, this chapter will also discuss modus ponens, modus tollens, and hypothetical syllogism.
Nonclassical logics and multivariate truth values

Volodymyr M. Zhuravlov

2024-01-26

Abstract:The article demonstrates that logic is not necessarily singleton and does not always have the standard interpretation of negation. Appropriate generalizations of logic are suggested. Positive logic and multivalued negation operations are examined. An attempt is made to abstract from the fixed and absolute values of truth and falsehood; the ambiguity of logical values is interpreted as their relativity, projective logic.

Logic
Uncertainty Theory: A Branch of Mathematics for Modeling Human Uncertainty

Baoding Liu

2011-01-01

Abstract:Uncertainty theory is a branch of mathematics based on normality, monotonicity, self-duality, countable subadditivity, and product measure axioms. Uncertainty is any concept that satisfies the axioms of uncertainty theory. Thus uncertainty is neither randomness nor fuzziness. It is also known from some surveys that a lot of phenomena do behave like uncertainty. How do we model uncertainty? How do we use uncertainty theory? In order to answer these questions, this book provides a self-contained, comprehensive and up-to-date presentation of uncertainty theory, including uncertain programming, uncertain risk analysis, uncertain reliability analysis, uncertain process, uncertain calculus, uncertain differential equation, uncertain logic, uncertain entailment, and uncertain inference. Mathematicians, researchers, engineers, designers, and students in the field of mathematics, information science, operations research, system science, industrial engineering, computer science, artificial intelligence, finance, control, and management science will find this work a stimulating and useful reference.
Uncertainty theory and its axiomatic foundations

彭锦,刘宝碇

DOI: https://doi.org/10.3969/j.issn.1003-8078.2004.03.001

2004-01-01

Abstract:The general framework of uncertainty theory consists of probability theory, credibility theory and trust theory. It also includes fuzzy random theory, random fuzzy theory, random rough theory, rough random theory, fuzzy rough theory, rough fuzzy theory, birandom theory, bifuzzy theory and birough theory. This article provides a comprehensive survey of uncertainty theory and its axiomatic foundations. Up-to-date developments in uncertinty theory are reported. Some challenges to uncertinty theory are indicated for further research topics. An extensive bibliography is also included.
Logic, Reasoning under Uncertainty and Causality

Pedro A. Ortega

DOI: https://doi.org/10.48550/arXiv.1008.2780

2010-08-17

Abstract:A simple framework for reasoning under uncertainty and intervention is introduced. This is achieved in three steps. First, logic is restated in set-theoretic terms to obtain a framework for reasoning under certainty. Second, this framework is extended to model reasoning under uncertainty. Finally, causal spaces are introduced and shown how they provide enough information to model knowledge containing causal information about the world.

Statistics Theory
Imprecise Probabilities From Imprecise Descriptions Of Real Numbers

Jonathan Lawry,Ines Gonzalez-Rodr ´ õguez,Yongchuan Tang

2009-01-01

Abstract:A prototype theory interpretation of the label semantics framework is proposed as a possible model of imprecise descriptions of real numbers. It is shown that within this framework conditioning given imprecise descriptions of a real variable naturally results in imprecise probabilities. An inference method is proposed from data in the form of a set of imprecise descriptions, which naturally suggests an algorithm for estimating lower and upper probabilities given imprecise data values.
A Framework for Reasoning About Uncertainty in Ontologies

Said Jabbour,Yue Ma,Badran Raddaoui

DOI: https://doi.org/10.1109/mis.2022.3220687

IF: 6.744

2023-02-18

IEEE Intelligent Systems

Abstract:This article introduces a logic-based argumentation framework for reasoning under uncertainty of description logic-based ontologies. We found our framework on four new argumentation-based semantics: the classical semantics, the IAR semantics family, the cardinality based family, and the agent preference-based semantics, where the last one allows the framework to be applied to multiagent systems. Within this framework, multiple new inference relations can be distinguished to draw meaningful answers to queries even from imperfect ontologies. We also investigate logical properties and the productivity of these new entailment mechanisms and their relationships with other well-known existing logical entailments.

computer science, artificial intelligence,engineering, electrical & electronic
Uncertainty-Based Knowing How Logic

Carlos Areces,Raul Fervari,Andrés R. Saravia,Fernando R. Velázquez-Quesada

2023-04-03

Abstract:We introduce a novel semantics for a multi-agent epistemic operator of knowing how, based on an indistinguishability relation between plans. Our proposal is, arguably, closer to the standard presentation of knowing that modalities in classical epistemic logic. We study the relationship between this new semantics and previous approaches, showing that our setting is general enough to capture them. We also study the logical properties of the new semantics. First, we define a sound and complete axiomatization. Second, we define a suitable notion of bisimulation and prove correspondence theorems. Finally, we investigate the computational complexity of the model checking and satisfiability problems for the new logic.

Logic in Computer Science

A Note On Truth Value In Uncertain Logic

On Truth-Gaps, Bipolar Belief and the Assertability of Vague Propositions

Uncertain Logic

A New Logic for Uncertainty

Hybrid Logic and Uncertain Logic

Uncertain Entailment and Modus Ponens in the Framework of Uncertain Logic

A logic for approximate reasoning

Foundation of Credibilistic Logic

A proposal of hybrid logic

Uncertain logic for modeling human language

Modeling Uncertainty and Imprecision in Nonmonotonic Reasoning using Fuzzy Numbers

The Measure Of Uncertainty Of The Positive Conjunction Reasoning Rules

Uncertain Set Theory

Uncertain Entailment

Nonclassical logics and multivariate truth values

Uncertainty Theory: A Branch of Mathematics for Modeling Human Uncertainty

Uncertainty theory and its axiomatic foundations

Logic, Reasoning under Uncertainty and Causality

Imprecise Probabilities From Imprecise Descriptions Of Real Numbers

A Framework for Reasoning About Uncertainty in Ontologies

Uncertainty-Based Knowing How Logic