Decidability of a description logic over infinite-valued product logic

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2010, Pages 203-213

  Cerami, Marco ^a   Esteva, Francesc ^a   Bou, Félix ^a  

^a ARTIFICIAL INTELLIGENCE RESEARCH INSTITUTE IIIA CSIC   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; COMPUTER CIRCUITS; DATA DESCRIPTION; FORMAL LANGUAGES; FUZZY LOGIC; KNOWLEDGE REPRESENTATION; SEMANTICS;

DESCRIPTION LOGIC; EXISTENTIAL QUANTIFIERS; FINITE NUMBER; FUZZY DESCRIPTION LOGIC; PRODUCT LOGIC; SATISFIABILITY; SATISFIABILITY PROBLEMS;

MANY VALUED LOGICS;

EID: 80053068960     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. Baader, F.; Calvanese, D.; McGuinness, D. L.; Nardi, D.; and Patel-Schneider, P. F., eds. 2003. The description logic handbook: theory, implementation, and applications. Cambridge University Press.
2. Bobillo, F., and Straccia, U. 2007. A fuzzy description logic with product t-norm. In Proceedings of the IEEE International Conference on Fuzzy Systems (Fuzz IEEE-07), 652-657. IEEE Computer Society.
3. Bobillo, F., and Straccia, U. 2009. Fuzzy description logics with general t-norms and datatypes. Fuzzy Sets and Systems 160(23):3382-3402.
4. Esteva, F.; Godo, L.; and Noguera, C. 2010. Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics. Soft Computing 14:273-284.
5. García-Cerdaña, A.; Armengol, E.; and Esteva, F. 2010. Fuzzy description logics and t-norm based fuzzy logics. International Journal of Approximate Reasoning. To Appear.
6. Hájek, P., and Cintula, P. 2006. On theories and models in fuzzy predicate logics. The Journal of Symbolic Logic 71(3):863-880.
7. Hájek, P. 1998. Metamathematics of fuzzy logic, volume 4 of Trends in Logic-Studia Logica Library. Dordrecht: Kluwer Academic Publishers.
8. Hájek, P. 2005. Making fuzzy description logic more general. Fuzzy Sets and Systems 154(1):1-15.
9. Hájek, P. 2006. Computational complexity of t-norm based propositional fuzzy logics with rational truth constants. Fuzzy Sets and Systems 157(5):677-682.
10. Hájek, P. 2007. On witnessed models in fuzzy logic. Mathematical Logic Quarterly 53(1):66-77.
11. Laskowski, M. C., and Malekpour, S. 2007. Provability in predicate product logic. Archive for Mathematical Logic 46(5):365-378.
12. Montagna, F. 2001. Three complexity problems in quantified fuzzy logic. Studia Logica 68(1):143-152. Methods for investigating self-referential truth.
13. Zadeh, L. A. 1965. Fuzzy sets. Information and Control 8:338-353.
14. Zadeh, L. A. 1975. Fuzzy logic and approximate reasoning. Synthese 30:407-428.