Arrow Research search
Back to FLAP

FLAP 2023

Activation-based Conditional Inference.

Journal Article Number 2 Logic in Computer Science

Abstract

Activation-based conditional inference (ActInf) combines conditional rea- soning and ACT-R, a cognitive architecture developed to formalize human rea- soning, and therewith provides a powerful inference formalism which makes it possible to integrate several aspects of human reasoning, such as focusing, forgetting, and remembering, into formal uncertain reasoning. The basic idea of activation-based conditional inference is to determine a reasonable, cogni- tively adequate subset of a conditional belief base before drawing inductive inferences. Central to activation-based conditional inference is the activation function which assigns to the conditionals in the belief base a degree of acti- vation mainly based on the conditional’s relevance for the current query and its usage history. Here, we develop a blueprint for activation-based conditional inference and illustrate how focusing, forgetting, and remembering are included within our framework.

Authors

Keywords

No keywords are indexed for this paper.

Context

Venue
IfCoLog Journal of Logics and their Applications
Archive span
2014-2026
Indexed papers
633
Paper id
488748559724273360