Matches in SemOpenAlex for { <https://semopenalex.org/work/W3035393658> ?p ?o ?g. }
- W3035393658 abstract "The tension between deduction and induction is perhaps the most fundamental issue in areas such as philosophy, cognition and artificial intelligence (AI). The deduction camp concerns itself with questions about the expressiveness of formal languages for capturing knowledge about the world, together with proof systems for reasoning from such knowledge bases. The learning camp attempts to generalize from examples about partial descriptions about the world. In AI, historically, these camps have loosely divided the development of the field, but advances in cross-over areas such as statistical relational learning, neuro-symbolic systems, and high-level control have illustrated that the dichotomy is not very constructive, and perhaps even ill-formed. In this article, we survey work that provides further evidence for the connections between logic and learning. Our narrative is structured in terms of three strands: logic versus learning, machine learning for logic, and logic for machine learning, but naturally, there is considerable overlap. We place an emphasis on the following sore point: there is a common misconception that logic is for discrete properties, whereas probability theory and machine learning, more generally, is for continuous properties. We report on results that challenge this view on the limitations of logic, and expose the role that logic can play for learning in infinite domains." @default.
- W3035393658 created "2020-06-19" @default.
- W3035393658 creator A5002932153 @default.
- W3035393658 date "2020-06-15" @default.
- W3035393658 modified "2023-09-27" @default.
- W3035393658 title "Symbolic Logic meets Machine Learning: A Brief Survey in Infinite Domains" @default.
- W3035393658 cites W130404319 @default.
- W3035393658 cites W1495132700 @default.
- W3035393658 cites W1511986666 @default.
- W3035393658 cites W1512387364 @default.
- W3035393658 cites W1526328753 @default.
- W3035393658 cites W1528660673 @default.
- W3035393658 cites W1760941220 @default.
- W3035393658 cites W1889548941 @default.
- W3035393658 cites W1894658779 @default.
- W3035393658 cites W1909134809 @default.
- W3035393658 cites W19153916 @default.
- W3035393658 cites W1934765622 @default.
- W3035393658 cites W1973831620 @default.
- W3035393658 cites W1977970897 @default.
- W3035393658 cites W1987902506 @default.
- W3035393658 cites W2005863443 @default.
- W3035393658 cites W2038282474 @default.
- W3035393658 cites W2062818807 @default.
- W3035393658 cites W2070683816 @default.
- W3035393658 cites W2132312105 @default.
- W3035393658 cites W2142241599 @default.
- W3035393658 cites W2191830430 @default.
- W3035393658 cites W2217140526 @default.
- W3035393658 cites W2225666389 @default.
- W3035393658 cites W2243132409 @default.
- W3035393658 cites W2275841169 @default.
- W3035393658 cites W2292328972 @default.
- W3035393658 cites W2338322935 @default.
- W3035393658 cites W2555890010 @default.
- W3035393658 cites W2589583600 @default.
- W3035393658 cites W2604896086 @default.
- W3035393658 cites W2604988825 @default.
- W3035393658 cites W2734342344 @default.
- W3035393658 cites W2739178641 @default.
- W3035393658 cites W2740181639 @default.
- W3035393658 cites W2752099845 @default.
- W3035393658 cites W2773653261 @default.
- W3035393658 cites W2788951710 @default.
- W3035393658 cites W2808243688 @default.
- W3035393658 cites W2811454648 @default.
- W3035393658 cites W2876786669 @default.
- W3035393658 cites W2886424491 @default.
- W3035393658 cites W2888670856 @default.
- W3035393658 cites W2894881080 @default.
- W3035393658 cites W2908882439 @default.
- W3035393658 cites W2913261402 @default.
- W3035393658 cites W2914851020 @default.
- W3035393658 cites W2922147570 @default.
- W3035393658 cites W2937129136 @default.
- W3035393658 cites W2946752867 @default.
- W3035393658 cites W2947795716 @default.
- W3035393658 cites W2949084598 @default.
- W3035393658 cites W2962924847 @default.
- W3035393658 cites W3003954417 @default.
- W3035393658 cites W3008237640 @default.
- W3035393658 cites W3026670957 @default.
- W3035393658 cites W3084206209 @default.
- W3035393658 cites W3091367373 @default.
- W3035393658 cites W5450866 @default.
- W3035393658 cites W73939759 @default.
- W3035393658 cites W790941020 @default.
- W3035393658 cites W811924890 @default.
- W3035393658 hasPublicationYear "2020" @default.
- W3035393658 type Work @default.
- W3035393658 sameAs 3035393658 @default.
- W3035393658 citedByCount "4" @default.
- W3035393658 countsByYear W30353936582020 @default.
- W3035393658 countsByYear W30353936582021 @default.
- W3035393658 crossrefType "posted-content" @default.
- W3035393658 hasAuthorship W3035393658A5002932153 @default.
- W3035393658 hasConcept C101874905 @default.
- W3035393658 hasConcept C102993220 @default.
- W3035393658 hasConcept C121332964 @default.
- W3035393658 hasConcept C124047733 @default.
- W3035393658 hasConcept C154945302 @default.
- W3035393658 hasConcept C15744967 @default.
- W3035393658 hasConcept C165801399 @default.
- W3035393658 hasConcept C172385210 @default.
- W3035393658 hasConcept C177877439 @default.
- W3035393658 hasConcept C188147891 @default.
- W3035393658 hasConcept C199360897 @default.
- W3035393658 hasConcept C2777796570 @default.
- W3035393658 hasConcept C41008148 @default.
- W3035393658 hasConcept C5655090 @default.
- W3035393658 hasConcept C62520636 @default.
- W3035393658 hasConcept C77088390 @default.
- W3035393658 hasConceptScore W3035393658C101874905 @default.
- W3035393658 hasConceptScore W3035393658C102993220 @default.
- W3035393658 hasConceptScore W3035393658C121332964 @default.
- W3035393658 hasConceptScore W3035393658C124047733 @default.
- W3035393658 hasConceptScore W3035393658C154945302 @default.
- W3035393658 hasConceptScore W3035393658C15744967 @default.
- W3035393658 hasConceptScore W3035393658C165801399 @default.
- W3035393658 hasConceptScore W3035393658C172385210 @default.