{"type":"ScholarlyArticle","title":"Logic Modelling of Cognitive Reasoning","authors":[{"name":"Göran Hagert","slug":"goran-hagert","given":"Göran","family":"Hagert","affiliation":"Uppsala Programming Methodology and Artificial Intelligence Laboratory Computing Science Department , Uppsala University Box 20511 , S-750 02 Uppsala , Sweden"},{"name":"Åke Hansson","slug":"ake-hansson","given":"Åke","family":"Hansson","affiliation":"Uppsala Programming Methodology and Artificial Intelligence Laboratory Computing Science Department , Uppsala University Box 20511 , S-750 02 Uppsala , Sweden"}],"abstract":"Logic modelling is presented as an approach for exploring cognitive reasoning. The notion of mental construction and execution of propositional models is introduced. A model is constructed through inclusions and exclusions or assertions and assumptions about the task . A constructed model is executed in a logical control structure. Formal rules or inference are argued to be an essential feature or this architecture . A few examples are given for purpose of illustration.","doi":null,"url":"https://ijcai.org/proceedings/1983/21","pdf":"https://ijcai.org/proceedings/1983/0021.pdf","markdown":"https://ijcai.org/proceedings/1983/21.md","bibtex":"https://ijcai.org/proceedings/1983/bibtex/21","volume":{"slug":"1983","title":"Proceedings of the Eighth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1983","url":"https://ijcai.org/proceedings/1983/","year":1983,"location":"Karlsruhe, West Germany","dates":"","editors":"Alan Bundy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Cognitive Modelling","track":"Cognitive Modelling","number":21,"pages":{"first":81,"last":82},"keywords":[],"videos":[],"references":[{"position":1,"raw":"Henle, M., On the relation between logic and thinking. Pruch.o- /ogictJI Renew 60 (1062) 561-566.","title":"On the relation between logic and thinking","authors":"M Henle","year":"1062","venue":"Pruch.o-/ogictJI Renew","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"Evans, J.St.B.T., Current issues in the psychology of reasoning. Britirh. JourntJI of Pruch.ologu11 (1980) 227-230.","title":"Current issues in the psychology of reasoning","authors":"J Evans, B T St","year":"1980","venue":"Britirh. JourntJI of Pruch.ologu","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"Wason, P .C. & Johnson-Laird, P .N., Psychology or reasoning: Structure and content. Cambridge: Harvard University Press, 1972.","title":"Psychology or reasoning: Structure and content","authors":"P C Wason, P N Johnson-Laird","year":"1972","venue":null,"doi":null,"url":null,"internal_url":null},{"position":4,"raw":"Johnson-Laird, P.N., Mental models in cognitive science. Cogni- tive Science 4 (1080) 71-115.","title":"Mental models in cognitive science","authors":"P N Johnson-Laird","year":"1080","venue":"Cognitive Science","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"Smedslund, J., On the circular relation between logic and under- standing.Sc4ntlin4n4n JourntJI of Prrchologull (1070) 217-210.","title":"On the circular relation between logic and understanding","authors":"J Smedslund","year":"1070","venue":"Sc4ntlin4n4n JourntJI of Prrchologull","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"Forgy, C. & McDermott, J., OPS: A domain independent produc- tion system la.nguage.lll Proc. /JCA/-7(}. Tokyo, Japan, 1070.","title":"OPS: A domain independent production system la","authors":"C Forgy, J Mcdermott","year":"1070","venue":"nguage.lll Proc. /JCA/-7","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"Kowalski, R. A. , Logic for problem solving.North-Holland, 1070.","title":"Logic for problem solving","authors":"R A Kowalski","year":"1070","venue":null,"doi":null,"url":null,"internal_url":null},{"position":8,"raw":"Wason, P .C., Reasoning about a rule.Qurter/J JourlltJI of Ez- perimenttJI Pr11ch.o/ogu 20 (1068) 273-281.","title":"Reasoning about a rule.Qurter/J JourlltJI of Ez-perimenttJI Pr11ch","authors":"P C Wason","year":"1068","venue":null,"doi":null,"url":null,"internal_url":null},{"position":9,"raw":"Hagert, G., Waern, Y. & Tarnlund, S-A., Open and closed mod- els or understanding in conditional reasoning. Act4 PriJcllologics 52 (1082) 41-50.","title":"Open and closed models or understanding in conditional reasoning","authors":"G Hagert, Y Waern, S-A Tarnlund","year":"1082","venue":"Act4 PriJcllologics","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}