Search
 
loader loading subjects...
cover
On Free Models for Horn Clauses over Predicate Fuzzy Logics
Vicent Costa, Pilar Dellunde
49 - 58
10.3233/978-1-61499-578-4-49
Frontiers in Artificial Intelligence and Applications
Volume 277: Artificial Intelligence Research and Development
Abstract

This paper is a preliminary study of the universal Horn fragment of Predicate Fuzzy Logics. We work in languages with a binary predicate symbol that is interpreted as a similarity. Using this similarity relation we define a term structure associated to a theory, and we prove that it is a free structure on the class of reduced models of the theory. Finally, we show that the substructure generated by the set of ground terms is a model of all universal Horn sentences that are logical consequences of the theory.

$35.00 / €27.50 / £22.00
Add PDF to cart