{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,24]],"date-time":"2024-10-24T04:25:31Z","timestamp":1729743931345,"version":"3.28.0"},"reference-count":80,"publisher":"Oxford University Press (OUP)","issue":"7","license":[{"start":{"date-parts":[[2023,8,31]],"date-time":"2023-08-31T00:00:00Z","timestamp":1693440000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/pages\/standard-publication-reuse-rights"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,10,23]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>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?<\/jats:p>\n               <jats:p>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 \u2018new\u2019 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.<\/jats:p>\n               <jats:p>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.<\/jats:p>","DOI":"10.1093\/logcom\/exad052","type":"journal-article","created":{"date-parts":[[2023,9,1]],"date-time":"2023-09-01T01:18:40Z","timestamp":1693531120000},"page":"1305-1346","source":"Crossref","is-referenced-by-count":0,"title":["Modelling supra-classical logic in a Boltzmann neural network: III adaptation"],"prefix":"10.1093","volume":"34","author":[{"given":"Glenn","family":"Blanchette","sequence":"first","affiliation":[{"name":"Computer Science Department, Otago University , New Zealand"}]},{"given":"Anthony","family":"Robins","sequence":"additional","affiliation":[{"name":"Computer Science Department, Otago University , New Zealand"}]}],"member":"286","published-online":{"date-parts":[[2023,8,31]]},"reference":[{"key":"2024102321261552400_ref1","article-title":"Inter-science Series in Mathematics and Optimization","volume-title":"Simulated Annealing and Boltzmann Machines","author":"Aarts","year":"1990"},{"key":"2024102321261552400_ref2","first-page":"91","article-title":"Local search in combinatorial optimization","volume-title":"Simulated Annealing","author":"Aarts","year":"1997"},{"key":"2024102321261552400_ref3","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1080\/00201746508601430","article-title":"The logic of conditionals","volume":"8","author":"Adams","year":"1965","journal-title":"Inquiry"},{"key":"2024102321261552400_ref4","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","article-title":"On the logic of theory change: partial meet contraction and revision functions","volume":"50","author":"Alchourron","year":"1985","journal-title":"Journal of Symbolic Logic"},{"key":"2024102321261552400_ref5","article-title":"Volume 19 of Workshops on Non-Monotonic Reasoning. N:M R","volume-title":"19th International Workshop on Non-Monotonic Reasoning","author":"Amgoud","year":"2021"},{"key":"2024102321261552400_ref6","first-page":"32","article-title":"Non-monotonic inferences in neural networks","volume-title":"Principles of Knowledge Representation and Reasoning","author":"Balkenius","year":"1991"},{"key":"2024102321261552400_ref7","first-page":"149","article-title":"19th International Workshop on Non-Monotonic Reasonng","volume-title":"Working Memory for Assessment Under Inconsistency","author":"Bisquert","year":"2021"},{"article-title":"Towards a representation of non-monotonic inference in an artificial neural network","year":"2015","author":"Blanchette","key":"2024102321261552400_ref8"},{"key":"2024102321261552400_ref9","article-title":"Modelling supra-classical logic in an artificial neural network, II: Incongruence","author":"Blanchette","year":"2022","journal-title":"J Logic Computation"},{"key":"2024102321261552400_ref10","doi-asserted-by":"crossref","first-page":"1758","DOI":"10.1093\/logcom\/exab054","article-title":"Modelling supra-classical logic in an artificial neural network, I: Representation","volume":"31","author":"Blanchette","year":"2020","journal-title":"J Logic Computation"},{"key":"2024102321261552400_ref11","first-page":"793","article-title":"A unifying semantics for belief change","volume-title":"European Conference of Artificial Intelligence, volume 16","author":"Booth","year":"2004"},{"key":"2024102321261552400_ref12","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/s10992-011-9172-8","article-title":"How to revise a total preorder","volume":"40","author":"Booth","year":"2011","journal-title":"Journal of Philosophical Logic"},{"key":"2024102321261552400_ref13","first-page":"230","article-title":"A bad day surfing is better than a good day working: How to revise a total preorder","volume":"10","author":"Booth","year":"2006","journal-title":"In International Conference on the Principles of Knowledge Representation and Reasoning"},{"key":"2024102321261552400_ref14","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/BF00248151","article-title":"Iterated revision and minimal change of conditional beliefs","volume":"25","author":"Boutilier","year":"1996","journal-title":"Journal of Philosophical Logic"},{"key":"2024102321261552400_ref15","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1111\/j.1755-2567.1997.tb00740.x","article-title":"On the logic of small changes in hypertheories","volume":"63","author":"Cantwell","year":"1997","journal-title":"Theoria"},{"key":"2024102321261552400_ref16","first-page":"541","article-title":"Iterated revision and the axiom of recovery: a unified treatment via epistemic states","volume-title":"European Conference of Artificial Intelligence, volume 15","author":"Chopra","year":"2002"},{"key":"2024102321261552400_ref17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0004-3702(96)00038-0","article-title":"On the logic of iterated belief revision","volume":"89","author":"Darwiche","year":"1997","journal-title":"Artificial Intelligence"},{"key":"2024102321261552400_ref18","article-title":"Neural-symbolic cognitive reasoning","volume-title":"Cognitive Technologies","author":"d\u2019Avila Garcez","year":"2009"},{"key":"2024102321261552400_ref19","article-title":"Incorporating relevance in epistemic states in belief revision","volume-title":"International Conference on the Principles of Knowledge Respresentation and Reasoning","author":"Delgrande","year":"2018"},{"key":"2024102321261552400_ref20","doi-asserted-by":"crossref","first-page":"358","DOI":"10.1016\/j.cognition.2008.11.013","article-title":"Connectionist semantic systemicity","volume":"110","author":"Frank","year":"2009","journal-title":"Cognition"},{"key":"2024102321261552400_ref21","first-page":"75","article-title":"Representing concepts in artificial systems: a clash of requirements","volume":"4","author":"Frixione","year":"2011","journal-title":"CEUR Proceedings 4th HCP Workshop Human Processes"},{"key":"2024102321261552400_ref22","first-page":"257","article-title":"Towards an extended model of conceptual representations in formal ontologies: a typicality-based proposal","volume":"20","author":"Frixione","year":"2014","journal-title":"Journal of Universal Computer Science"},{"article-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","year":"1994","author":"Gabbay","key":"2024102321261552400_ref23"},{"key":"2024102321261552400_ref24","first-page":"83","article-title":"Revisions of knowledge systems using epistemic entrenchment","volume-title":"Theoretical Aspects of Reasoning about Knowledge","author":"G\u00e4rdenfors","year":"1988"},{"key":"2024102321261552400_ref25","doi-asserted-by":"crossref","first-page":"721","DOI":"10.1109\/TPAMI.1984.4767596","article-title":"Stochastic relaxation, gibbs distributions and the Bayesian restoration of images","volume":"PAMI-6","author":"Geman","year":"1984","journal-title":"IEEE Transactions on Pattern Analysis and Machine Intelligence"},{"key":"2024102321261552400_ref26","first-page":"203","article-title":"19th International Workshop on Non-Monotonic Reasonng","volume-title":"From Common Sense Reasoning to Neural Network Models Through Multiple Preferences: An Overview","author":"Giordano","year":"2021"},{"key":"2024102321261552400_ref27","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s11229-015-0740-2","article-title":"Paraconsistent logics","volume":"193","author":"Girard","year":"2016","journal-title":"Synthese"},{"key":"2024102321261552400_ref28","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF00247909","article-title":"Two modelings for theory change","volume":"17","author":"Grove","year":"1988","journal-title":"Journal of Philosophical Logic"},{"key":"2024102321261552400_ref29","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/BF00370186","article-title":"Belief contraction without recovery","volume":"50","author":"Hansson","year":"1991","journal-title":"Studia Logica"},{"key":"2024102321261552400_ref30","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/BF01181682","article-title":"Changes of disjunctively closed bases","volume":"2","author":"Hansson","year":"1993","journal-title":"Journal of Logic, Language and Information"},{"key":"2024102321261552400_ref31","article-title":"Logic of belief revision","author":"Hansson","year":"2011","journal-title":"Stanford Encyclopedia of Philosophy"},{"key":"2024102321261552400_ref32","first-page":"41","article-title":"19th International Workshop on Non-Monotonic Reasonng","author":"Haret","year":"2021"},{"key":"2024102321261552400_ref33","first-page":"21","article-title":"19th International Workshop on Non-Monotonic Reasonng","author":"Haret","year":"2021"},{"volume-title":"Neural Networks and Learning Machines","year":"2008","author":"Haykin","key":"2024102321261552400_ref34"},{"volume-title":"The Organisation of Behaviour","year":"1949","author":"Hebb","key":"2024102321261552400_ref35"},{"key":"2024102321261552400_ref36","first-page":"194","volume-title":"Culture in Retrospect: cKnowledge and Belief: The Agent-Oriented View","author":"Heidema","year":"2001"},{"article-title":"Boltzmann machines: constraint satisfaction networks that learn","year":"1984","author":"Hinton","key":"2024102321261552400_ref37"},{"key":"2024102321261552400_ref38","first-page":"147","article-title":"A learning algorithm for boltzmann machines","volume":"9","author":"Hinton","year":"1985","journal-title":"Cognitive Science"},{"key":"2024102321261552400_ref39","doi-asserted-by":"crossref","first-page":"2554","DOI":"10.1073\/pnas.79.8.2554","article-title":"Neural networks and physical systems with emergent collective computational abilities","volume":"79","author":"Hopfield","year":"1982","journal-title":"Proceedings Natural Academy of Science"},{"key":"2024102321261552400_ref40","article-title":"Defeasible reasoning","author":"Koons","year":"2014","journal-title":"Stanford Encyclopedia of Philosophy"},{"key":"2024102321261552400_ref41","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","article-title":"Non-monotonic reasoning, preferential models and cumulative logics","volume":"44","author":"Kraus","year":"1990","journal-title":"Artificial Intelligence"},{"key":"2024102321261552400_ref42","first-page":"326","article-title":"Supra-classical consequence relations: tolerating rare counter-examples","author":"Labuschagne","year":"2013","journal-title":"Advances in AI in Springer LNAI"},{"key":"2024102321261552400_ref43","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(92)90041-U","article-title":"What does a conditional knowledge base entail?","volume":"55","author":"Lehmann","year":"1992","journal-title":"Artificial Intelligence"},{"key":"2024102321261552400_ref44","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1007\/BF00485649","article-title":"Subjunctives, dispositions and chances","volume":"34","author":"Levi","year":"1977","journal-title":"Synthese"},{"key":"2024102321261552400_ref45","first-page":"31","article-title":"19th International Workshop on Non-Monotonic Reasonng","volume-title":"Using Conditional Independence for Belief Revision","author":"Lynn","year":"2021"},{"key":"2024102321261552400_ref46","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1093\/jigpal\/11.1.69","article-title":"Bridges between classical and nonmonotonic logic","volume":"11","author":"Makinson","year":"2003","journal-title":"Journal of the IGPL"},{"volume-title":"Bridges from Classical to Nonmonotonic Logic","year":"2005","author":"Makinson","key":"2024102321261552400_ref47"},{"key":"2024102321261552400_ref48","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","article-title":"Circumscription - a form of non-monotonic reasoning","volume":"13","author":"McCarthy","year":"1980","journal-title":"Artificial Intelligence"},{"key":"2024102321261552400_ref49","first-page":"109","article-title":"Volume 23, chapter Catastrophic Interference in Connectionist Networks: The Sequential Learning Problem","volume-title":"The Psychology of Learning and Motivation","author":"McCloskey","year":"1989"},{"key":"2024102321261552400_ref50","doi-asserted-by":"crossref","first-page":"1087","DOI":"10.1063\/1.1699114","article-title":"Equation of state calculations by fast computing machines","volume":"21","author":"Metropolis","year":"1953","journal-title":"Journal of Chemical Physics"},{"key":"2024102321261552400_ref51","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1023\/A:1008316802976","article-title":"Refined epistemic entrenchment","volume":"9","author":"Meyer","year":"2000","journal-title":"Journal of Logic, Language and Information"},{"article-title":"Progress report on artificial intelligence","year":"1971","author":"Minsky","key":"2024102321261552400_ref52"},{"key":"2024102321261552400_ref53","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1007\/BF01049408","article-title":"Foundational belief change","volume":"23","author":"Nayak","year":"1994","journal-title":"Journal of Philosophical Logic"},{"key":"2024102321261552400_ref54","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/S0004-3702(03)00017-1","article-title":"Dynamic belief revision operators","volume":"146","author":"Nayak","year":"2003","journal-title":"Artificial Intelligence"},{"article-title":"An introduction to causal inference","year":"2015","author":"Pearl","key":"2024102321261552400_ref55"},{"article-title":"Probabilistic semantics for a subset of default reasoning","year":"1988","author":"Pearl","key":"2024102321261552400_ref56"},{"key":"2024102321261552400_ref57","first-page":"317","article-title":"Handbook of Knowledge Representation","volume-title":"8 Belief Revision","author":"Peppas","year":"2008"},{"key":"2024102321261552400_ref58","first-page":"203","article-title":"Neural networks for knowledge representation and inference","volume-title":"Propositional Logic, Non-Monotonic Reasoning and Symmetric Networks - on Bridging the Gap between Symbolic and Connectionist Knowledge Representation","author":"Pinkas","year":"1994"},{"key":"2024102321261552400_ref59","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/0004-3702(94)00032-V","article-title":"Reasoning, non-monotonicity and learning in connectionist networks that capture propositional knowledge","volume":"77","author":"Pinkas","year":"1995","journal-title":"Artificial Intelligence"},{"key":"2024102321261552400_ref60","article-title":"Paraconsistent logic","author":"Priest","year":"2016","journal-title":"Stanford Encyclopedia of Philosophy"},{"key":"2024102321261552400_ref61","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1037\/0033-295X.97.2.285","article-title":"Connectionist models of recognition memory: constraints imposed by learning and forgetting functions","volume":"97","author":"Ratcliff","year":"1990","journal-title":"Psychological Review"},{"key":"2024102321261552400_ref62","first-page":"1","article-title":"19th International Workshop on Non-Monotonic Reasoning","volume-title":"Multiple Selective Revision","author":"Resina","year":"2021"},{"key":"2024102321261552400_ref63","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1080\/09540099550039318","article-title":"Catastrophic forgetting, rehearsal and pseudo-rehearsal","volume":"7","author":"Robins","year":"1995","journal-title":"Connection Science: Journal of Neural Computing, Artificial Intelligence and Cognitive Research"},{"key":"2024102321261552400_ref64","doi-asserted-by":"crossref","first-page":"1426","DOI":"10.2307\/2275152","article-title":"Belief contraction in the context of a general theory of rational choice","volume":"58","author":"Rott","year":"1993","journal-title":"Journal of Symbolic Logic"},{"article-title":"Bounded revision: Tow-dimensional belief change between conservatism and moderation","year":"2007","author":"Rott","key":"2024102321261552400_ref65"},{"key":"2024102321261552400_ref66","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/978-1-4020-9084-4_14","article-title":"Shifting priorities: simple representations for twenty-seven iterated theory change operators","volume-title":"Towards Mathematical Philosophy: Trends in Logic, volume 28","author":"Rott","year":"2009"},{"key":"2024102321261552400_ref67","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5236.001.0001","volume-title":"Parallel Distributed Processing","author":"Rumelhart","year":"1986"},{"key":"2024102321261552400_ref68","article-title":"Volume 2: Psychological and Biological Models","volume-title":"Parallel Distributed Processing: Explorations in the Microstructure of Cognition","author":"Rumelhart","year":"1986"},{"volume-title":"Artificial Intelligence: A Modern Approach","year":"2003","author":"Russell","key":"2024102321261552400_ref69"},{"key":"2024102321261552400_ref70","doi-asserted-by":"crossref","first-page":"791","DOI":"10.1007\/s10992-021-09650-4","article-title":"Taking up Thagard\u2019s challenge: a formal model of conceptual revision","volume":"51","author":"Bozdag","year":"2022","journal-title":"Journal of Philosophical Logic (online)"},{"key":"2024102321261552400_ref71","first-page":"1","article-title":"Iterated belief change, computationally","volume-title":"CS Artificial Inteligence","author":"Sauerwald","year":"2022"},{"key":"2024102321261552400_ref72","first-page":"250","article-title":"19th International Workshop on Non-Monotonic Reasoning","volume-title":"Certification of Iterated Belief Changes via Model Checking and its Implementation","author":"Sauerwald","year":"2021"},{"key":"2024102321261552400_ref73","first-page":"1","article-title":"On limited non-prioritized belief revision operators with dynamic scope","author":"Sauerwald","year":"2021","journal-title":"CS Artificial Inteligence"},{"key":"2024102321261552400_ref74","first-page":"227","article-title":"Readings in non-monotonic reasoning","volume-title":"A Semantical Approach to Non-Monotonic Logics","author":"Sholam","year":"1987"},{"key":"2024102321261552400_ref75","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/978-94-009-2865-7_6","article-title":"Ordinal conditional functions: a dynamic theory of epistemic states","volume-title":"Causation in Decision, Belief Change and Statistics, volume 11","author":"Spohn","year":"1988"},{"key":"2024102321261552400_ref76","article-title":"Ranking functions, agm style","volume-title":"50th Birthday for Peter G\u00e4rdenfors","author":"Spohn","year":"1999"},{"key":"2024102321261552400_ref77","first-page":"185","article-title":"Degrees of Belief","volume-title":"Volume 342 of Synthese Library, chapter A Survey of Ranking Functions","author":"Spohn","year":"2009"},{"key":"2024102321261552400_ref78","article-title":"Non-monotonic logic","author":"Strasser","year":"2016","journal-title":"Stanford Encyclopedia of Philosophy"},{"key":"2024102321261552400_ref79","first-page":"447","article-title":"A critical exposition of isaac Levi\u2019s epistemology","volume":"183","author":"Tamminga","year":"2003","journal-title":"Logique and Analyse"},{"key":"2024102321261552400_ref80","doi-asserted-by":"crossref","DOI":"10.1515\/9780691186672","volume-title":"Conceptual Revolutions","author":"Thagard","year":"1992"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/34\/7\/1305\/59997647\/exad052.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/34\/7\/1305\/59997647\/exad052.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T21:26:41Z","timestamp":1729718801000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/34\/7\/1305\/7256155"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,31]]},"references-count":80,"journal-issue":{"issue":"7","published-online":{"date-parts":[[2023,8,31]]},"published-print":{"date-parts":[[2024,10,23]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exad052","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"type":"print","value":"0955-792X"},{"type":"electronic","value":"1465-363X"}],"subject":[],"published-other":{"date-parts":[[2024,10]]},"published":{"date-parts":[[2023,8,31]]}}}