On Free Models for Horn Clauses over Predicate Fuzzy Logics

Vicent Costa, Pilar Dellunde

Research output: Chapter in BookChapterResearch

1 Citation (Scopus)

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.

Original languageEnglish
Title of host publicationArtificial Intelligence Research and Development - Proceedings of the 18th International Conference of the Catalan Association for Artificial Intelligence
EditorsDionis Boixader, Francisco Grimaldo, Eva Armengol
Place of PublicationBarcelona (ES)
PublisherIOS Press
Pages49-58
Number of pages10
Volume277
Edition1
ISBN (Electronic)9781614995777
ISBN (Print)978-1-58603-798-7
DOIs
Publication statusPublished - 1 Jan 2015

Publication series

NameFrontiers in Artificial Intelligence and Applications
Volume277
ISSN (Print)0922-6389

Keywords

  • Free Model
  • Horn Clause
  • Predicate Fuzzy Logics

Fingerprint

Dive into the research topics of 'On Free Models for Horn Clauses over Predicate Fuzzy Logics'. Together they form a unique fingerprint.

Cite this