A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
These operations map evidence models to Kripke models. We then compare the consolidations in the two logics, finding conditions under which they are isomorphic. ... Recently, several logics have emerged with the goal of modelling evidence in a more relaxed sense than that of justifications. ... In Sect. 2 we introduce FVEL, a logic that models evidence but no beliefs. ...doi:10.1007/978-3-662-60292-8_5 fatcat:rhkd3ounrjajdgia6cuvp5hsbm
Recently, several logics modelling evidence have been proposed in the literature. These logics often also feature beliefs. We call the process or function that maps evidence to beliefs consolidation. ... In this paper, we use a four-valued modal logic of evidence as a basis. ... and to consolidate evidence into beliefs. ...doi:10.1093/logcom/exac030 fatcat:an4eohf57fgwtmzmbdrud32mqe
Two main formal approaches to coherence are examined: coherence-based models of belief revision and the theory of coherence as constraint satisfaction. ... whereby coherence may be built in the course of legal decision-making. ... Acknowledgements I am grateful to Jorge Cerdio, Rossella Rubino, and Frederick Schauer for comments on an earlier draft of this paper. I thank an anonymous reviewer for his comments. ...doi:10.1007/s10506-007-9050-4 fatcat:evrfqse3endephog6xjkfhpzoq
Our objectives are: (i) to aggregate arguments posted for a certain debate topic, (ii) to consolidate opinions posted under several but related topics either in the same or different debate site, and ( ... For the first objective, we propose a voting method based on subjective logic  . ... Science and Technology, Trondheim, Norway and Technical University of Cluj-Napoca, Romania. ...doi:10.2298/csis180601015g fatcat:ynl6dgltirfm7eqtl57t5npybu
I have shown in my third propo- sition that the truth of beliefs not supported by evidence is a mere matter of chance. If, for instance, you believe that a Mr. ... The present proposition goes a step further, and specifies the sort of connection which you must show between the evidence and the. belief founded upon it in order that the belief might be proved to be ...
There are two questions to be distinguished in considering Mr. Spencer’s account : What are the elements which constitute this consolidated conception of objective existence? ... Spencer’s account, which is given in two forms, one in First Principles (pt. 11. c. 2, “‘ The Data of Philosophy ’’), the other in Principles of Psychology, pt. vii. ...
Yet, he states that "belief sets are just theories in the standard logical sense" [10, p. 83]. ... The reason maintenance system is built on top of a deductive reasoning engine based on relevance logic. Thus, the account of conditionals provided is not susceptible to the fallacies of relevance. ... (See the operation of kernel consolidation in  .) ...doi:10.1093/jigpal/jzp036 fatcat:sibbxf7gvvfy5lpnltzl2klywy
Minds and Machines
Two further applications of OBE are discussed in Chapters 7 and 8, namely as a semantics for probability logic and as a framework for evidence-based social decision making. ... spectacularly radical positions-to the implicit consolidation of three norms of rational belief. ...doi:10.1007/s11023-012-9293-z fatcat:vhevkbq62ffwza7vb42l4hktpe
American Journal of Science
—So far as the writer can understand, the French believe in two distinct and different periods of consolidation for all intrusive rocks both granular and porphyritic; many if not most of the Germans believe ... Evidences of intratellurie origin. ...
Seven models of personal epistemologies were compared, and a consolidated conceptual framework is presented to career and technical educators. ... The conceptual analysis of this research was based on three major theoretical frameworks of personal epistemology: qualitative developmental stages, quantitative belief systems, and practitioner epistemological ... Developmental Stages The developmental states of the consolidated model are described in the following sections. Absolute Level of Table 1 Perry Scheme. ...doi:10.30707/jste47.3urman fatcat:owzamjlx2vhs5nxcbljuym5lua
American Journal of Philology
820 AMERICAN JOURNAL OF PHILOLOGY. divine visitations by Cicero (N.D., I, 18, 46). The major evidence was logical, not visual. In spite of these errors this book possesses substantial value. ... to initiate a continual progress towards the “ discoveries of modern logic ” and was “ followed by over two thousand years of stagnation ” (Russell, op. cit., p. 195). ...
820 AMERICAN JOURNAL OF PHILOLOGY. divine visitations by Cicero (N.D., I, 18, 46). The major evidence was logical, not visual. In spite of these errors this book possesses substantial value. ... to initiate a continual progress towards the “ discoveries of modern logic ” and was “ followed by over two thousand years of stagnation ” (Russell, op. cit., p. 195). ...doi:10.2307/291129 fatcat:lhxt4mrj5jbufavfqqc4wi24ru
Canadian Journal of History
The sets of beliefs, subsets of beliefs, cognitive schemes, including the meanings that might be given to rational economic behaviour, whatever its ‘‘pure’’ form might have been in the eighteenth century ... Le Goff's reasoning is splendid and subtle, but internal evidence in the book indicates that his judgment of the issues is not absolutely final. ...
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. ... 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. ... Acknowledgements We would like to thank to the anonymous referees for very valuable comments on earlier versions of this paper. ...doi:10.1007/s10992-011-9217-z fatcat:lvhdsiubzfc4xie7rfvvil3yhi
Contraction is like changing an old belief without adding any new ones. We provide operationalized examples of this process in action. ... In this review we analyze and apply a novel approach to this process based on AGM theory of belief revision, named after its proponents, Carlos Alchourrón, Peter Gärdenfors and David Makinson. ... SUBJECTIVE PROBABILITY THEORY There are two modern epistemic interpretations of probability, which are logicism and subjectivism (Galavotti, 2011) . ...doi:10.3389/fncom.2014.00055 pmid:24860491 pmcid:PMC4030160 fatcat:z3zhfkodmzfazilneq4ttbluuq
« Previous Showing results 1 — 15 out of 71,186 results