Resolution Method in Linguistic Propositional Logic

Abstract

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 system based on linguistic-valued logic which includes incomparable information.

Authors and Affiliations

Thi-Minh-Tam Nguyen, Duc-Khanh Tran

Keywords

Related Articles

Analyzing Personality Traits and External Factors for Stem Education Awareness using Machine Learning

The purpose of the paper is to present the personality traits and the factors that influence a student to pursue STEM education using machine learning techniques. STEM courses have high regard because they play a vital r...

Biometrics Recognition based on Image Local Features Ordinal Encoding

In the present informational era, with the continue extension of embedded computing systems, the demand of faster and robust image descriptors is an important issue. However, image representation and recognition is an op...

State-of-the-Art and Open Challenges in RTS Game-AI and Starcraft

This paper presents a review of artificial intelligence for different approaches used in real-time strategy games. Real-time strategy (RTS) based games are quick combat games in which the objective is to dominate and des...

Intelligent Security for Phishing Online using Adaptive Neuro Fuzzy Systems

Anti-phishing detection solutions employed in industry use blacklist-based approaches to achieve low false-positive rates, but blacklist approaches utilizes website URLs only. This study analyses and combines phishing em...

Validating a Novel Conflict Resolution Strategy Selection Method (ConfRSSM) Via Multi-Agent Simulation

Selecting a suitable conflict resolution strategy when conflicts appear in multi-agent environments is a hard problem. There is a need to develop a method that can select a suitable strategy which guaranties low cost in...

Download PDF file
  • EP ID EP112176
  • DOI 10.14569/IJACSA.2016.070191
  • Views 104
  • Downloads 0

How To Cite

Thi-Minh-Tam Nguyen, Duc-Khanh Tran (2016). Resolution Method in Linguistic Propositional Logic. International Journal of Advanced Computer Science & Applications, 7(1), 672-678. https://europub.co.uk/articles/-A-112176