Loading...
Please wait, while we are loading the content...
Similar Documents
1 Des ription Logi s with Con rete Domains | A Survey
| Content Provider | Semantic Scholar |
|---|---|
| Author | Lutz, Carsten |
| Copyright Year | 2019 |
| Abstract | abstra t. Des ription logi s (DLs) are a family of logi al formalisms that have initially been designed for the representation of on eptual knowledge in arti ial intelligen e and are losely related to modal logi s. In the last two de ades, DLs have been su essfully applied in a wide range of interesting appli ation areas. In most of these appli ations, it is important to equip DLs with expressive means that allow to des ribe \ on rete qualities" of real-world obje ts su h as their weight, temperature, and spatial extension. The standard approa h is to augment des ription logi s with soalled on rete domains, whi h onsist of a set (say, the rational numbers), and a set of n-ary predi ates with a xed extension over this set. The \interfa e" between the DL and the on rete domain is then provided by a new logi al onstru tor that has, to the best of our knowledge, no ounterpart in modal logi s. In this paper, we give an overview over des ription logi s with on rete domains and summarize de idability and omplexity results from the literature. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://lat.inf.tu-dresden.de/research/papers/2002/Lutz-AiML02.pdf |
| Alternate Webpage(s) | https://lat.inf.tu-dresden.de/research/papers/2003/Lutz-AiML4.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
