Logic Modelling of Cognitive Reasoning
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 of assertions and assumptions about the task. A constructed model is executed in a logical control structure. Formal rules of inference are argued to be an essential feature of this architecture. A few examples are given for purpose of illustration.
Cite
Text
Hagert and Hansson. "Logic Modelling of Cognitive Reasoning." International Joint Conference on Artificial Intelligence, 1983.Markdown
[Hagert and Hansson. "Logic Modelling of Cognitive Reasoning." International Joint Conference on Artificial Intelligence, 1983.](https://mlanthology.org/ijcai/1983/hagert1983ijcai-logic/)BibTeX
@inproceedings{hagert1983ijcai-logic,
title = {{Logic Modelling of Cognitive Reasoning}},
author = {Hagert, Göran and Hansson, Åke},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1983},
pages = {81-83},
url = {https://mlanthology.org/ijcai/1983/hagert1983ijcai-logic/}
}