English   español  
Please use this identifier to cite or link to this item: http://hdl.handle.net/10261/160549
Share/Impact:
Statistics
logo share SHARE logo core CORE   Add this article to your Mendeley library MendeleyBASE

Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL
Exportar a otros formatos:
Title

Fuzzy Description Logics and t-norm based Fuzzy Logics

AuthorsGarcía-Cerdaña, Àngel ; Armengol, Eva ; Esteva, Francesc
KeywordsPropositional and predicate t-norm based fuzzy logics
Mathematical fuzzy logic
Truth constants
Fuzzy description logics
Description logics
Issue Date2010
PublisherElsevier
CitationInternational Journal of Approximate Reasoning 51: 632- 655 (2010)
AbstractDescription Logics (DLs) are knowledge representation languages built on the basis of classical logic. DLs allow the creation of knowledge bases and provide ways to reason on the contents of these bases. Fuzzy Description Logics (FDLs) are natural extensions of DLs for dealing with vague concepts, commonly present in real applications. Hájek proposed to deal with FDLs taking as basis t-norm based fuzzy logics with the aim of enriching the expressive possibilities in FDLs and to capitalize on recent developments in the field of Mathematical Fuzzy Logic. From this perspective we define a family of description languages, denoted by ALC*(S), which includes truth constants for representing truth degrees. Having truth constants in the language allows us to define the axioms of the knowledge bases as sentences of a predicate language in much the same way as in classical DLs. On the other hand, taking advantage of the expressive power provided by these truth constants, we define a graded notion of satisfiability, validity and subsumption of DL concepts as the satisfiability, validity and subsumption of evaluated formulas. In the last section we summarize some results concerning fuzzy logics associated with these new description languages, we analyze aspects relative to general and canonical semantics, and we prove some results relative to canonical standard completeness for some FDLs considered in the paper. © 2010 Elsevier Inc. All rights reserved.
URIhttp://hdl.handle.net/10261/160549
Identifiersdoi: 10.1016/j.ijar.2010.01.001
issn: 0888-613X
Appears in Collections:(IIIA) Artículos
Files in This Item:
File Description SizeFormat 
accesoRestringido.pdf15,38 kBAdobe PDFThumbnail
View/Open
Show full item record
Review this work
 

Related articles:


WARNING: Items in Digital.CSIC are protected by copyright, with all rights reserved, unless otherwise indicated.