Matches in SemOpenAlex for { <https://semopenalex.org/work/W3044331877> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W3044331877 endingPage "351" @default.
- W3044331877 startingPage "341" @default.
- W3044331877 abstract "This paper argues the possibility of designing AI that can learn logics from data. We provide an abstract framework for learning logics. In this framework, an agent $$mathcal{A}$$A provides training examples that consist of formulas S and their logical consequences T. Then a machine $$mathcal{M}$$M builds an axiomatic system that underlies between S and T. Alternatively, in the absence of an agent $$mathcal{A}$$A, the machine $$mathcal{M}$$M seeks an unknown logic underlying given data. We next provide two cases of learning logics: the first case considers learning deductive inference rules in propositional logic, and the second case considers learning transition rules in cellular automata. Each case study uses machine learning techniques together with metalogic programming." @default.
- W3044331877 created "2020-07-29" @default.
- W3044331877 creator A5072948790 @default.
- W3044331877 creator A5080458729 @default.
- W3044331877 date "2015-01-01" @default.
- W3044331877 modified "2023-10-07" @default.
- W3044331877 title "Can machines learn logics" @default.
- W3044331877 hasPublicationYear "2015" @default.
- W3044331877 type Work @default.
- W3044331877 sameAs 3044331877 @default.
- W3044331877 citedByCount "0" @default.
- W3044331877 crossrefType "journal-article" @default.
- W3044331877 hasAuthorship W3044331877A5072948790 @default.
- W3044331877 hasAuthorship W3044331877A5080458729 @default.
- W3044331877 hasConcept C102993220 @default.
- W3044331877 hasConcept C134752490 @default.
- W3044331877 hasConcept C154945302 @default.
- W3044331877 hasConcept C159032336 @default.
- W3044331877 hasConcept C167729594 @default.
- W3044331877 hasConcept C199360897 @default.
- W3044331877 hasConcept C2524010 @default.
- W3044331877 hasConcept C2776214188 @default.
- W3044331877 hasConcept C2779382394 @default.
- W3044331877 hasConcept C33923547 @default.
- W3044331877 hasConcept C3746660 @default.
- W3044331877 hasConcept C41008148 @default.
- W3044331877 hasConcept C42011625 @default.
- W3044331877 hasConcept C5263885 @default.
- W3044331877 hasConcept C58166 @default.
- W3044331877 hasConcept C69562738 @default.
- W3044331877 hasConcept C74992188 @default.
- W3044331877 hasConcept C80444323 @default.
- W3044331877 hasConcept C86602344 @default.
- W3044331877 hasConceptScore W3044331877C102993220 @default.
- W3044331877 hasConceptScore W3044331877C134752490 @default.
- W3044331877 hasConceptScore W3044331877C154945302 @default.
- W3044331877 hasConceptScore W3044331877C159032336 @default.
- W3044331877 hasConceptScore W3044331877C167729594 @default.
- W3044331877 hasConceptScore W3044331877C199360897 @default.
- W3044331877 hasConceptScore W3044331877C2524010 @default.
- W3044331877 hasConceptScore W3044331877C2776214188 @default.
- W3044331877 hasConceptScore W3044331877C2779382394 @default.
- W3044331877 hasConceptScore W3044331877C33923547 @default.
- W3044331877 hasConceptScore W3044331877C3746660 @default.
- W3044331877 hasConceptScore W3044331877C41008148 @default.
- W3044331877 hasConceptScore W3044331877C42011625 @default.
- W3044331877 hasConceptScore W3044331877C5263885 @default.
- W3044331877 hasConceptScore W3044331877C58166 @default.
- W3044331877 hasConceptScore W3044331877C69562738 @default.
- W3044331877 hasConceptScore W3044331877C74992188 @default.
- W3044331877 hasConceptScore W3044331877C80444323 @default.
- W3044331877 hasConceptScore W3044331877C86602344 @default.
- W3044331877 hasLocation W30443318771 @default.
- W3044331877 hasOpenAccess W3044331877 @default.
- W3044331877 hasPrimaryLocation W30443318771 @default.
- W3044331877 hasRelatedWork W1504312282 @default.
- W3044331877 hasRelatedWork W1990218893 @default.
- W3044331877 hasRelatedWork W2140141795 @default.
- W3044331877 hasRelatedWork W2749874987 @default.
- W3044331877 hasRelatedWork W2944235870 @default.
- W3044331877 hasRelatedWork W2996400815 @default.
- W3044331877 hasRelatedWork W3034865429 @default.
- W3044331877 hasRelatedWork W3040817214 @default.
- W3044331877 hasRelatedWork W3040954557 @default.
- W3044331877 hasRelatedWork W3041061544 @default.
- W3044331877 hasRelatedWork W3042751299 @default.
- W3044331877 hasRelatedWork W3088446301 @default.
- W3044331877 hasRelatedWork W3103484734 @default.
- W3044331877 hasRelatedWork W3151475194 @default.
- W3044331877 hasRelatedWork W3160772995 @default.
- W3044331877 hasRelatedWork W3160813483 @default.
- W3044331877 hasRelatedWork W3161748533 @default.
- W3044331877 hasRelatedWork W3163829518 @default.
- W3044331877 hasRelatedWork W3189025476 @default.
- W3044331877 hasRelatedWork W364886551 @default.
- W3044331877 hasVolume "9205" @default.
- W3044331877 isParatext "false" @default.
- W3044331877 isRetracted "false" @default.
- W3044331877 magId "3044331877" @default.
- W3044331877 workType "article" @default.