Resolution in linguistic first order logic based on linear symmetrical hedge algebra

DOI10.1007/978-3-319-08795-5_36MaRDI QIDQ2320337zbMATH OpenOpenAlexFDO

Authors Thi-Minh-Tam Nguyen, Viet-Trung Vu, The-Vinh Doan, Duc-Khanh Tran

Publication date 22 August 2019

Full work available at URL https://arxiv.org/abs/1403.6237

zbMATH Keywords

automated reasoninglinear symmetrical hedge algebralinguistic first-order logiclinguistic truth valueresolution

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

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 the natural approximation of the resolution inference rule.

Recommendations

• A resolution method for linguistic many-valued logic
• A linguistic truth-valued resolution method based on the six-element lattice-valued propositional logic
• The resolution method for 10-element linguistic truth-valued propositional logic
• An algebraic approach to linguistic hedges in Zadeh's fuzzy logic
• Open theories, consistency and related results in fuzzy logic

Cited in

(4)

• A linguistic truth-valued resolution method based on the six-element lattice-valued propositional logic
• A resolution method for linguistic many-valued logic
• The resolution method for 10-element linguistic truth-valued propositional logic
• Tabulation proof procedures for fuzzy linguistic logic programming

This page was built for publication: Resolution in linguistic first order logic based on linear symmetrical hedge algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2320337)