{"title":"玻尔兹曼神经网络中的超经典逻辑建模:III自适应","authors":"Glenn Blanchette, Anthony Robins","doi":"10.1093/logcom/exad052","DOIUrl":null,"url":null,"abstract":"Abstract The field of belief revision in logic is still in evolution and holds a variety of disparate approaches; a consequence of theoretical conjecture. As a probabilistic model of supra-classical, non-monotonic (SCNM) logic, the Boltzmann machine, offers an experimental gateway into the field. How does the Boltzmann network adapt to new information? Catastrophic forgetting is the default response to retraining in any neural network. We have moderated this irrational non-monotonicity by alterations in the Boltzmann learning algorithm. The spectrum of experimental belief change is limited by the availability of ‘new’ information, a pragmatic realization co-related to the property of Rational Monotonicity in the domain of SCNM logic. Recognizing this upper boundary of defeasible belief simplifies the task of experimentally exploring machine adaptation. A minority of belief revisions involve new, but unsurprising information, that is at least partially consistent with the previous learned beliefs. In these circumstances, the Boltzmann network incrementally adjusts the priority of model state exemplars in accordance with preference; the traditional approach in SCNM logic. However, in the majority of situations the new information will be surprisingly inconsistent with the previous beliefs. In these circumstances, the pre-order on model states stratified by preference, will not have sufficient granularity to represent the conflicting requirements of ranking based on compositional atomic typicality. This novel experimental finding has not previously been considered in the logical conjecture on Belief Revision.","PeriodicalId":50162,"journal":{"name":"Journal of Logic and Computation","volume":"5 1","pages":"0"},"PeriodicalIF":0.7000,"publicationDate":"2023-08-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Modelling supra-classical logic in a Boltzmann neural network: III adaptation\",\"authors\":\"Glenn Blanchette, Anthony Robins\",\"doi\":\"10.1093/logcom/exad052\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Abstract The field of belief revision in logic is still in evolution and holds a variety of disparate approaches; a consequence of theoretical conjecture. As a probabilistic model of supra-classical, non-monotonic (SCNM) logic, the Boltzmann machine, offers an experimental gateway into the field. How does the Boltzmann network adapt to new information? Catastrophic forgetting is the default response to retraining in any neural network. We have moderated this irrational non-monotonicity by alterations in the Boltzmann learning algorithm. The spectrum of experimental belief change is limited by the availability of ‘new’ information, a pragmatic realization co-related to the property of Rational Monotonicity in the domain of SCNM logic. Recognizing this upper boundary of defeasible belief simplifies the task of experimentally exploring machine adaptation. A minority of belief revisions involve new, but unsurprising information, that is at least partially consistent with the previous learned beliefs. In these circumstances, the Boltzmann network incrementally adjusts the priority of model state exemplars in accordance with preference; the traditional approach in SCNM logic. However, in the majority of situations the new information will be surprisingly inconsistent with the previous beliefs. In these circumstances, the pre-order on model states stratified by preference, will not have sufficient granularity to represent the conflicting requirements of ranking based on compositional atomic typicality. This novel experimental finding has not previously been considered in the logical conjecture on Belief Revision.\",\"PeriodicalId\":50162,\"journal\":{\"name\":\"Journal of Logic and Computation\",\"volume\":\"5 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.7000,\"publicationDate\":\"2023-08-31\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Logic and Computation\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1093/logcom/exad052\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"COMPUTER SCIENCE, THEORY & METHODS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Logic and Computation","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1093/logcom/exad052","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}
Modelling supra-classical logic in a Boltzmann neural network: III adaptation
Abstract The field of belief revision in logic is still in evolution and holds a variety of disparate approaches; a consequence of theoretical conjecture. As a probabilistic model of supra-classical, non-monotonic (SCNM) logic, the Boltzmann machine, offers an experimental gateway into the field. How does the Boltzmann network adapt to new information? Catastrophic forgetting is the default response to retraining in any neural network. We have moderated this irrational non-monotonicity by alterations in the Boltzmann learning algorithm. The spectrum of experimental belief change is limited by the availability of ‘new’ information, a pragmatic realization co-related to the property of Rational Monotonicity in the domain of SCNM logic. Recognizing this upper boundary of defeasible belief simplifies the task of experimentally exploring machine adaptation. A minority of belief revisions involve new, but unsurprising information, that is at least partially consistent with the previous learned beliefs. In these circumstances, the Boltzmann network incrementally adjusts the priority of model state exemplars in accordance with preference; the traditional approach in SCNM logic. However, in the majority of situations the new information will be surprisingly inconsistent with the previous beliefs. In these circumstances, the pre-order on model states stratified by preference, will not have sufficient granularity to represent the conflicting requirements of ranking based on compositional atomic typicality. This novel experimental finding has not previously been considered in the logical conjecture on Belief Revision.
期刊介绍:
Logic has found application in virtually all aspects of Information Technology, from software engineering and hardware to programming and artificial intelligence. Indeed, logic, artificial intelligence and theoretical computing are influencing each other to the extent that a new interdisciplinary area of Logic and Computation is emerging.
The Journal of Logic and Computation aims to promote the growth of logic and computing, including, among others, the following areas of interest: Logical Systems, such as classical and non-classical logic, constructive logic, categorical logic, modal logic, type theory, feasible maths.... Logical issues in logic programming, knowledge-based systems and automated reasoning; logical issues in knowledge representation, such as non-monotonic reasoning and systems of knowledge and belief; logics and semantics of programming; specification and verification of programs and systems; applications of logic in hardware and VLSI, natural language, concurrent computation, planning, and databases. The bulk of the content is technical scientific papers, although letters, reviews, and discussions, as well as relevant conference reviews, are included.