Fuzzy linguistic propositional logic based on refined hedge algebra

We consider a fuzzy linguistic propositional logic having the truth domain as a refined hedge algebra. The syntax and semantic are defined, the resolution is chosen as the inference system. The soundness and completeness of the resolution procedure are proved using semantic tree technique. In order...

Full description

Saved in:
Bibliographic Details
Main Authors: Duc-Khanh Tran, Viet-Trung Vu, The-Vinh Doan, Minh-Tam Nguyen
Format: Conference Proceeding
Language:English
Subjects:
Algebra
Fuzzy logic
Hedge Algebra
Lattices
Linguistic Propositional Logic
Linguistic Truth Value
Pragmatics
Reliability
Resolution
Semantics
Syntactics
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We consider a fuzzy linguistic propositional logic having the truth domain as a refined hedge algebra. The syntax and semantic are defined, the resolution is chosen as the inference system. The soundness and completeness of the resolution procedure are proved using semantic tree technique. In order to capture the approximate nature of the resolution inference, we introduce the concept of reliability of resolution inference. The greater the reliability is the more certain the resolution inference is. Finally, we give an optimized resolution procedure which guarantees that each resolution proof has the maximal reliability.
ISSN:1098-7584
DOI:10.1109/FUZZ-IEEE.2013.6622392