This book describes how one can use The Scientific Method to solve everyday problems including medical ailments, health issues, money management, traveling, shopping, cooking, household chores, etc. It illustrates how to exploit the information collected from our five senses, how to solve problems when no information is available for the present problem situation, how to increase our chances of success by redefining a problem, and how to extrapolate our capabilities by seeing a relationship among heretofore unrelated concepts.One should formulate a (...) hypothesis as early as possible in order to have a sense of direction regarding which path to follow. Occasionally, by making wild conjectures, creative solutions can transpire. However, hypotheses need to be well-tested. Through this way, The Scientific Method can help readers solve problems in both familiar and unfamiliar situations. Containing real-life examples of how various problems are solved — for instance, how some observant patients cure their own illnesses when medical experts have failed — this book will train readers to observe what others may have missed and conceive what others may not have contemplated. With practice, they will be able to solve more problems than they could previously imagine.In this second edition, the authors have added some more theories which they hope can help in solving everyday problems. At the same time, they have updated the book by including quite a few examples which they think are interesting. (shrink)

An important method for finding the optimal solution for linear and nonlinear models is the graphical method, which is used if the linear or nonlinear mathematical model contains one, two, or three variables. The models that contain only two variables are among the most models for which the optimal solution has been obtained graphically, whether these models are linear or non-linear in references and research that are concerned with the science of operations research, when the data of the issue under (...) study is classical data. In this research, we will present a study through, which we present the graphical method for solving Neutrosophical nonlinear models in the following case: A nonlinear programming issue, the objective function is a nonlinear function, and the constraints are linear functions. Note that we can use the same method if (i) the objective function follower is a linear follower and the constraints are nonlinear; (ii) the objective function is a non-linear follower and the constraints are non-linear. In the three cases, the nonlinear models are neutrosophic, and as we know, the mathematical model is a nonlinear model if any of the components of the objective function or the constraints are nonlinear expressions, and the nonlinear expressions may be in both. At the left end of the constraints are neutrosophic values, at least one or all of them. Then, the possible solutions to the neutrosophic nonlinear programming problem are the set of rays that fulfills all the constraints. As for the region of possible solutions, it is the region that contains all the rays that fulfill the constraints. The optimal solution is the beam that fulfills all constraints and at which the function reaches a maximum or minimum value, depending on the nature of the issue under study (noting that it is not necessary to be alone). (shrink)

In this ingenious and powerfully argued book Tim Maudlin sets out a novel account of logic and semantics which allows him to deal with certain notorious paradoxes which have bedevilled philosophical theories of truth. All philosophers interested in logic and language will find this a stimulating read.

Following Chalmers, I take the most promising response to the meta-problem to be a realizationist one on which (roughly) consciousness plays a role in realizing the processes that explain why we think that there is a hard problem of consciousness. I favour an interactionist dualist version of realizationism on which experiences are non-physical states that non-redundantly cause problem judgments. This view is subject to the challenges of specifying laws that would enable experiences to cause problem judgments and of explaining why (...) it's not a lucky coincidence that experiences' causal and rational powers converge on problem judgments. I propose a strategy for solving the meta-problem and meeting these challenges. According to it, a fundamental teleological law operates on normative features of experiences in ways that bias experiences towards causing effects that they rationalize, including problem judgments. I conclude by applying the strategy to other luck-avoidance challenges. (shrink)

Journal of Social Philosophy, EarlyView.

Many of the computing systems programmed using Machine Learning are opaque: it is difficult to know why they do what they do or how they work. Explainable Artificial Intelligence aims to develop analytic techniques that render opaque computing systems transparent, but lacks a normative framework with which to evaluate these techniques’ explanatory successes. The aim of the present discussion is to develop such a framework, paying particular attention to different stakeholders’ distinct explanatory requirements. Building on an analysis of “opacity” from (...) philosophy of science, this framework is modeled after accounts of explanation in cognitive science. The framework distinguishes between the explanation-seeking questions that are likely to be asked by different stakeholders, and specifies the general ways in which these questions should be answered so as to allow these stakeholders to perform their roles in the Machine Learning ecosystem. By applying the normative framework to recently developed techniques such as input heatmapping, feature-detector visualization, and diagnostic classification, it is possible to determine whether and to what extent techniques from Explainable Artificial Intelligence can be used to render opaque computing systems transparent and, thus, whether they can be used to solve the Black Box Problem. (shrink)

Multiple theories of problem-solving hypothesize that there are distinct qualitative phases exhibited during effective problem-solving. However, limited research has attempted to identify when transitions between phases occur. We integrate theory on collaborative problem-solving with dynamical systems theory suggesting that when a system is undergoing a phase transition it should exhibit a peak in entropy and that entropy levels should also relate to team performance. Communications from 40 teams that collaborated on a complex problem were coded for occurrence (...) of problem-solving processes. We applied a sliding window entropy technique to each team's communications and specified criteria for identifying data points that qualify as peaks and determining which peaks were robust. We used multilevel modeling, and provide a qualitative example, to evaluate whether phases exhibit distinct distributions of communication processes. We also tested whether there was a relationship between entropy values at transition points and CPS performance. We found that a proportion of entropy peaks was robust and that the relative occurrence of communication codes varied significantly across phases. Peaks in entropy thus corresponded to qualitative shifts in teams’ CPS communications, providing empirical evidence that teams exhibit phase transitions during CPS. Also, lower average levels of entropy at the phase transition points predicted better CPS performance. We specify future directions to improve understanding of phase transitions during CPS, and collaborative cognition, more broadly. (shrink)

When solving a problem with insight, people suddenly become aware of the solution (Mayer, 1995). Insight is often accompanied by a feeling of pleasure and certainty, known as an “Aha! moment” (Gick...

This article reports a study carried out in order to measure how semantic factors affect reductions in the difficulty of the Chinese Ring Puzzle (CRP) that involves removing five objects according to a recursive rule. We hypothesised that semantics would guide inferences about action decision making. The study involved a comparison of problem solving for two semantic isomorphic variants of the CRP ( fish and fleas ) with problem solving for the puzzle's classic variant (the Balls and Boxes (...) problem; Kotovsky learning involves generalising the relations within a coherent, interconnected whole that makes up the puzzle's rules. It seems that semantics make it easier for the puzzle's elements to be grouped together within coherent, meaningful wholes, which reduces relational complexity and facilitates problem solving. (shrink)

In the course of daily life we solve problems often enough that there is a special term to characterize the activity and the right to expect a scientific theory to explain its dynamics. The classical view in psychology is that to solve a problem a subject must frame it by creating an internal representation of the problem’s structure, usually called a problem space. This space is an internally generable representation that is mathematically identical to a graph structure with nodes and (...) links. The nodes can be annotated with useful information, and the whole representation can be distributed over internal and external structures such as symbolic notations on paper or diagrams. If the representation is distributed across internal and external structures the subject must be able to keep track of activity in the distributed structure. Problem solving proceeds as the subject works from an initial state in mentally supported space, actively constructing possible solution paths, evaluating them and heuristically choosing the best. Control of this exploratory process is not well understood, as it is not always systematic, but various heuristic search algorithms have been proposed and some experimental support has been provided for them. (shrink)

Evidentialism is the doctrine that rational belief should be proportioned to one’s evidence. By “one’s evidence,” I mean evidence that we possess and know that we possess. I specifically exclude from “evidence” the following: information of which we are unaware that our brain might rely on in constructing experience or in the formation of beliefs. My initial interest is with the doctrine of Evidentialism as it applies to a quandary that arises in the Sci-Fi movie Contact, the “Contact Paradox” as (...) I will call it. In this movie one of the main characters, Ellie, is a cosmologist working in a radio-telescope research facility searching for signals from intelligent life in the cosmos. The entity whose epistemological status is at issue in her quandary is her deceased father but there is an obvious parallel between the quandary of a rational believer in God and Ellie’s quandary, a parallel extensively explored in the movie itself. My first thesis is that in Ellie’s case Evidentialism is false: in certain cases, it is rational to believe in the existence of an entity in spite of the fact that the empirical evidence overall is contrary, and the Contact Paradox is one such case. Later in the paper I turn attention to the issue of Evidentialism regarding beliefs in the existence of God. My second thesis is that Evidentialism is false there as well. (shrink)

In this article, we propose a new account concerning the interlock between intentions and motor representations (henceforth: MRs), showing that the interface problem is not as deep as previously proposed. Before discussing our view, in the first section we report the ideas developed in the literature by those who have tried to solve this puzzle before us. The article proceeds as follows. In Sections 2 and 3, we address the views by Butterfill and Sinigaglia, and Mylopoulos and Pacherie, respectively, and (...) argue that both solutions entail a translation between representational formats, which both accounts aim to avoid. In Section 4, we present our brand‐new claim, according to which intentions and MRs partially share the same motor format, inasmuch as executable action concepts are naturally represented in the agent's motor system together with the action's outcomes. Indeed, since intentions are constituted by executable action concepts and since there is evidence that action concepts are represented (and, thus, built) in the same motor format as action outcomes, the interlock between intentions and MRs no longer constitutes a problem. Then, in Section 5, we report empirical evidence in support of our claim, and before concluding, in Section 6 we briefly clarify our relations with two very recent accounts that criticized the proposals by Mylopoulos and Pacherie and Butterfill and Sinigaglia: Shepherd's and Burnston's. Finally, in Section 7, we offer some remarks about the philosophical idea defended here. The basic insight is that interface without translation is possible because action concepts are such stuff as MRs are made on. (shrink)

This chapter contains section titled: Problem‐solving Summary: problem solving ‐ Gory, Kuczaj, Pryor, Grover, DRC Language Comprehension Commands: FETCH, IN, MIMIC.

This paper looks at three ways of addressing probabilism’s implausible requirement of logical omniscience. The first and most common strategy says it’s okay to require an ideally rational person to be logically omniscient. I argue that this view is indefensible on any interpretation of ‘ideally rational’. The second strategy says probabilism should be formulated not in terms of logically possible worlds but in terms of doxastically possible worlds, ways you think the world might be. I argue that, on the interpretation (...) of this approach that lifts the requirement of certainty in all logical truths, the view becomes vacuous, issuing no requirements on rational believers at all. Finally, I develop and endorse a new solution to the problem. This view proposes dynamic norms for reasoning with credences. The solution is based on an old proposal of Ian Hacking’s that says you’re required to be sensitive to logical facts only when you know they are logical facts. (shrink)

The aim of this paper is to describe the way in which argumentative patterns come into being in plenary debate over legislative issues in the European Parliament. What kind of argumentative patterns are to be expected within this macro context? It is shown that the argumentative patterns that come into being in legislative debate in the European Parliament depend for the most part on the problem-solving argumentation that is put forward in the opening speech by the rapporteur of the (...) parliamentary committee report. This argumentation can be pragmatic problem-solving argumentation or complex problem-solving argumentation. The most important prototypical argumentative patterns are investigated in the argumentation put forward by the Members of parliament. This investigation is based on an inventory of the arguments that can in principle be used to support or attack the initial problem-solving argumentation put forward by the rapporteur. (shrink)

In the movie The Gold Rush Charlie Chaplin and his friend are stranded in a log cabin in the middle of winter while a blizzard rages. The cabin is isolated, and they have a very big problem – there is nothing to eat. They pace around wondering what to do. Charlie's friend starts to see Charlie as a chicken, and he tries to kill him. He chases Charlie around the cabin many times. Eventually they hit upon the idea of boiling (...) an old boot and eating it for dinner. With great delicacy they sit at the table and eat the boot as if it were a gourmet meal. They solved the problem of having nothing to eat. While their solution to the problem did not result in a culinary feast, this example reveals two crucial features of problem solving. First, a problem exists when a goal must be achieved and the solution is not immediately obvious. Second, problem solving often involves attempting different ways to solve the problem. Put more formally, a problem has four components. First, there is an initial state. This is the person's state of knowledge at the start of a problem. Second, there is the goal state: the goal that the person wishes to achieve. Third are the actions or operations that the problem‐solver can use to get to the goal state. Fourth is the task environment that the solver is working in. The task environment consists of the features of the physical environment that can either directly or indirectly constrain or suggest different ways of solving a problem. I will sketch out the main currents of thinking in research in this area, beginning by reviewing the history of research on problem solving and then focusing on a number of important issues in problem‐solving research. Finally, I will give an overview of some recent developments. (shrink)

It is commonly held that Wittgenstein abandoned the Tractatus largely because of a problem concerning color incompatibility. My aim is to solve this problem on Wittgenstein’s behalf. First I introduce the central program of the Tractatus (§1) and the color incompatibility problem (§2). Then I solve the problem without abandoning any Tractarian ideas (§3), and show that given certain weak assumptions, the central program of the Tractatus can in fact be accomplished (§4). I conclude by distinguishing my system of analysis (...) from others and by explaining the historical underpinnings of my understanding of the nature of elementary propositions (§5). (shrink)

This article reviews eight proposed strategies for solving the Symbol Grounding Problem (SGP), which was given its classic formulation in Harnad (1990). After a concise introduction, we provide an analysis of the requirement that must be satisfied by any hypothesis seeking to solve the SGP, the zero semantical commitment condition. We then use it to assess the eight strategies, which are organised into three main approaches: representationalism, semi-representationalism and non-representationalism. The conclusion is that all the strategies are semantically committed (...) and hence that none of them provides a valid solution to the SGP, which remains an open problem. (shrink)

In the course of daily life we solve problems often enough that there is a special term to characterize the activity and the right to expect a scientific theory to explain its dynamics. The classical view in psychology is that to solve a problem a subject must frame it by creating an internal representation of the problem‘s structure, usually called a problem space. This space is an internally generable representation that is mathematically identical to a graph structure with nodes and (...) links. The nodes can be annotated with useful information, and the whole representation can be distributed over internal and external structures such as symbolic notations on paper or diagrams. If the representation is distributed across internal and external structures the subject must be able to keep track of activity in the distributed structure. Problem solving proceeds as the subject works from an initial state in this mentally supported space, actively construction possible solution paths, evaluating them and heuristically choosing the best. Control of this exploratory process is not well understood, as it is not always systematic, but various heuristic search algorithms have been proposed and some experimental support has been provided for them. (shrink)

Problem Solving Technologies provides a user friendly understanding of technological objects including what they are and how the function in our lives.

A coherent story is a story that fits together well. This notion plays a central role in the coherence theory of justification and has been proposed as a criterion for scientific theory choice. Many attempts have been made to give a probabilistic account of this notion. A proper account of coherence must not start from some partial intuitions, but should pay attention to the role that this notion is supposed to play within a particular context. Coherence is a property of (...) an information set that boosts our confidence that its content is true ceteris paribus when we receive information from independent and partially reliable sources. We construct a measure cr that relies on hypothetical sources with certain idealized characteristics. A maximally coherent information set, i.e. a set with equivalent propositions, affords a maximal confidence boost. cr is the ratio of the actual confidence boost over the confidence boost that we would have received, had the information been presented in the form of maximally coherent information, ceteris paribus. This measure is functionally dependent on the degree of reliability r of the sources. We use cr to construct a coherence quasi-ordering over information sets S and S’: S is no less coherent than S’ just in case c_r is not smaller than c_r for any value of the reliability parameter. We show that, on our account, the coherence of the story about the world gives us a reason to believe that the story is true and that the coherence of a scientific theory, construed as a set of models, is a proper criterion for theory choice. (shrink)

Among those who discuss America's opioid crisis, it is popular to claim that we know what we, as a society, ought to do to solve the problem—we simply don't want it badly enough. We don't lack knowledge; we lack the will to act and to fund the right policies. In fact, I've heard two versions of this. Among those who focus on prescription opioids, it is clear that we ought to stop prescribing so many powerful opioid painkillers. And among my (...) public health colleagues focusing on illicit drug use, it is clear that we ought to expand addiction treatment and harm‐reduction services. The problem, however, is that the second claim is not obvious (and, indeed, is denied by many Americans), and the first claim probably isn't even true (at least, not in so crude a form). In short, the opioid crisis presents not only a problem of political will but also one of ethics. It will take work to discover or justify our normative claims in this arena. (shrink)

David Builes presents a paradox concerning how confident you should be that any given member of an infinite collection of fair coins landed heads, conditional on the information that they were all flipped and only finitely many of them landed heads. We argue that if you should have any conditional credence at all, it should be 1/2.

Psychiatric patients sometimes ask where to draw the line between who they are – their selves – and their mental illness. This problem is referred to as the self-illness ambiguity in the literature; it has been argued that solving said ambiguity is a crucial part of psychiatric treatment. I distinguish a Realist Solution from a Constructivist one. The former requires finding a supposedly pre-existing border, in the psychiatric patient’s mental life, between that which belongs to the self and that (...) which belongs to the mental illness. I argue that no such border exists, and that attempts to find it might even render the felt ambiguity worse. Instead, any solution must be constructivist; the patient (and others) should deliberate and discuss what to identify with or not. I further argue that psychiatric patients need not see their mental illness as wholly distinct from themselves to avoid ‘identifying with their diagnoses' in a problematic way. Finally, we can excuse problematic behaviour by mentally ill people – in fact, we can do so in a more nuanced and constructive way – while rejecting the view that the mental illness is wholly distinct from the patient’s self. (shrink)

So-called 'Frege cases' pose a challenge for anyone who would hope to treat the contents of beliefs (and similar mental states) as Russellian propositions: It is then impossible to explain people's behavior in Frege cases without invoking non-intentional features of their mental states, and doing that seems to undermine the intentionality of psychological explanation. In the present paper, I develop this sort of objection in what seems to me to be its strongest form, but then offer a response to it. (...) I grant that psychological explanation must invoke non-intentional features of mental states, but it is of crucial importance which such features must be referenced. -/- It emerges from a careful reading of Frege's own view that we need only invoke what I call 'formal' relations between mental states. I then claim that referencing such 'formal' relations within psychological explanation does not undermine its intentionality in the way that invoking, say, neurological features would. The central worry about this view is that either (a) 'formal' relations bring narrow content in through back door or (b) 'formal' relations end up doing all the explanatory work. Various forms of each worry are discussed. The crucial point, ultimately, is that the present strategy for responding to Frege cases is not available either to the 'psycho-Fregean', who would identify the content of a belief with its truth-value, nor even to someone who would identify the content of a belief with a set of possible worlds. It requires the sort of rich semantic structure that is distinctive of Russellian propositions. There is therefore no reason to suppose that the invocation of 'formal' relations threatens to deprive content of any work to do. (shrink)

This study investigated how problem solvers get into and out of a state of impasse while solving difficult problems. 47 participants had to decipher the secret method behind 33 magic tricks while r...

A general model of problem‐solving processes based on misconception elimination is presented to simulate both impasses and solving processes. The model operates on goal‐related rules and a set of constraint rules in the form of “if (state or goal), do not (Action)” for the explicit constraints in the instructions and the implicit constraints that come from misconceptions of legal moves. When impasses occur, a constraint elimination mechanism is applied. Because successive eliminations of implicit constraints enlarge the problem space (...) and have an effect on planning, the model integrates “plan‐based” and “constraint‐based” approaches to problem‐solving behavior.Simulating individual protocols of Tower of Hanoi situations shows that the model, which has a proper set of constraints, predicts a single move with no alternative on about 61% of the movements and that protocols are quite successfully simulated movement by movement. Finally, it is shown that many features of previous models are embedded in the constraint elimination model. (shrink)

This essay is part of a dossier on Cristina Lafont's book Democracy without Shortcuts.

Many current popular views in epistemology require a belief to be the result of a reliable process (aka ‘method of belief formation’ or ‘cognitive capacity’) in order to count as knowledge. This means that the generality problem rears its head, i.e. the kind of process in question has to be spelt out, and this looks difficult to do without being either over or under-general. In response to this problem, I propose that we should adopt a more fine-grained account of the (...) epistemic basing relation, at which point the generality problem becomes easy to solve. (shrink)

Stewart Cohen argues that several epistemological theories fall victim to the problem of easy knowledge: they allow us to know far too easily that certain sceptical hypotheses are false and that how things seem is a reliable indicator of how they are. This problem is a result of the theories' interaction with an epistemic closure principle. Cohen suggests that the theories should be modified. I argue that attempts to solve the problem should focus on closure instead; a new and plausible (...) epistemic closure principle can solve the problem of easy knowledge. My solution offers a uniform and more successful response to different versions of the problem of easy knowledge. (shrink)

The Trolley Problem arises from a set of moral dilemmas, most of which involve tradeoffs between causing one death and preventing several more deaths. The normative and descriptive Trolley Problems are closely related. The normative Trolley Problem begins with the assumption that authors' natural responses to these cases are generally, if not uniformly, correct. Thus, any attempt to solve the normative Trolley Problem begins with an attempt to solve the descriptive problem, to identify the features of actions that elicit their (...) moral approval or disapproval. The chapter explains an empirical research paper to provide an approximate descriptive solution to the Trolley Problem. More specifically, this research highlights the influence of two factors that exert a powerful influence when both are present. From a normative perspective, the personal force factor is notable because it is not one that the authors ordinarily regard as morally relevant. (shrink)

Any part of the world can be viewed and modelled in terms of its chosen qualitative and/or quantitative properties, OR its structure. The former approach has been used by nearly the whole of ‘human intellectual endeavor’, i.e conventional science of physics, the arts etc. Development of the latter or the ‘systemic view’ is the subject matter of the current work. The Purpose of Change is Problem Solving suggests that the ‘structural view’ is empirical, pervasive throughout experience and as such (...) results in a single domain as opposed to conventional science which consists of many domains like mechanics, electricity etc. Thus, a unique approach is required which is based on ‘general principles of systems’ translated into operational form by the symbolism of processed natural language called ‘linguistic modelling of scenarios’ which can carry mathematics and uncertainties. To model scenarios with complex structure, a description or story in natural language is expressed in terms of homogenous language of one – and two – place sentences, the ‘elementary constituents’ of which complex structures can be constructed [like a variety of buildings from bricks]. To correspond to the single domain, based on the logic of causation, a single scheme of ‘Management/producers – Product – User/consumer’ is proposed which is immediately applicable to structuring scenarios and guides their detailed linguistic modelling or design. The approach, subject to debate, can have significant impact on society and education, especially that of engineering which lacks a ‘comprehensive theory of structure’ of problematic scenarios. (shrink)

Satisficing consequentialism is often used as a way of solving the demandingness objection, but many forms of satisficing consequentialism fail to do so. Further, those that do are vulnerable to the objections Ben Bradley outlined in Against Satisficing Consequentialism. In this paper, I present a new type of satisficing consequentialism which resolves the demandingness objection, is in-line with common intuitions about moral responsibility, and avoids Bradley's criticisms.

I introduce a new formulation of rule consequentialism, defended as an improvement on traditional formulations. My new formulation cleanly avoids what Parfit calls “ideal world” objections. I suggest that those objections arise because traditional formulations incorporate counterfactual comparisons about how things could go differently. My new formulation eliminates those counterfactual comparisons. Part of the interest of the new formulation is as a model of how to reformulate structurally similar views, including various kinds of contractualism.

Is society an organic whole with each of its many components working together like the organs in a body? Like organisms, societies are composed of many parts which seem to work together enhance their survival. Different people fulfill different, necessary role—subsistence, reproduction, coordination, and defense. Regular exchange of matter and energy guarantees that each component has the resources it needs. Norms, laws and customs regulate virtually every aspect of social interaction, who may marry who, how disputes are resolved, and how (...) verbs should be conjugated. Ritual and religion provide comfort to the sick and fearful, maintain a feeling of solidarity and belonging, and serve to preserve and transmit knowledge through time. Even the simplest human societies seem like complex machines designed for growth and survival. (shrink)

Computer-simulated scenarios have been part of psychological research on problem solving for more than 40 years. The shift in emphasis from simple toy problems to complex, more real-life oriented problems has been accompanied by discussions about the best ways to assess the process of solving complex problems. Psychometric issues such as reliable assessments and addressing correlations with other instruments have been in the foreground of these discussions and have left the content validity of complex problem solving in (...) the background. In this paper, we return the focus to content issues and address the important features that define complex problems. (shrink)

Questions of what a self-driving car ought to do if it encounters a situation analogous to the ‘trolley problem’ have dominated recent discussion of the ethics of self-driving cars. This paper argues that this interest is misplaced. If a trolley-style dilemma situation actually occurs, given the limits on what information will be available to the car, the dynamics of braking and tyre traction determine that, irrespective of outcome, it is always least risky for the car to brake in a straight (...) line rather than swerve. (shrink)

We show that some common varieties of modal K4-algebras have finitary unification type, thus providing effective best solutions for equations in free algebras. Applications to admissible inference rules are immediate.

It is “the received wisdom” that any intuitively natural and consistent resolution of a class of semantic paradoxes immediately leads to other paradoxes just as bad as the first. This is often called the “revenge problem”. Some proponents of the received wisdom draw the conclusion that there is no hope of any natural treatment that puts all the paradoxes to rest: we must either live with the existence of paradoxes that we are unable to treat, or adopt artificial and ad (...) hoc means to avoid them. Others (“dialetheists”) argue that we can put the paradoxes to rest, but only by licensing the acceptance of some contradictions (presumably in a paraconsistent logic that prevents the contradictions from spreading everywhere). (shrink)

In the context of solving large distributed constraint optimization problems, belief-propagation and incomplete inference algorithms are candidates of choice. However, in general, when the problem structure is very cyclic, these solution methods suffer from bad performance, due to non-convergence and many exchanged messages. As to improve performances of the MaxSum inference algorithm when solving cyclic constraint optimization problems, we propose here to take inspiration from the belief-propagation-guided decimation used to solve sparse random graphs. We propose the novel DeciMaxSum (...) method, which is parameterized in terms of policies to decide when to trigger decimation, which variables to decimate and which values to assign to decimated variables. Based on an empirical evaluation on a classical constraint optimization benchmarks, some of these combinations of policies, using periodic decimation, cycle detection-based decimation, parallel and non parallel decimation, random or deterministic variable selection and deterministic or random sampling for value selection, outperform state-of-the-art competitors in many settings. (shrink)