Logic modelling of cognitive reasoning

Authors:
Goran Hagert;Ake Hansson
Affiliations:
Uppsala Programming Methodology and Artificial Intelligence Laboratory, Computing Science Department, Uppsala University, Uppsala, Sweden;Uppsala Programming Methodology and Artificial Intelligence Laboratory, Computing Science Department, Uppsala University, Uppsala, Sweden
Venue:
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Year:
1983

Citing 2
Cited 0

Logic for problem-solving

Logic for problem-solving
OPS: a domain-independent production system language

IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2

Quantified Score

Hi-index	0.00

Visualization

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.