Matches in SemOpenAlex for { <https://semopenalex.org/work/W39784927> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W39784927 abstract "A program called is described which carries on simple mathematics research, defining and studying new concepts under the guidance of a large body of heuristic rules. The 250 heuristics communicate via an agenda mechanism, a global priority queue of small tasks for the program to perform, and reasons why each task is plausible (for example, Find generalizations of 'primes', because 'primes' turned out to be so useful a concept). Each concept is represented as an active, structured knowledge module. One hundred very incomplete modules are initially supplied, each one corresponding to an elementary set-theoretic concept (for example, union). This provides a definite but immense space which AM begins to explore. In one hour, AM rediscovers hundreds of common concepts (including singleton sets, natural numbers, arithmetic) and theorems (for example, unique factorization). As AM defines concepts, and fills in their facets, it does not synthesize new heuristics for dealing effectively with those new concepts. This inability turns out to be its main limitation." @default.
- W39784927 created "2016-06-24" @default.
- W39784927 creator A5004428046 @default.
- W39784927 date "2013-01-01" @default.
- W39784927 modified "2023-09-27" @default.
- W39784927 title "On Automated Scientific Theory Formation: A Case Study using the AM Program" @default.
- W39784927 cites W109897293 @default.
- W39784927 cites W1983113859 @default.
- W39784927 cites W1988651604 @default.
- W39784927 cites W1996158986 @default.
- W39784927 cites W2034902322 @default.
- W39784927 cites W2753533763 @default.
- W39784927 hasPublicationYear "2013" @default.
- W39784927 type Work @default.
- W39784927 sameAs 39784927 @default.
- W39784927 citedByCount "4" @default.
- W39784927 countsByYear W397849272013 @default.
- W39784927 countsByYear W397849272014 @default.
- W39784927 countsByYear W397849272016 @default.
- W39784927 countsByYear W397849272021 @default.
- W39784927 crossrefType "journal-article" @default.
- W39784927 hasAuthorship W39784927A5004428046 @default.
- W39784927 hasConcept C111472728 @default.
- W39784927 hasConcept C111919701 @default.
- W39784927 hasConcept C127705205 @default.
- W39784927 hasConcept C138885662 @default.
- W39784927 hasConcept C154945302 @default.
- W39784927 hasConcept C162324750 @default.
- W39784927 hasConcept C173801870 @default.
- W39784927 hasConcept C177264268 @default.
- W39784927 hasConcept C187736073 @default.
- W39784927 hasConcept C199360897 @default.
- W39784927 hasConcept C2780451532 @default.
- W39784927 hasConcept C2780586882 @default.
- W39784927 hasConcept C41008148 @default.
- W39784927 hasConcept C80444323 @default.
- W39784927 hasConceptScore W39784927C111472728 @default.
- W39784927 hasConceptScore W39784927C111919701 @default.
- W39784927 hasConceptScore W39784927C127705205 @default.
- W39784927 hasConceptScore W39784927C138885662 @default.
- W39784927 hasConceptScore W39784927C154945302 @default.
- W39784927 hasConceptScore W39784927C162324750 @default.
- W39784927 hasConceptScore W39784927C173801870 @default.
- W39784927 hasConceptScore W39784927C177264268 @default.
- W39784927 hasConceptScore W39784927C187736073 @default.
- W39784927 hasConceptScore W39784927C199360897 @default.
- W39784927 hasConceptScore W39784927C2780451532 @default.
- W39784927 hasConceptScore W39784927C2780586882 @default.
- W39784927 hasConceptScore W39784927C41008148 @default.
- W39784927 hasConceptScore W39784927C80444323 @default.
- W39784927 hasLocation W397849271 @default.
- W39784927 hasOpenAccess W39784927 @default.
- W39784927 hasPrimaryLocation W397849271 @default.
- W39784927 hasRelatedWork W133228513 @default.
- W39784927 hasRelatedWork W1567870392 @default.
- W39784927 hasRelatedWork W1619834435 @default.
- W39784927 hasRelatedWork W1968825401 @default.
- W39784927 hasRelatedWork W1985789469 @default.
- W39784927 hasRelatedWork W2033092010 @default.
- W39784927 hasRelatedWork W207233110 @default.
- W39784927 hasRelatedWork W2193662464 @default.
- W39784927 hasRelatedWork W2280805933 @default.
- W39784927 hasRelatedWork W2503340123 @default.
- W39784927 hasRelatedWork W2559580944 @default.
- W39784927 hasRelatedWork W2585125153 @default.
- W39784927 hasRelatedWork W2739744524 @default.
- W39784927 hasRelatedWork W2884357129 @default.
- W39784927 hasRelatedWork W2927006103 @default.
- W39784927 hasRelatedWork W2987465554 @default.
- W39784927 hasRelatedWork W3180884287 @default.
- W39784927 hasRelatedWork W64204442 @default.
- W39784927 hasRelatedWork W230702883 @default.
- W39784927 hasRelatedWork W292835261 @default.
- W39784927 isParatext "false" @default.
- W39784927 isRetracted "false" @default.
- W39784927 magId "39784927" @default.
- W39784927 workType "article" @default.