{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T00:49:58Z","timestamp":1767833398219,"version":"3.49.0"},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2022,10,13]],"date-time":"2022-10-13T00:00:00Z","timestamp":1665619200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2022,10,13]],"date-time":"2022-10-13T00:00:00Z","timestamp":1665619200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["405961989 and 432308570"],"award-info":[{"award-number":["405961989 and 432308570"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000275","name":"Leverhulme Trust","doi-asserted-by":"publisher","award":["RPG-2019-059"],"award-info":[{"award-number":["RPG-2019-059"]}],"id":[{"id":"10.13039\/501100000275","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["432308570"],"award-info":[{"award-number":["432308570"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["432308570"],"award-info":[{"award-number":["432308570"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100012352","name":"Universit\u00e0 degli Studi di Milano","doi-asserted-by":"crossref","id":[{"id":"10.13039\/100012352","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2023,4]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>According to the objective Bayesian approach to inductive logic, premisses inductively entail a conclusion just when every probability function with maximal entropy, from all those that satisfy the premisses, satisfies the conclusion. When premisses and conclusion are constraints on probabilities of sentences of a first-order predicate language, however, it is by no means obvious how to determine these maximal entropy functions. This paper makes progress on the problem in the following ways. Firstly, we introduce the concept of a limit in entropy and show that, if the set of probability functions satisfying the premisses contains a limit in entropy, then this limit point is unique and is the maximal entropy probability function. Next, we turn to the special case in which the premisses are categorical sentences of the logical language. We show that if the uniform probability function gives the premisses positive probability, then the maximal entropy function can be found by simply conditionalising this uniform prior on the premisses. We generalise our results to demonstrate agreement between the maximal entropy approach and Jeffrey conditionalisation in the case in which there is a single premiss that specifies the probability of a sentence of the language. We show that, after learning such a premiss, certain inferences are preserved, namely inferences to inductive tautologies. Finally, we consider potential pathologies of the approach: we explore the extent to which the maximal entropy approach is invariant under permutations of the constants of the language, and we discuss some cases in which there is no maximal entropy probability function.<\/jats:p>","DOI":"10.1007\/s10992-022-09680-6","type":"journal-article","created":{"date-parts":[[2022,10,13]],"date-time":"2022-10-13T13:04:18Z","timestamp":1665666258000},"page":"555-608","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Determining Maximal Entropy Functions for Objective Bayesian Inductive Logic"],"prefix":"10.1007","volume":"52","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3105-6624","authenticated-orcid":false,"given":"Juergen","family":"Landes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Soroush","family":"Rafiee Rad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jon","family":"Williamson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,10,13]]},"reference":[{"issue":"9","key":"9680_CR1","doi-asserted-by":"publisher","first-page":"1145","DOI":"10.1080\/00207170600818373","volume":"79","author":"A Balestrino","year":"2006","unstructured":"Balestrino, A., Caiti, A., & Crisostomi, E. (2006). Efficient numerical approximation of maximum entropy estimates. International Journal of Control, 79(9), 1145\u20131155.","journal-title":"International Journal of Control"},{"issue":"1","key":"9680_CR2","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1093\/jigpal\/jzm028","volume":"16","author":"O Barnett","year":"2008","unstructured":"Barnett, O., & Paris, J. B. (2008). Maximum entropy inference with quantified knowledge. Logic Journal of IGPL, 16(1), 85\u201398.","journal-title":"Logic Journal of IGPL"},{"key":"9680_CR3","volume-title":"Probability and measure (3rd (1995) edn)","author":"P Billingsley","year":"1979","unstructured":"Billingsley, P. (1979). Probability and measure (3rd (1995) edn). New York: Wiley."},{"key":"9680_CR4","volume-title":"The continuum of inductive methods","author":"R Carnap","year":"1952","unstructured":"Carnap, R. (1952). The continuum of inductive methods. Chicago: University of Chicago Press."},{"key":"9680_CR5","doi-asserted-by":"crossref","unstructured":"Caticha, A., & Giffin, A. (2006). Updating probabilities. In Proceedings of MaxEnt (Vol. 872 pp. 31\u201342).","DOI":"10.1063\/1.2423258"},{"issue":"2","key":"9680_CR6","first-page":"114","volume":"4","author":"B Chen","year":"2010","unstructured":"Chen, B., Hu, J., & Zhu, Y. (2010). Computing maximum entropy densities: a hybrid approach. Signal Processing: An International Journal, 4(2), 114\u2013122.","journal-title":"Signal Processing: An International Journal"},{"key":"9680_CR7","doi-asserted-by":"publisher","DOI":"10.1002\/0471200611","volume-title":"Elements of information theory (2nd (2006) edn)","author":"TM Cover","year":"1991","unstructured":"Cover, T. M., & Thomas, J. A. (1991). Elements of information theory (2nd (2006) edn). New York: Wiley."},{"issue":"3","key":"9680_CR8","doi-asserted-by":"publisher","first-page":"261","DOI":"10.3390\/e10030261","volume":"10","author":"I Csisz\u00e1r","year":"2008","unstructured":"Csisz\u00e1r, I. (2008). Axiomatic characterizations of information measures. Entropy, 10(3), 261\u2013273.","journal-title":"Entropy"},{"issue":"1","key":"9680_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF02759729","volume":"2","author":"H Gaifman","year":"1964","unstructured":"Gaifman, H. (1964). Concerning measures in first order calculi. Israel Journal of Mathematics, 2(1), 1\u201318.","journal-title":"Israel Journal of Mathematics"},{"key":"9680_CR10","unstructured":"Goldman, S. A. (1987). Efficient methods for calculating maximum entropy distributions Master\u2019s thesis. Electrical Engineering and Computer Science, Massachusetts Institute of Technology."},{"key":"9680_CR11","doi-asserted-by":"crossref","unstructured":"Goldman, S. A., & Rivest, R. (1988). A non-iterative maximum entropy algorithm. In L. Kanal J. Lemmer (Eds.) Uncertainty in Artificial Intelligence 2 (pp. 133\u2013148). North-Holland: Elsevier.","DOI":"10.1016\/B978-0-444-70396-5.50018-2"},{"key":"9680_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-0008-6","volume-title":"Probabilistic logics and probabilistic networks. Synthese Library","author":"R Haenni","year":"2011","unstructured":"Haenni, R., Romeijn, J. -W., Wheeler, G., & Williamson, J. (2011). Probabilistic logics and probabilistic networks. Synthese Library. Dordrecht: Springer."},{"issue":"4","key":"9680_CR13","doi-asserted-by":"publisher","first-page":"1382","DOI":"10.1017\/jsl.2017.49","volume":"84","author":"E Howarth","year":"2019","unstructured":"Howarth, E., & Paris, J. B. (2019). Pure inductive logic with functions. Journal of Symbolic Logic, 84(4), 1382\u20131402.","journal-title":"Journal of Symbolic Logic"},{"issue":"5","key":"9680_CR14","doi-asserted-by":"publisher","first-page":"989","DOI":"10.1007\/s11229-013-0303-3","volume":"191","author":"C Howson","year":"2014","unstructured":"Howson, C. (2014). Finite additivity, another lottery paradox and conditionalisation. Synthese, 191(5), 989\u20131012.","journal-title":"Synthese"},{"issue":"4","key":"9680_CR15","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1103\/PhysRev.106.620","volume":"106","author":"ET Jaynes","year":"1957","unstructured":"Jaynes, E. T. (1957). Information theory and statistical mechanics. The Physical Review, 106(4), 620\u2013630.","journal-title":"The Physical Review"},{"key":"9680_CR16","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511790423","volume-title":"Probability theory: the logic of science","author":"ET Jaynes","year":"2003","unstructured":"Jaynes, E. T. (2003). Probability theory: the logic of science. Cambridge: Cambridge University Press."},{"key":"9680_CR17","unstructured":"Landes, J. (2009). The principle of spectrum exchangeability within inductive logic. PhD thesis, Manchester Institute for Mathematical Sciences."},{"key":"9680_CR18","doi-asserted-by":"crossref","unstructured":"Landes, J. (2021a). A triple uniqueness of the maximum entropy approach. In J. Vejnarov\u00e1 N. Wilson (Eds.) Proceedings of ECSQARU, volume 12897 of LNAI (pp. 644\u2013656). Cham: Springer.","DOI":"10.1007\/978-3-030-86772-0_46"},{"issue":"2","key":"9680_CR19","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/s11225-020-09912-3","volume":"109","author":"J Landes","year":"2021","unstructured":"Landes, J. (2021b). The entropy-limit (conjecture) for \u03a32-premisses. Studia Logica, 109(2), 423\u2013442.","journal-title":"Studia Logica"},{"issue":"4","key":"9680_CR20","doi-asserted-by":"publisher","first-page":"2459","DOI":"10.3390\/e17042459","volume":"17","author":"J Landes","year":"2015","unstructured":"Landes, J., & Williamson, J. (2015). Justifying objective Bayesianism on predicate languages. Entropy, 17(4), 2459\u20132543.","journal-title":"Entropy"},{"key":"9680_CR21","doi-asserted-by":"crossref","unstructured":"Landes, J., & Williamson, J. (2016). Objective Bayesian nets from consistent datasets. In A. Giffin K.H. Knuth (Eds.) Proceedings of MaxEnt, (Vol. 1757 pp. 020007\u20131\u2013020007-8). AIP.","DOI":"10.1063\/1.4959048"},{"key":"9680_CR22","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1613\/jair.1.13363","volume":"74","author":"J Landes","year":"2022","unstructured":"Landes, J., & Williamson, J. (2022). Objective bayesian nets for integrating consistent datasets. Journal of Artificial Intelligence Research, 74, 393\u2013458.","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"1","key":"9680_CR23","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.ijar.2009.07.001","volume":"51","author":"J Landes","year":"2009","unstructured":"Landes, J., Paris, J. B., & Vencovsk\u00e1, A. (2009). Representation theorems for probability functions satisfying spectrum exchangeability in inductive logic. International Journal of Approximate Reasoning, 51(1), 35\u201355.","journal-title":"International Journal of Approximate Reasoning"},{"issue":"2","key":"9680_CR24","doi-asserted-by":"publisher","first-page":"102870","DOI":"10.1016\/j.apal.2020.102870","volume":"172","author":"J Landes","year":"2021","unstructured":"Landes, J., Rafiee Rad, S., & Williamson, J. (2021). Towards the entropy-limit conjecture. Annals of Pure and Applied Logic, 172(2), 102870.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"1","key":"9680_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(92)90041-U","volume":"55","author":"D Lehmann","year":"1992","unstructured":"Lehmann, D., & Magidor, M. (1992). What does a conditional knowledge base entail? Artificial Intelligence, 55(1), 1\u201360.","journal-title":"Artificial Intelligence"},{"issue":"2","key":"9680_CR26","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1080\/07474939908800436","volume":"18","author":"D Ormoneit","year":"1999","unstructured":"Ormoneit, D., & White, H. (1999). An efficient algorithm to compute maximum entropy densities. Econometric Reviews, 18(2), 127\u2013140.","journal-title":"Econometric Reviews"},{"key":"9680_CR27","volume-title":"The uncertain reasoner\u2019s companion","author":"JB Paris","year":"1994","unstructured":"Paris, J. B. (1994). The uncertain reasoner\u2019s companion. Cambridge: Cambridge University Press."},{"issue":"1","key":"9680_CR28","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1023\/A:1005081609010","volume":"117","author":"JB Paris","year":"1998","unstructured":"Paris, J. B. (1998). Common sense and maximum entropy. Synthese, 117(1), 75\u201393.","journal-title":"Synthese"},{"key":"9680_CR29","doi-asserted-by":"crossref","unstructured":"Paris, J. B., & Rafiee Rad, S. (2010). A note on the least informative model of a theory. In F. Ferreira, B. L\u00f6we, E. Mayordomo, L. Mendes Gomes, J. B. Paris, & S. Rafiee Rad (Eds.) Proceedings of CiE (pp. 342\u2013351). Berlin: Springer.","DOI":"10.1007\/978-3-642-13962-8_38"},{"issue":"3","key":"9680_CR30","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0888-613X(90)90020-3","volume":"4","author":"JB Paris","year":"1990","unstructured":"Paris, J. B., & Vencovsk\u00e1, A. (1990). A note on the inevitability of maximum entropy. International Journal of Approximate Reasoning, 4 (3), 183\u2013223.","journal-title":"International Journal of Approximate Reasoning"},{"issue":"1","key":"9680_CR31","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/S0888-613X(97)00014-5","volume":"17","author":"JB Paris","year":"1997","unstructured":"Paris, J. B., & Vencovsk\u00e1, A. (1997). In defense of the maximum entropy inference process. International Journal of Approximate Reasoning, 17 (1), 77\u2013103.","journal-title":"International Journal of Approximate Reasoning"},{"key":"9680_CR32","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107326194","volume-title":"Pure inductive logic","author":"J Paris","year":"2015","unstructured":"Paris, J., & Vencovsk\u00e1, A. (2015). Pure inductive logic. Cambridge: Cambridge University Press."},{"issue":"4","key":"9680_CR33","doi-asserted-by":"publisher","first-page":"731","DOI":"10.1007\/s10992-018-9492-z","volume":"48","author":"JB Paris","year":"2019","unstructured":"Paris, J. B., & Vencovsk\u00e1, A. (2019). Six problems in pure inductive logic. Journal of Philosophical Logic, 48(4), 731\u2013747.","journal-title":"Journal of Philosophical Logic"},{"key":"9680_CR34","volume-title":"Probabilistic reasoning in intelligent systems: networks of plausible inference","author":"J Pearl","year":"1988","unstructured":"Pearl, J. (1988). Probabilistic reasoning in intelligent systems: networks of plausible inference. San Mateo: Morgan Kaufmann."},{"key":"9680_CR35","unstructured":"Rafiee Rad, S. (2009). Inference processes for probabilistic first order languages. PhD thesis, Manchester Institute for Mathematical Sciences."},{"issue":"1","key":"9680_CR36","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/s11225-016-9684-x","volume":"105","author":"S Rafiee Rad","year":"2017","unstructured":"Rafiee Rad, S. (2017). Equivocation axiom on first order languages. Studia Logica, 105(1), 121\u2013152.","journal-title":"Studia Logica"},{"issue":"1","key":"9680_CR37","first-page":"287","volume":"5","author":"S Rafiee Rad","year":"2018","unstructured":"Rafiee Rad, S. (2018). Maximum entropy models for \u03a31 sentences. Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications, 5(1), 287\u2013300.","journal-title":"Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications"},{"key":"9680_CR38","doi-asserted-by":"crossref","unstructured":"Rafiee Rad, S. (2021). On probabilistic characterisation of models of first order theories. Annals of Pure and Applied Logic, 172(1).","DOI":"10.1016\/j.apal.2020.102875"},{"issue":"4","key":"9680_CR39","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1086\/289336","volume":"53","author":"T Seidenfeld","year":"1986","unstructured":"Seidenfeld, T. (1986). Entropy and uncertainty. Philosophy of Science, 53(4), 467\u2013491.","journal-title":"Philosophy of Science"},{"key":"9680_CR40","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1002\/j.1538-7305.1948.tb01338.x","volume":"27","author":"C Shannon","year":"1948","unstructured":"Shannon, C. (1948). A mathematical theory of communication. The Bell System Technical Journal, 27, 379\u2013423.","journal-title":"The Bell System Technical Journal"},{"issue":"2","key":"9680_CR41","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1093\/bjps\/31.2.131","volume":"31","author":"PM Williams","year":"1980","unstructured":"Williams, P. M. (1980). Bayesian conditionalisation and the principle of minimum information. British Journal for the Philosophy of Science, 31(2), 131\u2013144.","journal-title":"British Journal for the Philosophy of Science"},{"issue":"4","key":"9680_CR42","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/j.jalgor.2008.07.001","volume":"63","author":"J Williamson","year":"2008","unstructured":"Williamson, J. (2008). Objective Bayesian probabilistic logic. Journal of Algorithms, 63(4), 167\u2013183.","journal-title":"Journal of Algorithms"},{"key":"9680_CR43","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199228003.001.0001","volume-title":"In defence of objective Bayesianism","author":"J Williamson","year":"2010","unstructured":"Williamson, J. (2010). In defence of objective Bayesianism. Oxford: Oxford University Press."},{"key":"9680_CR44","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199666478.001.0001","volume-title":"Lectures on inductive logic","author":"J Williamson","year":"2017","unstructured":"Williamson, J. (2017). Lectures on inductive logic. Oxford: Oxford University Press."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-022-09680-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10992-022-09680-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-022-09680-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,30]],"date-time":"2023-03-30T13:16:10Z","timestamp":1680182170000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10992-022-09680-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,13]]},"references-count":44,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2023,4]]}},"alternative-id":["9680"],"URL":"https:\/\/doi.org\/10.1007\/s10992-022-09680-6","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,10,13]]},"assertion":[{"value":"23 December 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 July 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 October 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"No author reports a conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"<!--Emphasis Type='Bold' removed-->Conflict of Interest"}}]}}