Results for 'Probabilistic logic'

966 found
Order:
  1.  22
    Hector freytes, Antonio ledda, Giuseppe sergioli and.Roberto Giuntini & Probabilistic Logics in Quantum Computation - 2013 - In Hanne Andersen, Dennis Dieks, Wenceslao J. Gonzalez, Thomas Uebel & Gregory Wheeler, New Challenges to Philosophy of Science. Springer Verlag. pp. 49.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2. Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System P.Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz & Giuseppe Sanfilippo - 2002 - Journal of Applied Non-Classical Logics 12 (2):189-213.
    We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail, we explore how probabilistic reasoning under coherence is related to model- theoretic probabilistic reasoning and to default reasoning in System . In particular, we show that the notions of g-coherence and of g-coherent entailment can be expressed by combining notions in model-theoretic probabilistic logic with concepts from default reasoning. Moreover, we show that probabilistic reasoning under coherence is (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  3.  47
    Probabilistic Logic and Probabilistic Networks. Haenni, R., Romeijn, J.-W., Wheeler, G. & Williamson, J. - unknown
    While in principle probabilistic logics might be applied to solve a range of problems, in practice they are rarely applied at present. This is perhaps because they seem disparate, complicated, and computationally intractable. However, we shall argue in this programmatic paper that several approaches to probabilistic logic into a simple unifying framework: logically complex evidence can be used to associate probability intervals or probabilities with sentences.
    Direct download  
     
    Export citation  
     
    Bookmark   29 citations  
  4.  8
    Probabilistic Logics and Probabilistic Networks.Rolf Haenni, Jan-Willem Romeijn, Gregory Wheeler & Jon Williamson - 2011 - .
    While probabilistic logics in principle might be applied to solve a range of problems, in practice they are rarely applied --- perhaps because they seem disparate, complicated, and computationally intractable. This programmatic book argues that several approaches to probabilistic logic fit into a simple unifying framework in which logically complex evidence is used to associate probability intervals or probabilities with sentences. Specifically, Part I shows that there is a natural way to present a question posed in (...) logic, and that various inferential procedures provide semantics for that question, while Part II shows that there is the potential to develop computationally feasible methods to mesh with this framework. The book is intended for researchers in philosophy, logic, computer science and statistics. A familiarity with mathematical concepts and notation is presumed, but no advanced knowledge of logic or probability theory is required. (shrink)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  5.  56
    Probabilistic Logics with Independence and Confirmation.Dragan Doder & Zoran Ognjanović - 2017 - Studia Logica 105 (5):943-969.
    The main goal of this work is to present the proof-theoretical and model-theoretical approaches to probabilistic logics which allow reasoning about independence and probabilistic support. We extend the existing formalisms [14] to obtain several variants of probabilistic logics by adding the operators for independence and confirmation to the syntax. We axiomatize these logics, provide corresponding semantics, prove that the axiomatizations are sound and strongly complete, and discuss decidability issues.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6. Probabilistic Logic Under Coherence, Conditional Interpretations, and Default Reasoning.Angelo Gilio - 2005 - Synthese 146 (1-2):139-152.
    We study a probabilistic logic based on the coherence principle of de Finetti and a related notion of generalized coherence (g-coherence). We examine probabilistic conditional knowledge bases associated with imprecise probability assessments defined on arbitrary families of conditional events. We introduce a notion of conditional interpretation defined directly in terms of precise probability assessments. We also examine a property of strong satisfiability which is related to the notion of toleration well known in default reasoning. In our framework (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  99
    Hybrid probabilistic logic programs as residuated logic programs.Carlos Damásio & Luís Pereira - 2002 - Studia Logica 72 (1):113 - 138.
    In this paper we show the embedding of Hybrid Probabilistic Logic Programs into the rather general framework of Residuated Logic Programs, where the main results of (definite) logic programming are validly extrapolated, namely the extension of the immediate consequences operator of van Emden and Kowalski. The importance of this result is that for the first time a framework encompassing several quite distinct logic programming semantics is described, namely Generalized Annotated Logic Programs, Fuzzy Logic (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  56
    Probabilistic logic.Nils J. Nilsson - 1986 - Artificial Intelligence 28 (1):71-87.
  9.  76
    A Probabilistic Logic Between $$LPP1LPP1and L P P 1 and LPP2$$ L P P 2.Šejla Dautović - 2022 - Logica Universalis 16 (1):323-333.
    An extension of the propositional probability logic \ given in Ognjanović et al. that allows mixing of propositional formulas and probabilistic formulas is introduced. We describe the corresponding class of models, and we show that the problem of deciding satisfiability is in NP. We provide infinitary axiomatization for the logic and we prove that the axiomatization is sound and strongly complete.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10. Probabilistic Logics and Probabilistic Networks.Rolf Haenni, Jan-Willem Romeijn, Gregory Wheeler & Jon Williamson - 2010 - Dordrecht, Netherland: Synthese Library. Edited by Gregory Wheeler, Rolf Haenni, Jan-Willem Romeijn & and Jon Williamson.
    Additionally, the text shows how to develop computationally feasible methods to mesh with this framework.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  11.  35
    Probabilistic logic of quantum observations.A. Sernadas, J. Rasga, C. Sernadas, L. Alcácer & A. B. Henriques - 2019 - Logic Journal of the IGPL 27 (3):328-370.
    A probabilistic propositional logic, endowed with a constructor for asserting compatibility of diagonalisable and bounded observables, is presented and illustrated for reasoning about the random results of projective measurements made on a given quantum state. Simultaneous measurements are assumed to imply that the underlying observables are compatible. A sound and weakly complete axiomatisation is provided relying on the decidable first-order theory of real closed ordered fields. The proposed logic is proved to be a conservative extension of classical (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  15
    Combining probabilistic logic programming with the power of maximum entropy.Gabriele Kern-Isberner & Thomas Lukasiewicz - 2004 - Artificial Intelligence 157 (1-2):139-202.
  13.  30
    Neural probabilistic logic programming in DeepProbLog.Robin Manhaeve, Sebastijan Dumančić, Angelika Kimmig, Thomas Demeester & Luc De Raedt - 2021 - Artificial Intelligence 298 (C):103504.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  23
    Probabilistic logic revisited.Nils J. Nilsson - 1993 - Artificial Intelligence 59 (1-2):39-42.
  15.  57
    Jesuit Probabilistic Logic between Scholastic and Academic Philosophy.Miroslav Hanke - 2019 - History and Philosophy of Logic 40 (4):355-373.
    There is a well-documented paradigm-shift in eighteenth century Jesuit philosophy and science, at the very least in Central Europe: traditional scholastic version(s) of Aristotelianism were replaced by early modern rationalism (Wolff's systematisation of Leibnizian philosophy) and early modern science and mathematics. In the field of probability, this meant that the traditional Jesuit engagement with probability, uncertainty, and truthlikeness (in particular, as applied to moral theology) could translate into mathematical language, and can be analysed against the background of the accounts of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  20
    Probabilistic logic.Jon Williamson & Federica Russo - 2010 - In Jon Williamson & Federica Russo, Key Terms in Logic. Continuum Press. pp. 57.
    Key Terms in Logic offers the ideal introduction to this core area in the study of philosophy, providing detailed summaries of the important concepts in the study of logic and the application of logic to the rest of philosophy. A brief introduction provides context and background, while the following chapters offer detailed definitions of key terms and concepts, introductions to the work of key thinkers and lists of key texts. Designed specifically to meet the needs of students (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  12
    Probabilistic logic.Armin Schulz - 2010 - In Jon Williamson & Federica Russo, Key Terms in Logic. Continuum Press. pp. 57.
    Key Terms in Logic offers the ideal introduction to this core area in the study of philosophy, providing detailed summaries of the important concepts in the study of logic and the application of logic to the rest of philosophy. A brief introduction provides context and background, while the following chapters offer detailed definitions of key terms and concepts, introductions to the work of key thinkers and lists of key texts. Designed specifically to meet the needs of students (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  10
    (1 other version)Probabilistic logic.Armin Schulz - 2010 - In Jon Williamson & Federica Russo, Key Terms in Logic. Continuum Press. pp. 57.
    Key Terms in Logic offers the ideal introduction to this core area in the study of philosophy, providing detailed summaries of the important concepts in the study of logic and the application of logic to the rest of philosophy. A brief introduction provides context and background, while the following chapters offer detailed definitions of key terms and concepts, introductions to the work of key thinkers and lists of key texts. Designed specifically to meet the needs of students (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  9
    Declarative probabilistic logic programming in discrete-continuous domains.Pedro Zuidberg Dos Martires, Luc De Raedt & Angelika Kimmig - 2024 - Artificial Intelligence 337 (C):104227.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  85
    Objective bayesian probabilistic logic.Jon Williamson - 2008
    This paper develops connections between objective Bayesian epistemology—which holds that the strengths of an agent’s beliefs should be representable by probabilities, should be calibrated with evidence of empirical probability, and should otherwise be equivocal—and probabilistic logic. After introducing objective Bayesian epistemology over propositional languages, the formalism is extended to handle predicate languages. A rather general probabilistic logic is formulated and then given a natural semantics in terms of objective Bayesian epistemology. The machinery of objective Bayesian nets (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  21.  30
    Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation.Glauber De Bona & Marcelo Finger - 2015 - Artificial Intelligence 227 (C):140-164.
  22.  19
    Inconsistency measures for probabilistic logics.Matthias Thimm - 2013 - Artificial Intelligence 197 (C):1-24.
  23.  17
    Anytime deduction for probabilistic logic.Alan M. Frisch & Peter Haddawy - 1994 - Artificial Intelligence 69 (1-2):93-122.
  24.  14
    Weak nonmonotonic probabilistic logics.Thomas Lukasiewicz - 2005 - Artificial Intelligence 168 (1-2):119-161.
  25.  33
    A semantics for Hybrid Probabilistic Logic programs with function symbols.Damiano Azzolini, Fabrizio Riguzzi & Evelina Lamma - 2021 - Artificial Intelligence 294 (C):103452.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  33
    Towards classifying propositional probabilistic logics.Glauber De Bona, Fabio Gagliardi Cozman & Marcelo Finger - 2014 - Journal of Applied Logic 12 (3):349-368.
  27.  26
    A first-order probabilistic logic with approximate conditional probabilities.N. Ikodinovi, M. Ra Kovi, Z. Markovi & Z. Ognjanovi - 2014 - Logic Journal of the IGPL 22 (4):539-564.
  28. A Many-Valued Probabilistic Logic.F. Lepage - 2000 - Poznan Studies in the Philosophy of the Sciences and the Humanities 71:36-48.
  29. A Many-Valued Probabilistic Logic: Commentary.C. Morgan - 2000 - Poznan Studies in the Philosophy of the Sciences and the Humanities 71:36-48.
  30.  45
    A note on probabilistic logics and probabilistic networks.Jon Williamson - 2008
    1, . . . , n | ≈ ψ ? Here 1, . . . , n, ψ are premisses of some formal language, such as a propositional language or a predicate language. | ≈ is an entailment relation: the entailment holds if all models of the premisses also satisfy the conclusion, where the logic provides some suitable notion of ‘model’ and ‘satisfy’. Proof theory is normally invoked to answer a question of this form: one tries to prove the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  26
    A new normative theory of probabilistic logic.Romas Aleliunas - 1990 - In Kyburg Henry E. , Loui Ronald P. & Carlson Greg N. , Knowledge Representation and Defeasible Reasoning. Kluwer Academic Publishers. pp. 387--403.
    Direct download  
     
    Export citation  
     
    Bookmark  
  32. Possible Semantics for a Common Framework of Probabilistic Logics.Gregory Wheeler, Jon Williamson, Jan-Willem Romeijn & Rolf Haenni - 2008 - In V. N. Huynh, International Workshop on Interval Probabilistic Uncertainty and Non-Classical Logics. Springer.
    Summary. This paper proposes a common framework for various probabilistic logics. It consists of a set of uncertain premises with probabilities attached to them. This raises the question of the strength of a conclusion, but without imposing a particular semantics, no general solution is possible. The paper discusses several possible semantics by looking at it from the perspective of probabilistic argumentation.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  28
    A probabilistic extension of intuitionistic logic.Z. Ognjanovic & Z. Markovic - 2003 - Mathematical Logic Quarterly 49 (4):415.
    We introduce a probabilistic extension of propositional intuitionistic logic. The logic allows making statements such as P≥sα, with the intended meaning “the probability of truthfulness of α is at least s”. We describe the corresponding class of models, which are Kripke models with a naturally arising notion of probability, and give a sound and complete infinitary axiomatic system. We prove that the logic is decidable.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  34. Voting in Search of the Public Good: The Probabilistic Logic of Majority Judgments.James Hawthorne - manuscript
    I argue for an epistemic conception of voting, a conception on which the purpose of the ballot is at least in some cases to identify which of several policy proposals will best promote the public good. To support this view I first briefly investigate several notions of the kind of public good that public policy should promote. Then I examine the probability logic of voting as embodied in two very robust versions of the Condorcet Jury Theorem and some related (...)
     
    Export citation  
     
    Bookmark   37 citations  
  35.  23
    Probabilistic Entailment and a Non-Probabilistic Logic.Kevin Knight - 2003 - Logic Journal of the IGPL 11 (3):353-365.
    In this paper we present a probabilistic notion of entailment for finite sets of premises, which has classical entailment as a special case, and show that it is well defined; i.e., that the problem of whether a sentence is entailed by a set of premises is computable. Further we present a natural deductive system and prove that it is the strongest deductive system possible without referring to probabilities.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  36. Probabilistic dynamic epistemic logic.Barteld P. Kooi - 2003 - Journal of Logic, Language and Information 12 (4):381-408.
    In this paper I combine the dynamic epistemic logic ofGerbrandy (1999) with the probabilistic logic of Fagin and Halpern (1994). The resultis a new probabilistic dynamic epistemic logic, a logic for reasoning aboutprobability, information, and information change that takes higher orderinformation into account. Probabilistic epistemic models are defined, and away to build them for applications is given. Semantics and a proof systemis presented and a number of examples are discussed, including the MontyHall Dilemma.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   31 citations  
  37.  14
    ‘Probabilist’ Deductive Inference in Gassendi’s Logic.Saul Fisher - 1998 - The Paideia Archive: Twentieth World Congress of Philosophy 8:58-64.
    In his Logic, Pierre Gassendi proposes that our inductive inferences lack the information we would need to be certain of the claims that they suggest. Not even deductivist inference can insure certainty about empirical claims because the experientially attained premises with which we adduce support for such claims are no greater than probable. While something is surely amiss in calling deductivist inference "probabilistic," it seems Gassendi has hit upon a now-familiar, sensible point—namely, the use of deductive reasoning in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38. Probabilistic coherence, logical consistency, and Bayesian learning: Neural language models as epistemic agents.Gregor Betz & Kyle Richardson - 2023 - PLoS ONE 18 (2).
    It is argued that suitably trained neural language models exhibit key properties of epistemic agency: they hold probabilistically coherent and logically consistent degrees of belief, which they can rationally revise in the face of novel evidence. To this purpose, we conduct computational experiments with rankers: T5 models [Raffel et al. 2020] that are pretrained on carefully designed synthetic corpora. Moreover, we introduce a procedure for eliciting a model’s degrees of belief, and define numerical metrics that measure the extent to which (...)
     
    Export citation  
     
    Bookmark   1 citation  
  39.  96
    The Logical Problem of Language Acquisition: A Probabilistic Perspective.Anne S. Hsu & Nick Chater - 2010 - Cognitive Science 34 (6):972-1016.
    Natural language is full of patterns that appear to fit with general linguistic rules but are ungrammatical. There has been much debate over how children acquire these “linguistic restrictions,” and whether innate language knowledge is needed. Recently, it has been shown that restrictions in language can be learned asymptotically via probabilistic inference using the minimum description length (MDL) principle. Here, we extend the MDL approach to give a simple and practical methodology for estimating how much linguistic data are required (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  40.  41
    Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence.Cassio Polpo de Campos, Fabio Gagliardi Cozman & José Eduardo Ochoa Luna - 2009 - Journal of Applied Logic 7 (2):137-154.
  41.  45
    How to exploit parametric uniformity for maximum entropy reasoning in a relational probabilistic logic.Marc Finthammer & Christoph Beierle - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin, Logics in Artificial Intelligence. Springer. pp. 189--201.
  42.  59
    Connexive Logic, Probabilistic Default Reasoning, and Compound Conditionals.Niki Pfeifer & Giuseppe Sanfilippo - 2024 - Studia Logica 112 (1):167-206.
    We present two approaches to investigate the validity of connexive principles and related formulas and properties within coherence-based probability logic. Connexive logic emerged from the intuition that conditionals of the formif not-A,thenA, should not hold, since the conditional’s antecedentnot-Acontradicts its consequentA. Our approaches cover this intuition by observing that the only coherent probability assessment on the conditional eventAA{A| \overline{A}}A|A¯isp(AA)=0{p(A| \overline{A})=0}p(A|A¯)=0. In the first approach we investigate connexive principles within coherence-based probabilistic default reasoning, by interpreting defaults and negated (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  43.  82
    A unifying framework of probabilistic reasoning: Rolf Haenni, Jan-Willem Romeijn, Gregory Wheeler and Jon Williamson: Probabilistic logic and probabilistic networks. Dordrecht: Springer, 2011, xiii+155pp, €59.95 HB. [REVIEW]Jan Sprenger - 2011 - Metascience 21 (2):459-462.
    A unifying framework of probabilistic reasoning Content Type Journal Article Category Book Review Pages 1-4 DOI 10.1007/s11016-011-9573-x Authors Jan Sprenger, Tilburg Center for Logic and Philosophy of Science, Tilburg University, P.O. Box 90153, 5000 LE Tilburg, The Netherlands Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  44.  48
    A probabilistic temporal epistemic logic: Decidability.Zoran Ognjanović, Angelina Ilić Stepić & Aleksandar Perović - 2024 - Logic Journal of the IGPL 32 (5):827-879.
    We study a propositional probabilistic temporal epistemic logic $\textbf {PTEL}$ with both future and past temporal operators, with non-rigid set of agents and the operators for agents’ knowledge and for common knowledge and with probabilities defined on the sets of runs and on the sets of possible worlds. A semantics is given by a class ${\scriptsize{\rm Mod}}$ of Kripke-like models with possible worlds. We prove decidability of $\textbf {PTEL}$ by showing that checking satisfiability of a formula in ${\scriptsize{\rm (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  53
    A probabilistic temporal epistemic logic: Strong completeness.Zoran Ognjanović, Angelina Ilić Stepić & Aleksandar Perović - 2024 - Logic Journal of the IGPL 32 (1):94-138.
    The paper offers a formalization of reasoning about distributed multi-agent systems. The presented propositional probabilistic temporal epistemic logic $\textbf {PTEL}$ is developed in full detail: syntax, semantics, soundness and strong completeness theorems. As an example, we prove consistency of the blockchain protocol with respect to the given set of axioms expressed in the formal language of the logic. We explain how to extend $\textbf {PTEL}$ to axiomatize the corresponding first-order logic.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  46. Probabilistic Knowledge.Sarah Moss - 2016 - Oxford, United Kingdom: Oxford University Press.
    Traditional philosophical discussions of knowledge have focused on the epistemic status of full beliefs. In this book, Moss argues that in addition to full beliefs, credences can constitute knowledge. For instance, your .4 credence that it is raining outside can constitute knowledge, in just the same way that your full beliefs can. In addition, you can know that it might be raining, and that if it is raining then it is probably cloudy, where this knowledge is not knowledge of propositions, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   172 citations  
  47.  27
    Probabilistic reasoning in a classical logic.K. S. Ng & J. W. Lloyd - 2009 - Journal of Applied Logic 7 (2):218-238.
  48. Logical Characterisation of Possibilistic and Probabilistic Descriptions of Events in Description Logics.Farshad Badie - forthcoming - Bulletin of the Section of Logic.
    Description Logics (DLs) are a family of formal knowledge representation formalisms and the most well-known formalisms in semantics-based systems. The central focus of this research is on logical-terminological characterisation/analysis of possibilistic and probabilistic descriptions of events in DLs. Based on a logical characterisation of the concept of `being', this paper conceptualises events within DLs world descriptions. Accordingly, it deals with the concepts of `possibility of events' and `probability of events'. The main goal of this research is to investigate how (...)
     
    Export citation  
     
    Bookmark  
  49.  88
    Extending probabilistic dynamic epistemic logic.Joshua Sack - 2009 - Synthese 169 (2):241 - 257.
    This paper aims to extend in two directions the probabilistic dynamic epistemic logic provided in Kooi’s paper (J Logic Lang Inform 12(4):381–408, 2003) and to relate these extensions to ones made in van Benthem et al. (Proceedings of LOFT’06. Liverpool, 2006). Kooi’s probabilistic dynamic epistemic logic adds to probabilistic epistemic logic sentences that express consequences of public announcements. The paper (van Benthem et al., Proceedings of LOFT’06. Liverpool, 2006) extends (Kooi, J Logic (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  50.  31
    Logical Analogies: Interpretations, Oppositions, and Probabilism.Walter Redmond - 2019 - Philosophies 4 (2):13.
    I present two logical systems to show the “analogy of proportionality„ common to several interpretations: modality (necessity and possibility), quantification, truth-functional relations, moral attitudes (deontic logic), states of knowledge (epistemic logic), and states of belief (doxastic logic). To display the two underlying analogical relations, I call upon the originally Scholastic convention, recently put to use again, of using squares, hexagons, and octagons “of opposition„. A combined epistemic–deontic logic happens to be found in the traditional “probabilist„ theory (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 966