Back to Search
Start Over
Description logic programs under probabilistic uncertainty and fuzzy vagueness
- Source :
- 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty., pp. 187–198, Hammamet, Tunis, October 2007, International journal of approximate reasoning 50 (2009): 837–853. doi:10.1016/j.ijar.2009.03.004, info:cnr-pdr/source/autori:Lukasiewicz T.; Straccia U./titolo:Description logic programs under probabilistic uncertainty and fuzzy vagueness/doi:10.1016%2Fj.ijar.2009.03.004/rivista:International journal of approximate reasoning/anno:2009/pagina_da:837/pagina_a:853/intervallo_pagine:837–853/volume:50, Lecture Notes in Computer Science ISBN: 9783540752554, ECSQARU, Scopus-Elsevier, info:cnr-pdr/source/autori:Lukasiewicz T.; Straccia U./congresso_nome:9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty./congresso_luogo:Hammamet, Tunis/congresso_data:October 2007/anno:2007/pagina_da:187/pagina_a:198/intervallo_pagine:187–198
- Publication Year :
- 2016
- Publisher :
- Elsevier, 2016.
-
Abstract
- This paper is directed towards an infrastructure for handling both uncertainty and vagueness in the Rules, Logic, and Proof layers of the Semantic Web. More concretely, we present probabilistic fuzzy description logic programs, which combine fuzzy description logics, fuzzy logic programs (with stratified default-negation), and probabilistic uncertainty in a uniform framework for the Semantic Web. We define important concepts dealing with both probabilistic uncertainty and fuzzy vagueness, such as the expected truth value of a crisp sentence and the probability of a vague sentence. Furthermore, we describe a shopping agent example, which gives evidence of the usefulness of probabilistic fuzzy description logic programs in realistic Web applications. We also provide algorithms for query processing in probabilistic fuzzy description logic programs, and we delineate a special case where query processing can be done in polynomial time in the data complexity. © 2009 Elsevier Inc. All rights reserved.
- Subjects :
- Theoretical computer science
Logic Programming
Data tractability
Type-2 fuzzy sets and systems
Fuzzy logic
Description Logics
Theoretical Computer Science
Fuzzy Logic
Artificial Intelligence
Probabilistic logic network
Computer Science::Logic in Computer Science
Fuzzy description logics
Fuzzy number
Probabilistic uncertainty
Semantic Web
Mathematics
business.industry
Applied Mathematics
Computer Science::Information Retrieval
Probabilistic logic
I.2.4 Knowledge Representation Formalisms and Methods
Probabilistic argumentation
Probabilistic logic programs
Fuzzy vagueness
TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES
Fuzzy logic programs
Probabilistic CTL
Fuzzy set operations
Artificial intelligence
business
Probabilistic Logic
Algorithms
Software
Subjects
Details
- Language :
- English
- ISBN :
- 978-3-540-75255-4
- ISBNs :
- 9783540752554
- Database :
- OpenAIRE
- Journal :
- 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty., pp. 187–198, Hammamet, Tunis, October 2007, International journal of approximate reasoning 50 (2009): 837–853. doi:10.1016/j.ijar.2009.03.004, info:cnr-pdr/source/autori:Lukasiewicz T.; Straccia U./titolo:Description logic programs under probabilistic uncertainty and fuzzy vagueness/doi:10.1016%2Fj.ijar.2009.03.004/rivista:International journal of approximate reasoning/anno:2009/pagina_da:837/pagina_a:853/intervallo_pagine:837–853/volume:50, Lecture Notes in Computer Science ISBN: 9783540752554, ECSQARU, Scopus-Elsevier, info:cnr-pdr/source/autori:Lukasiewicz T.; Straccia U./congresso_nome:9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty./congresso_luogo:Hammamet, Tunis/congresso_data:October 2007/anno:2007/pagina_da:187/pagina_a:198/intervallo_pagine:187–198
- Accession number :
- edsair.doi.dedup.....13e23fb5dbef0e86c0f90587e7caa530