Modelling the logical mind - Using the cognitive architecture ACT-R to model human symbolic reasoning in the description logic 𝒜ℒℰ
| dc.contributor.author | Fokkens Jelle, Tjeerd | |
| dc.date.accessioned | 2023-02-08T14:39:35Z | |
| dc.date.available | 2023-02-08T14:39:35Z | |
| dc.date.issued | 2023 | |
| dc.description.abstract | 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 simulates the algorithm for deciding inconsistency of an ABox in the description logic 𝒜ℒℰ as executed by a human. More precisely, SHARP enables predicting the inference time of this task, which is assumed to reflect cognitive load of a human agent. With the inference time, two complexity measures on ABoxes are defined that should correlate with cognitive load by design. | en |
| dc.identifier.uri | https://hdl.handle.net/2077/74797 | |
| dc.language.iso | eng | en |
| dc.subject | Cognitive Modelling | en |
| dc.subject | Description Logic | en |
| dc.title | Modelling the logical mind - Using the cognitive architecture ACT-R to model human symbolic reasoning in the description logic 𝒜ℒℰ | en |
| dc.type | Text | en |
| dc.type.svep | licentiate thesis | en |
Files
Original bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- new_fokkens.pdf
- Size:
- 1.54 MB
- Format:
- Adobe Portable Document Format
- Description:
- Lic. Thesis
License bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- license.txt
- Size:
- 4.68 KB
- Format:
- Item-specific license agreed upon to submission
- Description: