The logic of reliable and efficient inquiry (Q1303795): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Comparison of identification criteria for machine inductive inference / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the role of procrastination in machine learning / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3107917 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Language identification in the limit / rank
 
Normal rank
Property / cites work
 
Property / cites work: Elementary formal systems, intrinsic complexity, and procrastination / rank
 
Normal rank
Property / cites work
 
Property / cites work: Objectively reliable subjective probabilities / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4223173 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mechanical learners pay a price for Bayesianism / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4903274 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Trial and error predicates and the solution to a problem of Mostowski / rank
 
Normal rank
Property / cites work
 
Property / cites work: Means-Ends Epistemology / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generalized notions of mind change complexity / rank
 
Normal rank

Latest revision as of 22:39, 28 May 2024

scientific article
Language Label Description Also known as
English
The logic of reliable and efficient inquiry
scientific article

    Statements

    The logic of reliable and efficient inquiry (English)
    0 references
    0 references
    27 September 2000
    0 references
    The author defends a learning theory approach to induction. He explores the consequences of three desiderata: An inductive method is \textit{reliable}, if it converges to the truth at some time \(n\). An inductive method is \textit{data minimal}, if there is no method that converges to the truth faster. An inductive method \textit{minimaxes retractions} if there is no other reliable method that needs a smaller number of mind changes on every datastream to converge to the truth. These are interesting notions, and they bear interesting relations to each other and to the topology of the hypothesis space. The basic ideas, definitions, and theorems are illustrated with reference to various complicated versions of Goodman's Riddle: Why should we prefer to say that all emeralds are \(green\), rather than that they are \(grue\), where \(grue\) is the property of being green until a fixed date \(d\), and blue thereafter. The author concludes (p. 426) that there is only one efficient inference rule for the infinitary version of Goodman's Riddle, and it is the natural rule: project that `all emeralds are green'. Gratifying as this may seem, it results from the structure of the hypothesis space. The author fails to take account of the importance of the \textit{fixed} date \(d\). The hypotheses in the infinitary case are to be expressed (in terms of the \(grue-bleen\) language) as \(Green(t)\): Emeralds examined before \(t\) are grue, but emeralds examined after \(t\) are bleen. Of course the uniquely efficient inference rule is to project the natural hypothesis, that `all emeralds are grue', as long as all observed emeralds \textit{are} grue. There is still, as Goodman observed, perfect symmetry.
    0 references
    0 references
    complex relations
    0 references
    complex predicates
    0 references
    semantics
    0 references
    learning theory approach to induction
    0 references
    hypothesis space
    0 references
    Goodman's riddle
    0 references