Mixed integer programming, general concept inclusions and fuzzy description logics
Fuzzy Description Logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. In [19], a solution based on Mixed Integer Linear Programming has been proposed to deal with fuzzy DLs under Lukasiewicz semantics in which typical membership functions, such a...
| Autores: | , |
|---|---|
| Tipo de recurso: | artículo |
| Fecha de publicación: | 2007 |
| País: | España |
| Institución: | Universitat Politècnica de Catalunya (UPC) |
| Repositorio: | UPCommons. Portal del coneixement obert de la UPC |
| Idioma: | inglés |
| OAI Identifier: | oai:upcommons.upc.edu:2099/11013 |
| Acceso en línea: | https://hdl.handle.net/2099/11013 |
| Access Level: | acceso abierto |
| Palabra clave: | Artificial intelligence Intel·ligència artificial Classificació AMS::68 Computer science::68T Artificial intelligence Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
| Sumario: | Fuzzy Description Logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. In [19], a solution based on Mixed Integer Linear Programming has been proposed to deal with fuzzy DLs under Lukasiewicz semantics in which typical membership functions, such as triangular and trapezoidal functions, can be explicitly represented in the language. A major theoretical and computational limitation so far is the inability to deal with General Concept Inclusions (GCIs), which is an important feature of classical DLs. In this paper, we address this issue and develop a calculus for fuzzy DLs with GCIs under various semantics: classical logic, \Zadeh semantics", and Lukasiewicz logic. |
|---|