We propose a revision operator on a stratified belief base, i.e., a belief base that stores beliefs in different strata corresponding to the value an agent assigns to these beliefs. Furthermore, the operator will be defined as to perform the revision in such a way that information is never lost upon revision but stored in a stratum or layer containing information perceived as having a lower value. In this manner, if the revision of one layer leads to (...) the rejection of some information to maintain consistency, instead of being withdrawn it will be kept and introduced in a different layer with lower value. Throughout this development we will follow the principle of minimal change, being one of the important principles proposed in belief change theory, particularly emphasized in the AGM model. Regarding the reasoning part from the stratified belief base, the agent will obtain the inferences using an argumentative formalism. Thus, the argumentation framework will decide which information prevails when sentences of different layers are used for entailing conflicting beliefs. We will also illustrate how inferences are changed and how the status of arguments can be modified after a revision process. (shrink)

This work considers the formalisation of the merging process of stratified belief bases, where beliefs are stored in different layers or strata. Their strata are ranked, following a total order, employing the value the agent using the belief base assigns to these beliefs. The agent uses an argumentation mechanism to reason from the belief base and obtain the final inferences. We present two ways of merging stratified belief bases: the first is defined (...) by merging two strata without belief preservation, and the second by merging two strata with belief preservation. For these operators, as layers merge, it is possible that some information has to be deleted from the stratum to maintain consistency. The latter merge operator will be defined as performing their actions so that information removed from the stratum is preserved after the merging by moving it to a stratum containing information perceived as having a lower value and where those beliefs may trigger a new revision, possibly starting a cascading effect. (shrink)

This paper investigates the idea of reasoning, in a local (or contextual) way, under prioritized and possibly inconsistent knowledge bases. Priorities are not supposed to be given globally between all the beliefs in the knowledge base, but locally inside sets of pieces of information responsible for inconsistencies. This local stratification offers more flexibility for representing priorities between beliefs. Given this local ordering, we discuss five basic definitions of influence relations between conflicts. These elementary notions of influence between two conflicts (...) A and B exhaustively explore the situations where solving A leads to solve B. Then we propose natural approaches to restore the coherence of a knowledge base on the basis of influence relations between locally-stratified conflicts. (shrink)

We show how to construct partial nontrivial base revision operators that satisfy the analogues of the AGM postulates and depends on no extra‐logical consideration. These operators, closely related to the full meet revision process, are defined on stratified bases, in which the information can be ranked in logical sequences. Stratified bases, which can be viewed as sets of graded sheaves, are exactly the knowledge bases for which the full meet revision operator satisfies the rationality postulate (...) K*8. As the revision of a stratified base is again a stratified base, it is possible to perform iterated revisions, and the resulting output is particularly easy to determine. (shrink)

The problem of knowledge evolution has received considerable attention over the years. Mainly, the study of the dynamics of knowledge has been addressed in the area of Belief Revision, a field emerging as the convergence of the efforts in Philosophy, Logic, and more recently Computer Science, where research efforts usually involve “flat” knowledge bases where there is no additional information about the formulas stored in it. Even when this may be a good fit for particular applications, in many (...) real-world scenarios different information items may be attached to formulas. For instance, when the reliability of the source of the piece of information is attached to it as a measure of some quality (e.g., strength) of the piece of information itself, or when some characteristic informs us on the desirability of the item (e.g., the potential benefit that could be obtained from it). If this type of information is available, we can use it to guide how the belief base is to be modified when new information arrives. In this work, we present a novel approach to the contraction of knowledge bases where formulas have values attached that measure some quality linked to those formulas, exploiting it to define their desirability, and uses such desirability to define which formulas need to be removed to solve conflicts. In this context, we introduce a set of properties for contraction operators by extending classic approaches. We also show how the local treatment of minimal conflicts can induce some counter-intuitive contractions, and we present a way to avoid them by considering optimal resolutions of conflicts using the additional information encoded. We show how the proposed formalization captures any contraction that is optimal under a set of features. Finally, we present a refinement based on the identification of related minimal conflicts that performs contraction in optimal ways without looking into the entire knowledge base. The approach is based on the use of the accrual of beliefs where several formulas collaboratively use their respective values to prevail in the resolution of conflicts. (shrink)

According to evidentialism, what is epistemically rational to believe is determined by evidence alone. So, assuming that prejudiced beliefs are irrational, evidentialism entails that they must not be properly based on the evidence. Recently, philosophers have been interested in cases of beliefs that seem to undermine evidentialism: these are beliefs that seem both prejudiced (and, thus, irrational) and properly based on the evidence (and, thus, rational). In these cases, a believer has strong statistical evidence that most members of a social (...) group have some property and then comes to believe that an individual member of that social group will likely have that property. For example, a server at a restaurant has statistical evidence that most Black diners tip less than average and then comes to believe that a particular Black diner will likely tip less than average. The goal of this paper is to defend evidentialism from the challenge posed to it by beliefs like the server’s by developing a plausible evidentialist account that explains away these conflicting intuitions. (shrink)

We propose in this paper a new family of belief merging operators, that is based on a game between sources : until a coherent set of sources is reached, at each round a contest is organized to find out the weakest sources, then those sources has to concede. This idea leads to numerous new interesting operators and opens new perspectives for belief merging. Some existing operators are also recovered as particular cases. Those operators can be seen as a (...) special case of Booth's Belief Negotiation Models [BOO 02], but the achieved restriction forms a consistent family of merging operators that worths to be studied on its own. (shrink)

This paper proposes a minimal logic of fine-grained information dynamics via belief bases. The framework is shown to be able to accommodate explicit belief, implicit belief, awareness of and awareness that, where awareness of agents is not treated as a tacit premise. A sound and complete axiomatization of static logic is established, upon which a series of dynamic operations are defined. It is argued that these dynamics adapt different scenarios. Our logic is minimal because to each (...) agent we only attach two databases, from which a variety of epistemic attitudes are generated. (shrink)

This paper proposes a notion of ambiguity aversion and characterizes it in the context of biseparable preferences, which include many popular ambiguity models in the literature. The defined properties suggest that ambiguity aversion is characterized by the properties of its capacity. This formalizes a sharp distinction between ambiguity and risk aversion, where risk aversion is characterized by the properties of its utility index and its probability weighting function.

Perception is commonly regarded by philosophers as being the only basis of empirical knowledge. I challenge this assumption by investigating how we come to have beliefs about the emotional experiences of ourselves and others, and how we come to have beliefs about the emotional properties of inanimate objects, such as the belief that the church is somber. Before presenting my account of this type of belief formation, I argue that the observation that someone is in a particular emotional (...) state, or the observation that an inanimate object displays an emotional property, should not be subsumed under the rubric of perception. I argue that this subsumption oversimplifies the nature of such observations and leaves too many interesting and important philosophical questions unanswered. In addition to suggesting how these sorts of beliefs are formed, I argue that philosophers should endeavor to include them in their discussions of knowledge, and I examine how three contemporary accounts of knowledge can be expanded to accommodate such beliefs in the capacity of knowledge claims. (shrink)

We look at the problem of revising fuzzy belief bases, i.e., belief base revision in which both formulas in the base as well as revision-input formulas can come attached with varying degrees. Working within a very general framework for fuzzy logic which is able to capture certain types of uncertainty calculi as well as truth-functional fuzzy logics, we show how the idea of rational change from “crisp” base revision, as embodied by the idea of partial meet (base) (...) revision, can be faithfully extended to revising fuzzy belief bases. We present and axiomatise an operation of partial meet fuzzy base revision and illustrate how the operation works in several important special instances of the framework. We also axiomatise the related operation of partial meet fuzzy base contraction. (shrink)

Religious beliefs are often singled out for special treatment in secular liberal societies. Yet if a legal exemption is granted for a belief with a religious foundation, the question arises whether a similar, non‐religious moral belief must also be granted an exemption. I argue that common reasons for favoring religious over non‐religious beliefs fail to provide a convincing moral case for drawing a distinction of this nature. I focus on arguments concerning the role of religious beliefs in constituting (...) an individual's identity and the transcendental nature of religion, which lead me to consider in the final section the role of choice in religious belief. (shrink)

We present a four-valued approach for recovering consistent data from inconsistent set of assertions. For a common family of knowledge-bases we also provide an e cient algorithm for doing so automaticly. This method is particularly useful for making model-based diagnoses.

This manuscript presents a topological argumentation framework for modelling notions of evidence-based (i.e., justified) belief. Our framework relies on so-called topological evidence models to represent the pieces of evidence that an agent has at her disposal, and it uses abstract argumentation theory to select the pieces of evidence that the agent will use to define her beliefs. The tools from abstract argumentation theory allow us to model agents who make decisions in the presence of contradictory information. Thanks to this, (...) it is possible to define two new notions of beliefs, grounded beliefs and fully grounded beliefs. These notions are discussed in this paper, analysed and compared with the existing notion of topological justified belief. This comparison revolves around three main issues: closure under conjunction introduction, the level of consistency and their logical strength. (shrink)

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.

A popular way to relate probabilistic information to binary rational beliefs is the Lockean Thesis, which is usually formalized in terms of thresholds. This approach seems far from satisfactory: the value of the thresholds is not well-specified and the Lottery Paradox shows that the model violates the Conjunction Principle. We argue that the Lottery Paradox is a symptom of a more fundamental and general problem, shared by all threshold-models that attempt to put an exact border on something that is intrinsically (...) vague. We propose application of the language of relative analysis—a type of non-standard analysis—to formulate a new model for rational belief, called Stratified Belief. This contextualist model seems well-suited to deal with a concept of beliefs based on probabilities ‘sufficiently close to unity’ and satisfies a moderately weakened form of the Conjunction Principle. We also propose an adaptation of the model that is able to deal with beliefs that are less firm than ‘almost certainty’. The adapted version is also of interest for the epistemicist account of vagueness. (shrink)

Knowledge-based programs (KBPs) are a powerful notion for expressing action policies in which branching conditions refer to implicit knowledge and call for a deliberation task at execution time. However, branching conditions in KBPs cannot refer to possibly erroneous beliefs or to graded belief, such as “if my belief that φ holds is high then do some action α else perform some sensing action β”.

Two studies are reported which demonstrate that analytic responding on everyday reasoning problems can be increased and bias eliminated after training on the law of large numbers. Critical thinking problems involving belief-consistent, neutral, and inconsistent conclusions were presented. Belief bias was eliminated when a written justification of argument strength was elicited. However, belief-based responding was still evident when evaluations of the arguments were elicited using rating scales. This finding demonstrates a dissociation between analytic and belief-based responding (...) as a function of response format. In Experiment 2 an instructional condition designed to foster decontextualised reasoning was included but was ineffective in reducing the degree to which judgements were biased by beliefs. It was concluded that training which makes available the analytic strategies necessary to evaluate a problem has the potential to facilitate performance only if the requested response triggers conscious deliberation of the evidence. (shrink)

Two studies are reported which demonstrate that analytic responding on everyday reasoning problems can be increased and bias eliminated after training on the law of large numbers. Critical thinking problems involving belief-consistent, neutral, and inconsistent conclusions were presented. Belief bias was eliminated when a written justification of argument strength was elicited. However, belief-based responding was still evident when evaluations of the arguments were elicited using rating scales. This finding demonstrates a dissociation between analytic and belief-based responding (...) as a function of response format. In Experiment 2 an instructional condition designed to foster decontextualised reasoning was included but was ineffective in reducing the degree to which judgements were biased by beliefs. It was concluded that training which makes available the analytic strategies necessary to evaluate a problem has the potential to facilitate performance only if the requested response triggers conscious deliberation of the evidence. (shrink)

Global forest loss is highest in the tropical region, an area with high biological biodiversity. As some of these forests are part of indigenous forest management, it is important to pay attention to such management, its values and practices for better conservation. This paper focuses on sacred freshwater swamp forests of the Western Ghats, India, and with it a faith-based approach to nature conservation. Drawing on fieldwork and focus groups, we present the rituals and rules that structure the governance of (...) sacred swamps. We also discuss in depth the ecological, socio-cultural and economic valuation of these freshwater swamps by various local groups. In this way, we show overlaps and differences of valuation among different groups. In the context of a secular state with a diversity of faith groups and migration dynamics, we propose that faith-based governance of sacred swamps can benefit from the emphasis of faith-independent, 'accessible' ecological, socio-cultural and economic values to foster a dialogue around sacred swamps and their place for livelihoods and nature conservation. (shrink)

People’s beliefs about their ability to control their emotions predict a range of important psychological outcomes. It is not clear, however, whether these beliefs are playing a causal role, and if so, why this might be. In the current research, we tested whether avoidance-based emotion regulation explains the link between beliefs and psychological outcomes. In Study 1, a perceived lack of control over emotions predicted poorer psychological health outcomes, and avoidance strategies indirectly explained these links between emotion beliefs and psychological (...) health. In Study 2, we experimentally manipulated participants’ emotion beliefs by leading participants to believe that they struggled or did not struggle with controlling their emotions. Participants in the low regulatory self-efficacy condition reported increased intentions to engage in avoidance strategies over the next month and were more likely to avoid seeking psychological help. When asked if they would participate in follow-up studies, these participants were also more likely to display avoidance-based emotion regulation. These findings provide initial evidence for the causal role of emotion beliefs in avoidance-based emotion regulation, and document their impact on psychological health-related outcomes. (shrink)

Workplace spirituality research has sidestepped religion by focusing on the function of belief rather than its substance. Although establishing a unified foundation for research, the functional approach cannot shed light on issues of workplace pluralism, individual or institutional faith-work integration, or the institutional roles of religion in economic activity. To remedy this, we revisit definitions of spirituality and argue for the place of a belief-based approach to workplace religion. Additionally, we describe the construction of a 15-item measure of (...) workplace religion informed by Judaism and Christianity – the Faith at Work Scale (FWS). A stratified random sample (n = 234) of managers and professionals assisted in refining the FWS which exhibits a single factor structure (Eigenvalue = 8.88; variance accounted for = 59.22%) that is internally consistent (Cronbach’s α = 0.77) and demonstrates convergent validity with the Faith Maturity Scale (r = 0.81, p > 0.0001). The scale shows lower skew and kurtosis with Mainline and Catholic adherents than with Mormons and Evangelicals. Validation of the scale among Jewish and diverse Christian adherants would extend research in workplace religion. (shrink)

The aggregation of individual judgments on logically interconnected propositions into a collective decision on the same propositions is called judgment aggregation. Literature in social choice and political theory has claimed that judgment aggregation raises serious concerns. For example, consider a set of premises and a conclusion where the latter is logically equivalent to the former. When majority voting is applied to some propositions (the premises) it may give a different outcome than majority voting applied to another set of propositions (the (...) conclusion). This problem is known as the discursive dilemma (or paradox). The discursive dilemma is a serious problem since it is not clear whether a collective outcome exists in these cases, and if it does, what it is like. Moreover, the two suggested escape-routes from the paradox—the so-called premise-based procedure and the conclusion-based procedure—are not, as I will show, satisfactory methods for group decision-making. In this paper I introduce a new aggregation procedure inspired by an operator defined in artificial intelligence in order to merge belief bases. The result is that we do not need to worry about paradoxical outcomes, since these arise only when inconsistent collective judgments are not ruled out from the set of possible solutions. (shrink)

Binarizing belief aggregation tackles the problem of aggregating individuals’ probabilistic beliefs on logically connected propositions into the group’s binary beliefs. One common approach to associating probabilistic beliefs with binary beliefs would be applying thresholds to probabilities. This paper aims to introduce and classify a range of threshold-based binarizing belief aggregation rules while characterizing them based on different forms of monotonicity and other properties.

This dissertation is a contribution to formal and computational philosophy. -/- In the first part, we show that by exploiting the parallels between large, yet finite lotteries on the one hand and countably infinite lotteries on the other, we gain insights in the foundations of probability theory as well as in epistemology. Case 1: Infinite lotteries. We discuss how the concept of a fair finite lottery can best be extended to denumerably infinite lotteries. The solution boils down to the introduction (...) of infinitesimal probability values, which can be achieved using non-standard analysis. Our solution can be generalized to uncountable sample spaces, giving rise to a Non-Archimedean Probability (NAP) theory. Case 2: Large but finite lotteries. We propose application of the language of relative analysis (a type of non-standard analysis) to formulate a new model for rational belief, called Stratified Belief. This contextualist model seems well-suited to deal with a concept of beliefs based on probabilities ‘sufficiently close to unity’. -/- The second part presents a case study in social epistemology. We model a group of agents who update their opinions by averaging the opinions of other agents. Our main goal is to calculate the probability for an agent to end up in an inconsistent belief state due to updating. To that end, an analytical expression is given and evaluated numerically, both exactly and using statistical sampling. The probability of ending up in an inconsistent belief state turns out to be always smaller than 2%. (shrink)

Agents which perform inferences on the basis of unreliable information need an ability to revise their beliefs if they discover an inconsistency. Such a belief revision algorithm ideally should be rational, should respect any preference ordering over the agent’s beliefs (removing less preferred beliefs where possible) and should be fast. However, while standard approaches to rational belief revision for classical reasoners allow preferences to be taken into account, they typically have quite high complexity. In this paper, we consider (...) belief revision for agents which reason in a simpler logic than full first-order logic, namely rule-based reasoners. We show that it is possible to define a contraction operation for rule-based reasoners, which we call McAllester contraction, which satisfies all the basic Alchourrón, Gärdenfors and Makinson (AGM) postulates for contraction (apart from the recovery postulate) and at the same time can be computed in polynomial time. We prove a representation theorem for McAllester contraction with respect to the basic AGM postulates (minus recovery), and two additional postulates. We then show that our contraction operation removes a set of beliefs which is least preferred, with respect to a natural interpretation of preference. Finally, we show how McAllester contraction can be used to define a revision operation which is also polynomial time, and prove a representation theorem for the revision operation. (shrink)

Several logical operators are defined as dual pairs, in different types of logics. Such dual pairs of operators also occur in other algebraic theories, such as mathematical morphology. Based on this observation, this paper proposes to define, at the abstract level of institutions, a pair of abstract dual and logical operators as morphological erosion and dilation. Standard quantifiers and modalities are then derived from these two abstract logical operators. These operators are studied both on sets of states and sets of (...) models. To cope with the lack of explicit set of states in institutions, the proposed abstract logical dual operators are defined in an extension of institutions, the stratified institutions, which take into account the notion of open sentences, whose satisfaction is parametrised by sets of states. A hint on the potential interest of the proposed framework for spatial reasoning is also provided. (shrink)

Past research has identified a number of asymmetries based on moral judgments. Beliefs about what a person values, whether a person is happy, whether a person has shown weakness of will, and whether a person deserves praise or blame seem to depend critically on whether participants themselves find the agent's behavior to be morally good or bad. To date, however, the origins of these asymmetries remain unknown. The present studies examine whether beliefs about an agent's “true self” explain these observed (...) asymmetries based on moral judgment. Using the identical materials from previous studies in this area, a series of five experiments indicate that people show a general tendency to conclude that deep inside every individual there is a “true self” calling him or her to behave in ways that are morally virtuous. In turn, this belief causes people to hold different intuitions about what the agent values, whether the agent is happy, whether he or she has shown weakness of will, and whether he or she deserves praise or blame. These results not only help to answer important questions about how people attribute various mental states to others; they also contribute to important theoretical debates regarding how moral values may shape our beliefs about phenomena that, on the surface, appear to be decidedly non-moral in nature. (shrink)

This essay argues that certain cases involving what I shall term complexly based belief, where a belief is formed via complex inference to the best explanation, pose a serious difficulty for reliabilist theories of epistemic justification or warrant. Many of our most important beliefs appear to be of this character. The problem, in short, is that in such cases we cannot identify any belief-forming process type that is such as to yield an intuitively correct verdict on the (...) epistemic status of the agent’s belief. If this is correct, then no proposed solution to the generality problem can succeed. (shrink)

Andrew Davis; 4. Belief and Language-based Assessment, Journal of Philosophy of Education, Volume 32, Issue 1, 7 March 2003, Pages 57–65, https://doi.org/10.111.

Andrew Davis; 4. Belief and Language-based Assessment, Journal of Philosophy of Education, Volume 32, Issue 1, 7 March 2003, Pages 57–65, https://doi.org/10.111.

Psychological essentialism has played an important role in social psychology, informing influential theories of stereotyping and prejudice as well as questions about wrongdoers’ accountability and their ability to change. In the existing literature, essentialism is often tied to beliefs in shared biology—i.e., the extent to which members of a social group are seen as having the same underlying biological features. Here we investigate the possibility of “value-based essentialism” in which people think of certain social groups in terms of an underlying (...) essence, but that essence is understood as a value. Study 1 explored beliefs about a wide range of social groups and found that both groups with shared biology (e.g., women) and shared values (e.g., hippies) elicited similar general essentialist beliefs relative to more incidental social categories (e.g., English-speakers). In Studies 2-4, participants who read about a group either as being based in biology or in values reported higher general essentialist beliefs compared to a control condition. Because biological essences about social groups have been connected to a number of downstream consequences, we also investigated two test cases concerning value-based essentialism. In Study 3, beliefs about both shared biology and shared values increased inductive generalizations about the social group relative to control, but in Study 4, only the shared biology condition reduced blame for wrongdoing. Together these findings join with recent work to support a broader theoretical framework of essentialism about social groups that can be arrived at through multiple pathways, including, in the present case, shared values. (shrink)

In this paper two systems of AGM-like Paraconsistent Belief Revision are overviewed, both defined over Logics of Formal Inconsistency (LFIs) due to the possibility of defining a formal consistency operator within these logics. The AGM° system is strongly based on this operator and internalize the notion of formal consistency in the explicit constructions and postulates. Alternatively, the AGMp system uses the AGM-compliance of LFIs and thus assumes a wider notion of paraconsistency - not necessarily related to the notion of (...) formal consistency. (shrink)