6533b7cffe1ef96bd1258dff

RESEARCH PRODUCT

A Logic of Discovery

Janis BardzinsCarl SmithRusins Freivalds

subject

TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESTheoretical computer scienceComputer sciencebusiness.industrymedia_common.quotation_subjectArtificial intelligenceSpecial caseCertaintyMonad (functional programming)businessPredicate (grammar)Sentencemedia_common

description

A logic of discovery is introduced. In this logic, true sentences are discovered over time based on arriving data. A notion of expectation is introduced to reflect the growing certainty that a universally quantified sentence is true as more true instances are observed. The logic is shown to be consistent and complete. Monadic predicates are considered as a special case

yearjournalcountryeditionlanguage
1998-01-01
https://doi.org/10.1007/3-540-49292-5_41