A fuzzy description logic with product T-norm (Contributo in atti di convegno)

Type

• Contributo in atti di convegno (Classe)
• Prodotto della ricerca (Classe)

Label

• A fuzzy description logic with product T-norm (Contributo in atti di convegno) (literal)

Anno

• 2007-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1109/FUZZY.2007.4295443 (literal)

Alternative label

• Bobillo F.; Straccia U. (2007)
  A fuzzy description logic with product T-norm
  in IEEE International Conference on Fuzzy Systems, London
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Bobillo F.; Straccia U. (literal)

Pagina inizio

• 652 (literal)

Pagina fine

• 657 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

• http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=4295443 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note

• In: IEEE International Conference on Fuzzy Systems (London, 23-26 July 2007). Proceedings, pp. 652 - 657. IEEE, 2007. (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto

• ABSTRACT: Fuzzy Description Logics} (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. It is well known that the choice of the fuzzy operators may determine some logical properties. However, up to date the study of fuzzy DLs has been restricted to the Lukasiewicz logic and the ``Zadeh semantics''. In this work, we propose a novel semantics combining the common product t-norm with the standard negation. We show some interesting properties of the logic and propose a reasoning algorithm based on a mixture of tableaux rules and the reduction to Mixed Integer Quadratically Constrained Programming. (literal)

Note

• Google Scholar (literal)
• ISI Web of Science (WOS) (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• ISTI-CNR (literal)

Titolo

• A fuzzy description logic with product T-norm (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn

• 1-4244-1209-9 (literal)

Abstract

• Fuzzy Description Logics} (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. It is well known that the choice of the fuzzy operators may determine some logical properties. However, up to date the study of fuzzy DLs has been restricted to the Lukasiewicz logic and the ``Zadeh semantics''. In this work, we propose a novel semantics combining the common product t-norm with the standard negation. We show some interesting properties of the logic and propose a reasoning algorithm based on a mixture of tableaux rules and the reduction to Mixed Integer Quadratically Constrained Programming. (literal)

Prodotto di

• Digital Libraries (ICT.P08.010.002) (Modulo)
• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)

Autore CNR

• UMBERTO STRACCIA (Persona)

Insieme di parole chiave

• Parole chiave di "A fuzzy description logic with product T-norm" (Insieme di parole chiave)

Incoming links:

Autore CNR di

• UMBERTO STRACCIA (Persona)

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Digital Libraries (ICT.P08.010.002) (Modulo)

Insieme di parole chiave di

• Parole chiave di "A fuzzy description logic with product T-norm" (Insieme di parole chiave)