• Corpus ID: 240070952

Conditional Inference and Activation of Knowledge Entities in ACT-R

  title={Conditional Inference and Activation of Knowledge Entities in ACT-R},
  author={Marco Wilhelm and Diana Howey and Gabriele Kern-Isberner and Kai Sauerwald and Christoph Beierle},
Activation-based conditional inference applies conditional reasoning to ACT-R, a cognitive architecture developed to formalize human reasoning. The idea of activation-based conditional inference is to determine a reasonable subset of a conditional belief base in order to draw inductive inferences in time. Central to activation-based conditional inference is the activation function which assigns to the conditionals in the belief base a degree of activation mainly based on the conditional’s… 

Figures and Tables from this paper



Focused Inference and System P

A series of query-dependent, syntactically-driven focused inference relations are defined, elaborate on their formal properties, and it is shown that the series converges against System P.

Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases

This paper analyzes inductive inference operators which, like system P, system Z, or the more recent c-inference, generate an inference relation from a conditional knowledge base, and axiomatizes the two aforementioned aspects of syntax splitting, relevance and independence, as properties of such induction inference operators.

The logic of conditionals

The standard use of the propositional calculus ('P.C.’) in analyzing the validity of inferences involving conditionals leads to fallacies, and the problem is to determine where P.C. may be ‘safely’

System Z: A Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning

The Z-ordering is defined, two extensions are then described, maximum-entropy and conditional entailment, which trade in computational simplicity for semantic refinements.

On the Consistency of Defeasible Databases

Knowledge Based Systems

This text is designed to develop an appreciation of KBS and their architecture and to help users understand a broad variety of knowledge based techniques for decision support and planning.

The Laws of Belief - Ranking Theory and Its Philosophical Applications

The A Priori Structure of Reasons, a treatise on the structure of reasons, explains the motivation for belief and some of the mechanisms behind its construction are explained.

A spreading activation theory of memory.

An Introduction to Expert Systems

It is suggested that the situation could be improved with computer technology, and one type of advanced computer technology designed specifically to assist in decision making is expert systems, the product of research in artificial intelligence.

Production system models of learning and development

This is the first book to focus exclusively on these important models of human cognition, collecting and giving many of the best examples of current research.