2014
DOI: 10.1007/978-3-319-08795-5_36
|View full text |Cite
|
Sign up to set email alerts
|

Resolution in Linguistic First Order Logic Based on Linear Symmetrical Hedge Algebra

Abstract: Abstract. This paper focuses on resolution in linguistic first order logic with truth value taken from linear symmetrical hedge algebra. We build the basic components of linguistic first order logic, including syntax and semantics. We present a resolution principle for our logic to resolve on two clauses having contradictory linguistic truth values. Since linguistic information is uncertain, inference in our linguistic logic is approximate. Therefore, we introduce the concept of reliability in order to capture… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2016
2016
2016
2016

Publication Types

Select...
1

Relationship

1
0

Authors

Journals

citations
Cited by 1 publication
(1 citation statement)
references
References 20 publications
0
1
0
Order By: Relevance
“…Le et al [14] introduced the fuzzy linguistic logic programming whose truth value domain is based on monotone symmetrical finite hedge algebras, then gave a procedural semantics based on many-valued modus ponens. Nguyen et al [17], [18] presented linguistic logics with truth-valued domain based on linear symmetrical hedge algebra. Lai and Xu [15] presented a linguistic truth-valued lattice-valued propositional logic system, called lP(X)P(X), whose truth value domain is a lattice implication algebra.…”
Section: Introductionmentioning
confidence: 99%
“…Le et al [14] introduced the fuzzy linguistic logic programming whose truth value domain is based on monotone symmetrical finite hedge algebras, then gave a procedural semantics based on many-valued modus ponens. Nguyen et al [17], [18] presented linguistic logics with truth-valued domain based on linear symmetrical hedge algebra. Lai and Xu [15] presented a linguistic truth-valued lattice-valued propositional logic system, called lP(X)P(X), whose truth value domain is a lattice implication algebra.…”
Section: Introductionmentioning
confidence: 99%