| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 496839 | Applied Soft Computing | 2009 | 7 Pages |
Abstract
Description logics (DLs for short) are formalisms for representing knowledge of various domains in a structured and formally well-understood way. Typically, DLs are limited to deal with precise and well-defined concepts. In this paper we first present a fuzzy extension of ALC*, called fuzzy ALC*, combining Zadeh’s fuzzy logic with an expressive DL and define its syntax and semantics. Then we devote to taking advantage of the expressive power and reasoning capabilities of fuzzy ALC* by encoding flexible planning problems within the framework of fuzzy ALC*. Both theory and experimental results have shown that our method is sound and efficient.
Related Topics
Physical Sciences and Engineering
Computer Science
Computer Science Applications
Authors
Lian Shi, Jigui Sun, Shuai Lu, Minghao Yin,