arXiv subjects
Publications and source records attributed to Ruoding Wang.
In this paper, we take first steps toward developing defeasible reasoning on concepts in KLM framework. We define generalizations of cumulative reasoning system C and cumulative reasoning system with loop CL to conceptual setting. We also generalize cumulative models, cumulative ordered models, and preferential models to conceptual setting and show the soundness and completeness results for these models.
Recently, the description logic LE-ALC was introduced for reasoning in the semantic environment of the enriched formal contexts, and a tableaux algorithm was developed for checking the consistency of ABoxes in this logic. In this paper, we study the ontology-mediated query answering in LE-ALC . In particular, we show that several different types of queries can be answered efficiently for LE-ALC knowledge bases with acyclic TBoxes using our tableaux algorithm directly or by extending it with some additional rules.
In this paper, we introduce the simulations and bisimulations on polarity-based semantics for non-distributive modal logic, which are natural generalizations of those notions on Kripke semantics for modal logic. We also generalize other important model-theoretic notions about Kripke semantics such as image-finite models, modally-saturated models, ultrafilter extension and ultrapower extension to the non-distributive setting. By using these generalizations, we prove the Hennessy-Milner theorem and the van Benthem characterization theorem for non-distributive modal logic based on polarity-based semantics.
In this paper, we generalize modal $\mu$-calculus to the non-distributive (lattice-based) modal $\mu$-calculus and formalize some scenarios regarding categorization using it. We also provide a game semantics for the developed logic. The proof of adequacy of this game semantics proceeds by generalizing the unfolding games on the power-set algebras to the arbitrary lattices and showing that these games can be used to determine the least and the greatest fixed points of a monotone operator on a lattice. Finally, we define a notion of bisimulations on the polarities and show invariance of non-distributive modal $\mu$-calculus under them.
This work extends Halpern and Pearl's causal models for actual causality to a possible world semantics environment. Using this framework we introduce a logic of actual causality with modal operators, which allows for reasoning about causality in scenarios involving multiple possibilities, temporality, knowledge and uncertainty. We illustrate this with a number of examples, and conclude by discussing some future directions for research.