Search
Now showing items 1-1 of 1
Modelling the logical mind - Using the cognitive architecture ACT-R to model human symbolic reasoning in the description logic 𝒜ℒℰ
(2023)
The problem of optimising automated explanations for entailments in knowledge
bases is tackled by modelling deductive reasoning processes using the cognitive
architecture ACT-R. This results in the model SHARP which ...