{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T00:13:48Z","timestamp":1725668028011},"reference-count":112,"publisher":"Oxford University Press (OUP)","issue":"7","license":[{"start":{"date-parts":[[2021,9,2]],"date-time":"2021-09-02T00:00:00Z","timestamp":1630540800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,10,22]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper looks at the representation of supra-classical, non-monotonic (SCNM) logic by an artificial neural network. It identifies the features of defeasiblity in this logic related to inference in the context of common-sense reasoning. It considers the machine characteristics that make a representation possible, with reference to previous literature. We describe a theoretical environment for investigating the representation and provide experimental evidence confirming that a Boltzmann machine is a suitable network representation. A Boltzmann machine can learn an input distribution corresponding to a preference relation and explicitly retrieve appropriate model states, constituting one-to-many mappings, entailed by the uncertain information contained in a premiss. The place of the Boltzmann machine in knowledge representation is discussed. In future papers, this neural network model of SCNM logic will serve as an experimental gateway for exploration of typicality and belief revision.<\/jats:p>","DOI":"10.1093\/logcom\/exab054","type":"journal-article","created":{"date-parts":[[2021,8,8]],"date-time":"2021-08-08T11:44:34Z","timestamp":1628423074000},"page":"1758-1799","source":"Crossref","is-referenced-by-count":2,"title":["Modelling supra-classical logic in a Boltzmann neural network: I representation"],"prefix":"10.1093","volume":"31","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"}]},{"given":"Willem","family":"Labuschagne","sequence":"additional","affiliation":[{"name":"Computer Science Department, Otago University, New Zealand"}]}],"member":"286","published-online":{"date-parts":[[2021,9,2]]},"reference":[{"key":"2021102214134860900_ref1","article-title":"Inter-science Series in Mathematics and Optimization","volume-title":"Simulated Annealing and Boltzmann Machines","author":"Aarts","year":"1990"},{"key":"2021102214134860900_ref2","first-page":"91","article-title":"Simulated annealing","volume-title":"Local Search in Combinatorial Optimization","author":"Aarts","year":"1997"},{"key":"2021102214134860900_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":"2021102214134860900_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":"2021102214134860900_ref5","article-title":"Central limit theorem (summary)","author":"Annis","year":"2014","journal-title":"Statistical Engineering"},{"volume-title":"Representing and Reasoning With Probabilistic Knowledge","year":"1988","author":"Bacchus","key":"2021102214134860900_ref6"},{"key":"2021102214134860900_ref7","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1111\/j.1467-8640.1990.tb00296.x","article-title":"A logic for representing reasoning with statistical knowledge","volume":"6","author":"Bacchus","year":"1990","journal-title":"Computational Intelligence"},{"key":"2021102214134860900_ref8","first-page":"392","article-title":"Default reasoning from statistics","author":"Bacchus","year":"1991","journal-title":"Proceedings AAAI"},{"key":"2021102214134860900_ref9","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/S0004-3702(96)00003-3","article-title":"From statistical knowledge bases to degrees of belief","volume":"87","author":"Bacchus","year":"1996","journal-title":"Artificial Intelligence"},{"key":"2021102214134860900_ref10","first-page":"32","article-title":"Non-monotonic inferences in neural networks","author":"Balkenius","year":"1991","journal-title":"Principles of Knowledge Representation and Reasoning"},{"volume-title":"The Boltzmann Machine: A Connectionist Model for Supra-Classical Logic","year":"2018.","author":"Blanchette","key":"2021102214134860900_ref11"},{"key":"2021102214134860900_ref12","article-title":"Towards a representation of non-monotonic inference in an artificial neural network","volume-title":"Technical Report","author":"Blanchette","year":"2015."},{"key":"2021102214134860900_ref13","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0010-0277(89)90018-8","article-title":"Suppressing valid inferences with conditionals","volume":"31","author":"Byrne","year":"1989","journal-title":"Cognition"},{"key":"2021102214134860900_ref14","first-page":"1","article-title":"Symbolically speaking: a connectionist model of sentence production","volume":"93","author":"Chang","year":"2002","journal-title":"Cognitive Science"},{"key":"2021102214134860900_ref15","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1049\/ip-vis:20030362","article-title":"Continuous restricted Boltzmann machine with an implementable training algorithm","volume":"150","author":"Chen","year":"2003","journal-title":"IEEE Proceedings of Visual Image Processing"},{"key":"2021102214134860900_ref16","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1016\/0010-0285(85)90014-3","article-title":"Pragmatic reasoning schemas","volume":"17","author":"Cheng","year":"1985","journal-title":"Cognitive Psychology"},{"key":"2021102214134860900_ref17","first-page":"233","article-title":"A spike and slab restricted Boltzmann machine","volume":"1","author":"Courville","year":"2011","journal-title":"Artificial Intelligence and Statistics"},{"article-title":"A language and environment for statistical computing","year":"2014","author":"CRAN","key":"2021102214134860900_ref18"},{"key":"2021102214134860900_ref19","article-title":"Neurosymbolic ai: the 3rd wave","volume-title":"Technical Report","author":"d\u2019Avila Garcez","year":"2020"},{"key":"2021102214134860900_ref20","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1016\/j.tcs.2006.10.023","article-title":"Connectionist modal logic: representing modalities in neural networks","volume":"371","author":"d\u2019Avila Garcez","year":"2007","journal-title":"Theoretical Computer Science"},{"key":"2021102214134860900_ref21","article-title":"Cognitive Technologies","volume-title":"Neural-Symbolic Cognitive Reasoning","author":"d\u2019Avila Garcez","year":"2009"},{"key":"2021102214134860900_ref22","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.artint.2003.09.001","article-title":"Introduction: progress in formal common-sense reasoning","volume":"153","author":"Davis","year":"2004","journal-title":"Artificial Intelligence"},{"key":"2021102214134860900_ref23","article-title":"The Boltzmann machine: a survey and generalization","volume-title":"Technical Report TR 805","author":"Egger","year":"1988"},{"key":"2021102214134860900_ref24","first-page":"406","article-title":"The shape Boltzmann machine: a strong model of object shape","author":"Eslami","year":"2012","journal-title":"IEEE Computer Vision and Pattern Recognition"},{"key":"2021102214134860900_ref25","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0010-0277(88)90031-5","article-title":"Connectionism and cognitive architecture: a critical analysis","volume":"28","author":"Fodor","year":"1988","journal-title":"Cognition"},{"key":"2021102214134860900_ref26","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"},{"volume-title":"Neural Networks, Algorithms, Applications and Programming Techniques","year":"1994","author":"Freeman","key":"2021102214134860900_ref27"},{"key":"2021102214134860900_ref28","article-title":"Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"Gabbay","year":"1994"},{"key":"2021102214134860900_ref29","doi-asserted-by":"crossref","first-page":"49","DOI":"10.7551\/mitpress\/4286.003.0006","article-title":"How logic emerges from the dynamics of information","volume-title":"Logic and Information Flow","author":"G\u00e4rdenfors","year":"1994"},{"volume-title":"Conceptual Spaces","year":"2004","author":"G\u00e4rdenfors","key":"2021102214134860900_ref30"},{"key":"2021102214134860900_ref31","first-page":"721","article-title":"Stochastic relaxation, Gibbs distributions and the Bayesian restoration of images","volume-title":"IEEE Transactions on Pattern Analysis and Machine Intelligence","author":"Geman","year":"1984"},{"key":"2021102214134860900_ref32","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7432.001.0001","volume-title":"Introduction to Statistical Relational Learning","author":"Getoor","year":"2007"},{"key":"2021102214134860900_ref33","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":"2021102214134860900_ref34","article-title":"Alfred tarski","volume-title":"Stanford Encyclopedia of Philosophy","author":"Gomez-Torrente","year":"2015"},{"volume-title":"Categorical Perception: The Groundwork of Cognition","year":"1987","author":"Harnad","key":"2021102214134860900_ref35"},{"key":"2021102214134860900_ref36","first-page":"335","article-title":"The symbol grounding problem","volume":"42","author":"Harnad","year":"1990","journal-title":"Physica"},{"volume-title":"The Organisation of Behaviour","year":"1949","author":"Hebb","key":"2021102214134860900_ref37"},{"key":"2021102214134860900_ref38","first-page":"194","article-title":"Knowledge and belief: the agent-oriented view","volume-title":"Culture in Retrospect","author":"Heidema","year":"2001"},{"key":"2021102214134860900_ref39","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1162\/neco.1989.1.1.143","article-title":"Deterministic Boltzmann learning performs steepest descent in weight space","volume":"1","author":"Hinton","year":"1989","journal-title":"Neural Computation"},{"key":"2021102214134860900_ref40","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(90)90002-H","article-title":"Preface to the special issue on connectionist symbol processing","volume":"46","author":"Hinton","year":"1990","journal-title":"Artificial Intelligence"},{"key":"2021102214134860900_ref41","article-title":"A practical guide to training restricted Boltzmann machines","volume-title":"Technical Report TR 2010-003","author":"Hinton","year":"2010"},{"key":"2021102214134860900_ref42","first-page":"122","article-title":"Spiking Boltzmann machines","author":"Hinton","year":"1999","journal-title":"NIPS"},{"article-title":"What kind of graphical model is the brain","year":"2000","author":"Hinton","key":"2021102214134860900_ref43"},{"key":"2021102214134860900_ref44","article-title":"Boltzmann machines: constraint satisfaction networks that learn","volume-title":"Technical Report TR 84\u2013119","author":"Hinton","year":"1984"},{"key":"2021102214134860900_ref45","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1207\/s15516709cog0901_7","article-title":"A learning algorithm for Boltzmann machines","volume":"9","author":"Hinton","year":"1985","journal-title":"Cognitive Science"},{"key":"2021102214134860900_ref46","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":"2021102214134860900_ref47","article-title":"Bertrand Russell","volume-title":"Stanford Encyclopedia of Philosophy","author":"Irvine","year":"2015"},{"key":"2021102214134860900_ref48","first-page":"1063","article-title":"Which model to use for cortical spiking neurons?","volume-title":"IEEE Transactions on Neural Networks","author":"Izhikevich","year":"2004"},{"key":"2021102214134860900_ref49","first-page":"123","article-title":"Neural Networks for Knowledge Representation and Inference","volume-title":"Representing Discrete Structures in a Hopfield-Style Network","author":"Jagota","year":"1994"},{"key":"2021102214134860900_ref50","article-title":"Kurt G\u00f6del","volume-title":"Stanford Encyclopedia of Philosophy","author":"Kennedy","year":"2016"},{"key":"2021102214134860900_ref51","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1613\/jair.1675","article-title":"Logical hidden Markov models","volume":"25","author":"Kersting","year":"2006","journal-title":"Journal of Artificial Intelligence Research"},{"key":"2021102214134860900_ref52","first-page":"256","article-title":"A survey on statistical relational learning","volume":"6085","author":"Khosravi","year":"2010","journal-title":"Canadian Artificial Intelligence LNAI"},{"key":"2021102214134860900_ref53","first-page":"580","article-title":"Probabilistic frame based systems","volume-title":"Proceedings AAAI","author":"Koller","year":"1998"},{"key":"2021102214134860900_ref54","article-title":"Defeasible reasoning","author":"Koons","year":"2014","journal-title":"Stanford Encyclopedia of Philosophy"},{"key":"2021102214134860900_ref55","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":"2021102214134860900_ref56","first-page":"950","article-title":"Simple weight decay can improve generalization","volume-title":"Advances in Neural Information Processing Systems","author":"Krogh","year":"1995"},{"key":"2021102214134860900_ref57","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1214\/aoms\/1177729694","article-title":"On information and sufficiency","volume":"22","author":"Kullback","year":"1951","journal-title":"Annals of Mathematical Statistics"},{"key":"2021102214134860900_ref58","article-title":"Towards agent-oriented logic: (i\u2013ii) variations on the theme of logical consequence","volume-title":"Technical Report","author":"Labuschagne","year":"2010"},{"key":"2021102214134860900_ref59","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":"2021102214134860900_ref60","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":"2021102214134860900_ref61","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/S0004-3702(01)00073-X","article-title":"Nonmonotonic reasoning by inhibition nets","volume":"128","author":"Leitgeb","year":"2001","journal-title":"Artificial Intelligence"},{"key":"2021102214134860900_ref62","article-title":"Applied Logic Series","volume-title":"Inference on a Low Level. An Investigation into Deduction, Non-Monotonic Reasoning and the Philosophy of Cognition","author":"Leitgeb","year":"2004"},{"key":"2021102214134860900_ref63","first-page":"191","article-title":"Neural network models of conditionals: an introduction","volume-title":"International Workshop on Logic and Philosophy of Knowledge","author":"Leitgeb","year":"2007"},{"article-title":"The cyc project","year":"2016","author":"Lenat","key":"2021102214134860900_ref64"},{"key":"2021102214134860900_ref65","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":"2021102214134860900_ref66"},{"key":"2021102214134860900_ref67","doi-asserted-by":"crossref","first-page":"4433","DOI":"10.1073\/pnas.88.10.4433","article-title":"A more biologically plausible learning rule for neural networks","volume":"88","author":"Mazzoni","year":"1991","journal-title":"Proceedings Natural Academy of Science"},{"key":"2021102214134860900_ref68","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","article-title":"Circumscription\u2014a form of non-monotonic reasoning","volume":"13","author":"McCarthy","year":"1980","journal-title":"Artificial Intelligence"},{"key":"2021102214134860900_ref69","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","article-title":"Non-monotonic logic i","volume":"13","author":"McDermott","year":"1980","journal-title":"Artificial Intelligence"},{"key":"2021102214134860900_ref70","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":"2021102214134860900_ref71","article-title":"A framework for representing knowledge","volume-title":"Tech. Report 306","author":"Minsky","year":"1974"},{"article-title":"Progress report on artificial intelligence","year":"1971","author":"Minsky","key":"2021102214134860900_ref72"},{"key":"2021102214134860900_ref73","doi-asserted-by":"crossref","first-page":"74","DOI":"10.3389\/fnins.2013.00272","article-title":"Event-driven contrastive divergence for spiking neuromorphic systems","volume":"7","author":"Neftci","year":"2014","journal-title":"Frontiers in Neuroscience"},{"key":"2021102214134860900_ref74","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1023\/A:1014473706150","article-title":"An empirical test of patterns for non-monotonic inference","volume":"34","author":"Neves","year":"2002","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"2021102214134860900_ref75","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","article-title":"Probabilistic logic","volume":"28","author":"Nilsson","year":"1986","journal-title":"Artificial Intelligence"},{"key":"2021102214134860900_ref76","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1016\/S1364-6613(98)01241-8","article-title":"Six principles for biologically based computational models of cortical cognition","volume":"11","author":"O\u2019Reilly","year":"1998","journal-title":"Trends in Cognitive Sciences"},{"key":"2021102214134860900_ref77","first-page":"208","article-title":"Adaptive cooperation between processors in a parallel Boltzmann machine implementation","volume-title":"Lecture Notes in Computer Science","author":"Ortega","year":"1999"},{"key":"2021102214134860900_ref78","article-title":"Representation and Reasoning","volume-title":"Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference","author":"Pearl","year":"1997"},{"article-title":"An introduction to causal inference","year":"2015","author":"Pearl","key":"2021102214134860900_ref79"},{"key":"2021102214134860900_ref80","article-title":"Probabilistic semantics for a subset of default reasoning","volume-title":"Technical Report CSD-8700XX, R-93-III","author":"Pearl","year":"1988"},{"key":"2021102214134860900_ref81","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/s11229-005-9073-x","article-title":"Coherence and non-monotonicity in human reasoning","volume":"146","author":"Pfeifer","year":"2005","journal-title":"Synthese"},{"key":"2021102214134860900_ref82","article-title":"Categorical Boltzmann machines","volume-title":"Technical Report TR 98\u201305","author":"Pfleger","year":"1998"},{"key":"2021102214134860900_ref83","first-page":"175","article-title":"Propositional logic, non-monotonic reasoning and symmetric networks\u2014on bridging the gap between symbolic and connectionist knowledge representation","volume-title":"Neural Networks for Knowledge Representation and Inference","author":"Pinkas","year":"1994"},{"key":"2021102214134860900_ref84","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":"2021102214134860900_ref85","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1613\/jair.130","article-title":"Improving connectionist energy minimization","volume":"3","author":"Pinkas","year":"1995","journal-title":"Journal of Artificial Intelligence Research"},{"key":"2021102214134860900_ref86","doi-asserted-by":"crossref","DOI":"10.4324\/9780415249126-Y053-1","article-title":"Paraconsistent logic","volume-title":"Stanford Encyclopedia of Philosophy","author":"Priest","year":"2016"},{"key":"2021102214134860900_ref87","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1080\/019697296126651","article-title":"Cognition in systems","volume":"27","author":"Radermacher","year":"1996","journal-title":"Cybernetics and Systems"},{"key":"2021102214134860900_ref88","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","article-title":"A logic for default reasoning","volume":"13","author":"Reiter","year":"1980","journal-title":"Artificial Intelligence"},{"key":"2021102214134860900_ref89","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":"2021102214134860900_ref90","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/s11263-006-5165-4","article-title":"Combining generative and discriminative models in a framework for articulated pose estimation","volume":"67","author":"Rosales","year":"2006","journal-title":"International Journal of Computer Vision"},{"key":"2021102214134860900_ref91","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5236.001.0001","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":"2021102214134860900_ref92"},{"key":"2021102214134860900_ref93","first-page":"3853","article-title":"Boltzmann machine and new activation","volume":"78","author":"Sathasivam","year":"2011","journal-title":"Applied Mathematical Sciences"},{"key":"2021102214134860900_ref94","first-page":"398","article-title":"High order Boltzmann machines","volume-title":"Neural Networks for Computing","author":"Sejnowski","year":"1986"},{"key":"2021102214134860900_ref95","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1016\/S0006-8993(00)03007-9","article-title":"Why do we sleep?","volume":"886","author":"Sejnowski","year":"2000","journal-title":"Brain Research"},{"key":"2021102214134860900_ref96","first-page":"183","article-title":"Perspectives in Neural Symbolic Integration","volume-title":"SHRUTI: A Neurally Motivated Architecture for Rapid, Scalable Inference","author":"Shastri","year":"2007"},{"key":"2021102214134860900_ref97","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1017\/S0140525X00030910","article-title":"From simple associations to systematic reasoning: a connectionist representation of rules, variables and dynamic bindings using temporal synchrony","volume":"16","author":"Shastri","year":"1993","journal-title":"Behavioural and Brain Sciences"},{"key":"2021102214134860900_ref98","article-title":"Probabilistic inference and learning in a connectionist causal network","volume-title":"Technical Report","author":"Shastri","year":"2000"},{"key":"2021102214134860900_ref99","first-page":"227","article-title":"A semantical approach to non-monotonic logics","volume-title":"Readings in Non-Monotonic Reasoning","author":"Sholam","year":"1987"},{"article-title":"The open mind common-sense project","year":"2002","author":"Singh","key":"2021102214134860900_ref100"},{"key":"2021102214134860900_ref101","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","author":"Spohn","year":"1988"},{"key":"2021102214134860900_ref102","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7964.001.0001","volume-title":"Human Reasoning and Cognitive Science","author":"Stenning","year":"2008"},{"key":"2021102214134860900_ref103","article-title":"Non-monotonic logic","volume-title":"Stanford Encyclopedia of Philosophy","author":"Strasser","year":"2016"},{"volume-title":"Neurobiology","year":"2016","author":"Striedter","key":"2021102214134860900_ref104"},{"volume-title":"Applying Neural Networks: A Practical Guide","year":"1996","author":"Swingler","key":"2021102214134860900_ref105"},{"volume-title":"Logic, Semantics, Meta-Mathematics: Papers from 1923 to 1938","year":"1956","author":"Tarski","key":"2021102214134860900_ref106"},{"key":"2021102214134860900_ref107","first-page":"16","article-title":"Optical implementations in Boltzmann machines","volume":"26","author":"Tichnor","year":"1987","journal-title":"Optical Engineering"},{"article-title":"Machine learning repository","year":"2013","author":"UCI","key":"2021102214134860900_ref108"},{"key":"2021102214134860900_ref109","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1016\/0166-2236(81)90027-8","article-title":"Co-operativity and the brain","volume":"4","author":"von der Malsburg","year":"1981","journal-title":"Trends in Neurosciences"},{"key":"2021102214134860900_ref110","first-page":"135","article-title":"Reasoning","volume-title":"New Horizons in Psychology I","author":"Wason","year":"1966"},{"key":"2021102214134860900_ref111","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1111\/j.2044-8295.1969.tb01221.x","article-title":"Regression in reasoning","volume":"60","author":"Wason","year":"1969","journal-title":"British Journal of Psychology"},{"key":"2021102214134860900_ref112","article-title":"Gottlob Frege","volume-title":"Stanford Encyclopedia of Philosophy","author":"Zalta","year":"2016"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/31\/7\/1758\/40820340\/exab054.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/31\/7\/1758\/40820340\/exab054.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T01:22:26Z","timestamp":1725585746000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/31\/7\/1758\/6360644"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,2]]},"references-count":112,"journal-issue":{"issue":"7","published-online":{"date-parts":[[2021,9,2]]},"published-print":{"date-parts":[[2021,10,22]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exab054","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"type":"print","value":"0955-792X"},{"type":"electronic","value":"1465-363X"}],"subject":[],"published-other":{"date-parts":[[2021,10]]},"published":{"date-parts":[[2021,9,2]]}}}