FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2094518006> ?p ?o ?g. }

• W2094518006 endingPage "42" @default.
• W2094518006 startingPage "11" @default.
• W2094518006 abstract "Abstract A logic is a mathematical model of knowledge used to study how we reason, how we describe the world, and how we infer the conclusions that determine our behavior. The logic presented here is natural. It has been experimentally observed, not designed. It represents knowledge as a causal set, includes a new type of inference based on the minimization of an action functional, and generates its own semantics, making it unnecessary to prescribe one. This logic is suitable for high-level reasoning with computer code, including tasks such as self-programming, objectoriented analysis, refactoring, systems integration, code reuse, and automated programming from sensor-acquired data. A strong theoretical foundation exists for the new logic. The inference derives laws of conservation from the permutation symmetry of the causal set, and calculates the corresponding conserved quantities. The association between symmetries and conservation laws is a fundamental and well-known law of nature and a general principle in modern theoretical Physics. The conserved quantities take the form of a nested hierarchy of invariant partitions of the given set. The logic associates elements of the set and binds them together to form the levels of the hierarchy. It is conjectured that the hierarchy corresponds to the invariant representations that the brain is known to generate. The hierarchies also represent fully object-oriented, self-generated code, that can be directly compiled and executed (when a compiler becomes available), or translated to a suitable programming language. The approach is constructivist because all entities are constructed bottom-up, with the fundamental principles of nature being at the bottom, and their existence is proved by construction. The new logic is mathematically introduced and later discussed in the context of transformations of algorithms and computer programs. We discuss what a full self-programming capability would really mean. We argue that self-programming and the fundamental question about the origin of algorithms are inextricably linked. We discuss previously published, fully automated applications to self-programming, and present a virtual machine that supports the logic, an algorithm that allows for the virtual machine to be simulated on a digital computer, and a fully explained neural network implementation of the algorithm." @default.
• W2094518006 created "2016-06-24" @default.
• W2094518006 creator A5029241958 @default.
• W2094518006 date "2013-01-04" @default.
• W2094518006 modified "2023-09-27" @default.
• W2094518006 title "Reasoning with Computer Code: a new Mathematical Logic" @default.
• W2094518006 cites W1487664366 @default.
• W2094518006 cites W1670414829 @default.
• W2094518006 cites W175905831 @default.
• W2094518006 cites W1987202085 @default.
• W2094518006 cites W2004677728 @default.
• W2094518006 cites W2048282940 @default.
• W2094518006 cites W2060443071 @default.
• W2094518006 cites W2114514087 @default.
• W2094518006 cites W2148320506 @default.
• W2094518006 cites W2341514930 @default.
• W2094518006 cites W2618127389 @default.
• W2094518006 cites W398579329 @default.
• W2094518006 doi "https://doi.org/10.2478/v10229-011-0020-6" @default.
• W2094518006 hasPublicationYear "2013" @default.
• W2094518006 type Work @default.
• W2094518006 sameAs 2094518006 @default.
• W2094518006 citedByCount "5" @default.
• W2094518006 countsByYear W20945180062013 @default.
• W2094518006 countsByYear W20945180062014 @default.
• W2094518006 countsByYear W20945180062016 @default.
• W2094518006 crossrefType "journal-article" @default.
• W2094518006 hasAuthorship W2094518006A5029241958 @default.
• W2094518006 hasBestOaLocation W20945180061 @default.
• W2094518006 hasConcept C128838566 @default.
• W2094518006 hasConcept C199360897 @default.
• W2094518006 hasConcept C41008148 @default.
• W2094518006 hasConcept C80444323 @default.
• W2094518006 hasConceptScore W2094518006C128838566 @default.
• W2094518006 hasConceptScore W2094518006C199360897 @default.
• W2094518006 hasConceptScore W2094518006C41008148 @default.
• W2094518006 hasConceptScore W2094518006C80444323 @default.
• W2094518006 hasIssue "3" @default.
• W2094518006 hasLocation W20945180061 @default.
• W2094518006 hasOpenAccess W2094518006 @default.
• W2094518006 hasPrimaryLocation W20945180061 @default.
• W2094518006 hasRelatedWork W1548535723 @default.
• W2094518006 hasRelatedWork W1569472630 @default.
• W2094518006 hasRelatedWork W1966767581 @default.
• W2094518006 hasRelatedWork W2109507516 @default.
• W2094518006 hasRelatedWork W2112962394 @default.
• W2094518006 hasRelatedWork W2118300983 @default.
• W2094518006 hasRelatedWork W2166247150 @default.
• W2094518006 hasRelatedWork W2953307851 @default.
• W2094518006 hasRelatedWork W3137189469 @default.
• W2094518006 hasRelatedWork W4243252198 @default.
• W2094518006 hasVolume "3" @default.
• W2094518006 isParatext "false" @default.
• W2094518006 isRetracted "false" @default.
• W2094518006 magId "2094518006" @default.
• W2094518006 workType "article" @default.