Published January 1, 2016
| Version v1
Publication
Open
Resolution Method in Linguistic Propositional Logic
Creators
- 1. Vinh University
- 2. Ho Chi Minh City University of Technology
Description
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.
Translated Descriptions
⚠️
This is an automatic machine translation with an accuracy of 90-95%
Translated Description (Arabic)
في هذه الورقة، يتم التركيز على طريقة القرار لمنطق افتراضي لغوي مع قيمة الحقيقة في جبر تحوط مكرر منطقي. يتم إعطاء التصفيات لجبر التحوط المكرر أولاً. ثم يتم تعريف النحو والدلالة للافتراض اللغوي. أخيرًا، يتم إنشاء طريقة حل تستند إلى مبدأ القرار في منطق ذي قيمتين. وفقًا لذلك، سيكون البحث في هذه الورقة دعمًا مفيدًا لتطبيق نظام التفكير الذكي القائم على المنطق ذي القيمة اللغوية والذي يتضمن معلومات لا تضاهى.Translated Description (French)
Dans le présent article, la méthode de résolution pour une logique linguistique propositionnelle avec une valeur de vérité dans une algèbre logique - algèbre de couverture raffinée, est concentrée. Les préliminaires de l'algèbre de couverture raffinée sont donnés en premier. Ensuite, la syntaxe et la sémantique de la logique linguistique propositionnelle sont définies. Enfin, une méthode de résolution basée sur le principe de résolution dans la logique à deux valeurs est établie. Par conséquent, la recherche dans cet article sera un soutien utile pour l'application d'un système de raisonnement intelligent basé sur la logique linguistique qui comprend des informations incomparables.Translated Description (Spanish)
En el presente artículo, se enfoca el método de resolución para una lógica proposicional lingüística con valor de verdad en un álgebra lógica: álgebra de setos refinada. Primero se dan los preliminares del álgebra de setos refinada. Luego se define la sintaxis y la semántica de la proposición lingüística. Finalmente, se establece un método de resolución que se basa en el principio de resolución en la lógica de dos valores. En consecuencia, la investigación en este artículo será un apoyo útil para la aplicación del sistema de razonamiento inteligente basado en la lógica de valores lingüísticos que incluye información incomparable.Files
Paper_91-Resolution_Method_in_Linguistic_Propositional_Logic.pdf.pdf
Files
(794.8 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:815e0fc9f2f75167c9861c75c0577a39
|
794.8 kB | Preview Download |
Additional details
Additional titles
- Translated title (Arabic)
- طريقة الحل في منطق الاقتراح اللغوي
- Translated title (French)
- Méthode de résolution en logique linguistique propositionnelle
- Translated title (Spanish)
- Método de resolución en lógica proposicional lingüística
Identifiers
- Other
- https://openalex.org/W2264646729
- DOI
- 10.14569/ijacsa.2016.070191
References
- https://openalex.org/W1604996931
- https://openalex.org/W195811926
- https://openalex.org/W1984723670
- https://openalex.org/W1987287444
- https://openalex.org/W2004627245
- https://openalex.org/W2013900754
- https://openalex.org/W2017179349
- https://openalex.org/W2039499197
- https://openalex.org/W2041116216
- https://openalex.org/W2052588271
- https://openalex.org/W2091748361
- https://openalex.org/W2100738443
- https://openalex.org/W2127982691
- https://openalex.org/W2153676086
- https://openalex.org/W2157041604
- https://openalex.org/W2165569445
- https://openalex.org/W2223687028
- https://openalex.org/W2912565176
- https://openalex.org/W316780827