共有されているカレンダーからスケジュールを検索します。ちっくたっくはカレンダーの共有やスケジュールを検索するサービスです
Where: CS2A, Computer Science building Speaker: Jonas Haldimann Title: Reasoning in Defeasible Description Logics with System W and Lexicographic Entailment Abstract: Description logics (DLs) have many uses in AI and database applications but, like other classical logics, they are unable to deal appropriately with defeasible information. In their 2021 paper, Britz et al. developed a framework for defeasible DLs, allowing for reasoning with a combination of defeasible inclusions and classical ALC inclusions. Their framework is a version of rational closure, a form of defeasible reasoning initially developed for a propositional setting, that they adapted to the description logic case. In this paper we extend the approach by Britz et al. by adapting two additional forms of reasoning to defeasible DLs: System W and lexicographic closure. Both are established forms of entailment for propositional defeasible reasoning and have been shown to satisfy a number of favourable properties. For each of these we present a model-based definition, investigate their basic behaviour by establishing the connection to the respective propositional versions, and provide algorithms for computing them. Biography: Dr. Jonas Philipp Haldimann is a Junior Research Fellow at the University of Cape Town, where his research focuses on artificial intelligence with an emphasis on nonmonotonic reasoning (NMR) and knowledge representation (KR). He earned his doctorate from the FernUniversität in Hagen (Germany) for his award-winning thesis regarding nonmonotonic reasoning with defeasible (propositional) rules. Besides his research, Jonas is an active member of the KR research community, regularly serving as a program committee member for leading conferences and organizing the NMR online seminar. Recently, his work has expanded to include defeasible description logics, which includes the work presented in this talk.
📍 CS2A