-
14On rational entailment for Propositional Typicality LogicArtificial Intelligence 277 (C): 103178. 2019.
-
12Defeasible linear temporal logicJournal of Applied Non-Classical Logics 33 (1): 1-51. 2023.After the seminal work of Kraus, Lehmann and Magidor (formally known as the KLM approach) on conditionals and preferential models, many aspects of defeasibility in more complex formalisms have been studied in recent years. Examples of these aspects are the notion of typicality in description logic and defeasible necessity in modal logic. We discuss a new aspect of defeasibility that can be expressed in the case of temporal logic, which is the normality in an execution. In this contribution, we t…Read more
-
1On the Modularity of TheoriesIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 93-109. 1998.
-
21A Note on a Description Logic of Concept and Role Typicality for Defeasible Reasoning Over OntologiesLogica Universalis 12 (3-4): 297-325. 2018.In this work, we propose a meaningful extension of description logics for non-monotonic reasoning. We introduce \, a logic allowing for the representation of and reasoning about both typical class-membership and typical instances of a relation. We propose a preferential semantics for \ in terms of partially-ordered DL interpretations which intuitively captures the notions of typicality we are interested in. We define a tableau-based algorithm for checking \ knowledge-base consistency that always…Read more
-
5On the Modularity of TheoriesIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 93-109. 1998.
-
31Preferential Accessibility and Preferred WorldsJournal of Logic, Language and Information 27 (2): 133-155. 2018.Modal accounts of normality in non-monotonic reasoning traditionally have an underlying semantics based on a notion of preference amongst worlds. In this paper, we motivate and investigate an alternative semantics, based on ordered accessibility relations in Kripke frames. The underlying intuition is that some world tuples may be seen as more normal, while others may be seen as more exceptional. We show that this delivers an elegant and intuitive semantic construction, which gives a new perspect…Read more
-
59From KLM-style conditionals to defeasible modalities, and backJournal of Applied Non-Classical Logics 28 (1): 92-121. 2018.We investigate an aspect of defeasibility that has somewhat been overlooked by the non-monotonic reasoning community, namely that of defeasible modes of reasoning. These aim to formalise defeasibility of the traditional notion of necessity in modal logic, in particular of its different readings as action, knowledge and others in specific contexts, rather than defeasibility of conditional forms. Building on an extension of the preferential approach to modal logics, we introduce new modal osperato…Read more
-
480What Is a Good Domain Description? Evaluating and Revising Action Theories in Dynamic LogicDissertation, Université Paul Sabatier. 2006.Traditionally, consistency is the only criterion for the quality of a theory in logic-based approaches to reasoning about actions. This work goes beyond that and contributes to the meta-theory of actions by investigating what other properties a good domain de- scription should satisfy. Having Propositional Dynamic Logic (PDL) as background, we state some meta-theoretical postulates concerning this sore spot. When all pos- tulates are satisfied, we call the action theory modular. We point out the…Read more
-
343On Action Theory ChangeJournal of Artificial Intelligence Research 37 (1): 189-246. 2010.As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a logical domain description cannot be fully automated. Moreover, like any other logical theory, action theories may also evolve, and thus knowledge engineers need revision methods to help in accommodating new incoming information about the behavior of actions in an adequate manner. The present work is about changing action domain descriptions in multimodal logic. Its contribution is threefold: fir…Read more
-
59Constrained ConsequenceLogica Universalis 5 (2): 327-350. 2011.There are various contexts in which it is not pertinent to generate and attend to all the classical consequences of a given premiss—or to trace all the premisses which classically entail a given consequence. Such contexts may involve limited resources of an agent or inferential engine, contextual relevance or irrelevance of certain consequences or premisses, modelling everyday human reasoning, the search for plausible abduced hypotheses or potential causes, etc. In this paper we propose and expl…Read more
-
754Regression in Modal LogicJournal of Applied Non-Classical Logics 13 (2): 165-185. 2003.In this work we propose an encoding of Reiter’s Situation Calculus solution to the frame problem into the framework of a simple multimodal logic of actions. In particular we present the modal counterpart of the regression technique. This gives us a theorem proving method for a relevant fragment of our modal logic.
-
278Causalidade e Dependência em Raciocínio sobre AçõesDissertation, Universidade Federal do Paraná. 2002.
-
627Metatheory of Actions: Beyond ConsistencyArtificial Intelligence 171 (1). 2007.Traditionally, consistency is the only criterion for the quality of a theory in logic-based approaches to reasoning about actions. This work goes beyond that and contributes to the metatheory of actions by investigating what other properties a good domain description should have. We state some metatheoretical postulates concerning this sore spot. When all postulates are satisfied we call the action theory modular. Besides being easier to understand and more elaboration tolerant in McCarthy’s sen…Read more
Areas of Specialization
Logic and Philosophy of Logic |
Philosophy of Computing and Information |
Areas of Interest
Logic and Philosophy of Logic |
Philosophy of Computing and Information |