-
62System of Spheres-based Multiple ContractionsJournal of Philosophical Logic 41 (1): 29-52. 2012.We propose a new class of multiple contraction operations — the system of spheres-based multiple contractions — which are a generalization of Grove’s system of spheres-based (singleton) contractions to the case of contractions by (possibly non-singleton) sets of sentences. Furthermore, we show that this new class of functions is a subclass of the class of the partial meet multiple contractions.
-
60Prioritized and Non-prioritized Multiple Change on Belief BasesJournal of Philosophical Logic 41 (1): 77-113. 2012.In this article we explore multiple change operators, i.e., operators in which the epistemic input is a set of sentences instead of a single sentence. We propose two types of change: prioritized change, in which the input set is fully accepted, and symmetric change, where both the epistemic state and the epistemic input are equally treated. In both kinds of operators we propose a set of postulates and we present different constructions: kernel changes and partial meet changes.
-
45Possible Worlds Semantics for Partial Meet Multiple ContractionJournal of Philosophical Logic 41 (1): 7-28. 2012.In the logic of theory change, the standard model is AGM, proposed by Alchourrón et al. (J Symb Log 50:510–530, 1985 ). This paper focuses on the extension of AGM that accounts for contractions of a theory by a set of sentences instead of only by a single sentence. Hansson (Theoria 55:114–132, 1989 ), Fuhrmann and Hansson (J Logic Lang Inf 3:39–74, 1994 ) generalized Partial Meet Contraction to the case of contractions by (possibly non-singleton) sets of sentences. In this paper we present the p…Read more
-
38Epistemic entrenchment-based multiple contractionsReview of Symbolic Logic 6 (3): 460-487. 2013.In this article we present a new class of multiple contraction functionswhich are a generalization of the epistemic entrenchment-based contractions (Grdenfors & Makinson, 1988) to the case of contractions by (possibly nonsingleton) sets of sentences and provide an axiomatic characterization for that class of functions. Moreover, we show that the class of epistemic entrenchment-based multiple contractions coincides with the class of system of spheres-based multiple contractions introduced in Ferm…Read more
-
36Vocal learning, prosody, and basal ganglia: Don't underestimate their complexityBehavioral and Brain Sciences 37 (6): 570-571. 2014.
-
22Social ontology and emergence in the work of late LukácsScientiae Studia 11 (3): 671-676. 2013.This paper deals with the questions of emergence and complex (mental and social) systems and with downward determination from the viewpoint of perspectival realism. These are issues concerning the foundations of the human sciences, generally speaking, and particularly psychology and sociology. A criterion is put forward, which distinguish metaphysicalfrom ontological (conceptual) problems, and the notions of complex, hierarchic system and causation that would be suitable for those that defend em…Read more
-
20Generalized Partial Meet and Kernel ContractionsReview of Symbolic Logic 1-29. forthcoming.Two of the most well-known belief contraction operators are partial meet contractions (PMCs) and kernel contractions (KCs). In this paper we propose two new classes of contraction operators, namely the class of generalized partial meet contractions (GPMC) and the class of generalized kernel contractions (GKC), which strictly contain the classes of PMCs and of KCs, respectively. We identify some extra conditions that can be added to the definitions of GPMCs and of GKCs, which give rise to some in…Read more
-
17Residual ContractionJournal of Logic, Language and Information 29 (2): 255-274. 2020.In this paper, we propose and axiomatically characterize residual contractions, a new kind of contraction operators for belief bases. We establish that the class of partial meet contractions is a strict subclass of the class of residual contractions. We identify an extra condition that may be added to the definition of residual contractions, which is such that the class of residual contractions that satisfy it coincides with the class of partial meet contractions. We investigate the interrelatio…Read more
-
7Construction of system of spheres-based transitively relational partial meet multiple contractions: An impossibility resultArtificial Intelligence 233 (C): 122-141. 2016.
-
6Levi and Harper identities for non-prioritized belief base changeArtificial Intelligence 319 (C): 103907. 2023.
Areas of Interest
Metaphysics |
20th Century Philosophy |