Resolution Method in Linguistic Propositional Logic

Thi-Minh-Tam Nguyen, Duc-Khanh Tran
2016 International Journal of Advanced Computer Science and Applications  
In the present paper, the resolution method for a linguistic propositional logic with truth value in a logical algebra -refined hedge algebra, is focused. The preliminaries of refined hedge algebra are given first. Then the syntax and semantic of linguistic propositional are defined. Finally, a resolution method which based on resolution principle in two-valued logic is established. Accordingly, the research in this paper will be helpful support for the application of intelligent reasoning
more » ... gent reasoning system based on linguistic-valued logic which includes incomparable information.
doi:10.14569/ijacsa.2016.070191 fatcat:icshskuajfhevfm3z4cjk43cru