Cognitively adequate complexity of reasoning in a description logic

• The problem of finding automated and cognitively adequate explanations for entailments in knowledge bases is tackled by modelling a deductive reasoning process with the cognitive architecture ACT-R. This results in the model sharp which simulates the reasoning process of a human executing an algorithm for deciding inconsistency of an ALE ABox. With sharp one can make certain predictions about the inference time of this reasoning process. Based on the inference time two complexity measures are defined that are expectedly cognitively adequate by design.

Subject headings

HUMANIORA  -- Filosofi, etik och religion -- Filosofi (hsv//swe)

HUMANITIES  -- Philosophy, Ethics and Religion -- Philosophy (hsv//eng)

Keyword

cognitive modelling

description logic

complexity measure

Publication and Content Type

ref (subject category)

kon (subject category)