Modeling Intentional States with Subsystems of ALC
| Authors | |
|---|---|
| Publication date | 2021 |
| Host editors |
|
| Book title | Proceedings of the 34th International Workshop on Description Logics (DL 2021) |
| Book subtitle | part of Bratislava Knowledge September (BAKS 2021) : Bratislava, Slovakia, September 19th to 22nd, 2021 |
| Series | CEUR Workshop Proceedings |
| Event | 34th International Workshop on Description Logics |
| Article number | article 11 |
| Number of pages | 12 |
| Publisher | Aachen: CEUR-WS |
| Organisations |
|
| Abstract | Although standard description logics are accurate tools to capture inferences from extensional knowledge bases, logics like ALC are unreasonably strong in intentional contexts. The successful modeling of cases in which, e.g., a knowledge base is interpreted as describing a conversational agent’s beliefs or goals thus requires a more constrained notion of closure. In this paper, we identify several inferences in ALC whose validity is questionable for such applications and describe two subsystems of ALC that better fit the use-case. |
| Document type | Conference contribution |
| Language | English |
| Published at | http://ceur-ws.org/Vol-2954/paper-11.pdf |
| Other links | http://ceur-ws.org/Vol-2954 |
| Downloads |
paper-11
(Final published version)
|
| Permalink to this page | |
