Elementary results concerning the connections between deductive relations and probabilistic support are given. These are used to show that Popper-Miller's result is a special case of a more general result, and that their result is not very unexpected as claimed. According to Popper-Miller, a purely inductively supports b only if they are deductively independent — but this means that a b. Hence, it is argued that viewing induction as occurring only in the absence of deductive relations, as Popper-Miller sometimes do, (...) is untenable. Finally, it is shown that Popper-Miller's claim that deductive relations determine probabilistic support is untrue. In general, probabilistic support can vary greatly with fixed deductive relations as determined by the relevant Lindenbaum algebra. (shrink)

Leibniz’s De incerti aestimatione, which contains his solution to the division problem, has not received much attention, let alone much appreciation. This is surprising because it is in this work that the definition of probability in terms of equally possible cases appears for the first time. The division problem is used to establish and test probability theory; it can be stated as follows: if two players agree to play a game in which one has to win a certain number of (...) rounds in order to win the pool, but if they break the game off before either of them has won the required number of rounds, how should the pool be distributed?Our article has two aims: it provides the readers with the first published English translation of De incerti aestimatione, and it also gives them a brief commentary that explains Leibniz’s philosophical and mathematical concepts necessary in order to understand this work. The translation is as literal as possible throughout; it shows how Leibniz struggled at times to find a solution to the division problem and how he approached it from different angles. The commentary discusses Leibniz’s views on four key concepts: fairness, hope, authority and possibility. The commentary then outlines how Leibniz attempted to solve the problem of division. (shrink)

Leibniz’s De incerti aestimatione, which contains his solution to the division problem, has not received much attention, let alone much appreciation. This is surprising because it is in this work that the definition of probability in terms of equally possible cases appears for the first time. The division problem is used to establish and test probability theory; it can be stated as follows: if two players agree to play a game in which one has to win a certain number of (...) rounds in order to win the pool, but if they break the game off before either of them has won the required number of rounds, how should the pool be distributed?Our article has two aims: it provides the readers with the first published English translation of De incerti aestimatione, and it also gives them a brief commentary that explains Leibniz’s philosophical and mathematical concepts necessary in order to understand this work. The translation is as literal as possible throughout; it shows how Leibniz struggled at times to find a solution to the division problem and how he approached it from different angles. The commentary discusses Leibniz’s views on four key concepts: fairness, hope, authority and possibility. The commentary then outlines how Leibniz attempted to solve the problem of division. (shrink)

This book constitutes the refereed proceedings of the 10th International Conference on Inductive Logic Programming, ILP 2000, held in London, UK in July 2000 as past of CL 2000. The 15 revised full papers presented together with an invited paper were carefully reviewed and selected from 37 submissions. The papers address all current issues in inductive logic programming and inductive learning, from foundational aspects to applications in various fields like data mining, knowledge discovery, and ILP system design.

We examine the vexed question of connections between logical and probabilistic reasoning. The reason for making such a connection are examined. We give an account of recent work which uses loglinear models to make the connection. We conclude with an analysis of various existing approaches combining logic and probability.

The central thesis of this book is that the argument that probability is insufficient to handle uncertainty in artificial intelligence (AI) is metaphysical in nature. Piscopo calls this argument against probability the non-adequacy claim and provides this summary of it [which first appeared in (Piscopo and Birattari 2008)]:Probability theory is not suitable to handle uncertainty in AI because it has been developed to deal with intrinsically stochastic phenomena, while in AI, uncertainty has an epistemic nature. (Piscopo (3))Piscopo uses the term (...) “metaphysical” in the Popperian sense: the non-adequacy claim is metaphysical (rather than scientific) since it cannot be disproved (much less established) by observation or experiment.In Chapter 2, Piscopo recounts some of the relevant history and issues in philosophy of science. There is little that is controversial here. One problem is that when addressing the question of how a particular probabilistic model is tested, Piscopo limits herself .. (shrink)

Leibniz’s De incerti aestimatione, which contains his solution to the division problem, has not received much attention, let alone much appreciation. This is surprising because it is in this work that the definition of probability in terms of equally possible cases appears for the first time. The division problem is used to establish and test probability theory; it can be stated as follows: if two players agree to play a game in which one has to win a certain number of (...) rounds in order to win the pool, but if they break the game off before either of them has won the required number of rounds, how should the pool be distributed?Our article has two aims: it provides the readers with the first published English translation of De incerti aestimatione, and it also gives them a brief commentary that explains Leibniz’s philosophical and mathematical concepts necessary in order to understand this work. The translation is as literal as possible throughout; it shows how Leibniz struggled at times to find a solution to the division problem and how he approached it from different angles. The commentary discusses Leibniz’s views on four key concepts: fairness, hope, authority and possibility. The commentary then outlines how Leibniz attempted to solve the problem of division. (shrink)

The two-volume set LNCS 1842/1843 constitutes the refereed proceedings of the 6th European Conference on Computer Vision, ECCV 2000, held in Dublin, Ireland in June/July 2000. The 116 revised full papers presented were carefully selected from a total of 266 submissions. The two volumes offer topical sections on recognitions and modelling; stereoscopic vision; texture and shading; shape; structure from motion; image features; active, real-time, and robot vision; segmentation and grouping; vision systems engineering and evaluation; calibration; medical image understanding; and visual (...) motion. (shrink)