Resolution in Linguistic First Order Logic based on Linear Symmetrical Hedge Algebra

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 havi...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2014-03
Hauptverfasser:	Thi-Minh-Tam, Nguyen, Viet-Trung Vu, Doan, The-Vinh, Tran, Duc-Khanh
Format:	Artikel
Sprache:	eng
Schlagworte:	Inference Linguistics Logic Semantics
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!