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.

Theory of α-Truth Degrees in n-valued Lukasiewicz Propositional Logic

Theory of Α-Truth Degree in N-Valued Product Proposition Logical

Theory of &Amp;#x03b1;-Truth Degrees in 3-Valued Prerough Logic

Theory of Γ-truth Degree of Formulas in Continuous-Valued Lukasiewicz Systemand Its Properties

Theory of Syntatic Truth Degree in Two Value Propositional Logic System

A New Graded Method of Propositional Logic L_n

The Theory of Σ_Γ-fuzzy Truth Degree Relent to Finite Theory in Propositional Logic System L_n~*

Generalization of fundamental theorem of probability logic and its applications

Linguistic Truth-Valued Intuitionistic Fuzzy Propositional Logic Based on Lia

The Conditonal Truth Ddgree of Formulas in 3-Valued Propositional Logic

Theory of Controdiction Degree in N-Valued R_0 Propositional Logic L_n~*

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

An Equivalent Definition about Truth Degree of Formula and Pseudo-metric among Formulas in Classical Logic System

The Relative Divergence Degree and Relative Consistency Degree of Theories in the Propositional Logic System L_n

Conditional Α-Truth Degrees of Formulas Based on Finite Interpretation in Fuzzy Predicate Logic

The Extended Fuzzy Operators and the Fuzzy Truth-Valued Possibility Degree

Continuous-Valued Logic Algebra Studies on the Basic of Mathematical Dialectical Propositional Logic

Negation Degree Theory and Its Application in Fuzzy Reasoning

Generalized H-valuation in Logic System UL

Satisfiability Degree Theory for Temporal Logic

A Kind of Resolution Method of Linguistic Truth-Valued Propositional Logic Based on LIA