A Fuzzy Description Logic
作者： Umberto Straccia
DOI:
关键词:
摘要: Description. Logics (DLs, for short) allow reasoning about mdlvlduals and concepts, i.e. set of individuals with common properties. Typically, DLs are limited to dealing crisp, well defined concepts. That is, concepts which the problem whether an individual is instance it a yes/no question. More often than not, encountered in real world do not have precisely criteria membership: we may say that concept only certain degree, depending on individual's Concepts this kind rather vague precise. As fuzzy logic directly deals notion vagueness imprecision, offers appealing foundation generalisation concepts.In paper present general DL, combines DLs. We define its syntax, semantics constraint propagation calculi it.
cnr.it
umbertostraccia.it 参考文章(17)
John Yen, Generalizing term subsumption languages to fuzzy logic international joint conference on artificial intelligence. pp. 472- 477 ,(1991)
Umberto Straccia, A four-valued fuzzy propositional logic international joint conference on artificial intelligence. pp. 128- 133 ,(1997)
Avi Pfeffer, Daphne Koller, Alon Levy, P-CLASSIC: a tractable probablistic description logic national conference on artificial intelligence. pp. 390- 397 ,(1997)
Manfred Jaeger, Probabilistic Reasoning in Terminological Logics principles of knowledge representation and reasoning. pp. 305- 316 ,(1994) , 10.1016/B978-1-4832-1452-8.50124-X
Jianhua Chen, Sukhamay Kundu, A Sound and Complete Fuzzy Logic System Using Zadeh's Implication Operator international syposium on methodologies for intelligent systems. pp. 233- 242 ,(1996) , 10.1007/3-540-61286-6_148
Sukhamay Kundu, Jianhua Chen, Fuzzy Logic or Lukasiewicz Logic: A Clarification international syposium on methodologies for intelligent systems. pp. 56- 64 ,(1994) , 10.1007/3-540-58495-1_6
Jochen Heinsohn, Probabilistic Description Logics Uncertainty Proceedings 1994. pp. 311- 318 ,(1994) , 10.1016/B978-1-55860-332-5.50044-4
Franz Baader, Philipp Hanschke, A scheme for integrating concrete domains into concept languages international joint conference on artificial intelligence. pp. 452- 457 ,(1991) , 10.22028/D291-24817
Bernhard Hollunder, An Alternative Proof Method for Possibilistic Logic and its Application to Terminological Logics Uncertainty Proceedings 1994. pp. 327- 335 ,(1994) , 10.1016/B978-1-55860-332-5.50046-8
Dan Roth, On the hardness of approximate reasoning Artificial Intelligence. ,vol. 82, pp. 273- 302 ,(1996) , 10.1016/0004-3702(94)00092-1