Modeling Intentional States with Subsystems of ALC.
Thomas Macaulay Ferguson · UvA-DARE (University of Amsterdam) · 2021
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.