Real-Time Default Reasoning, Relevance, and Memory Models.

Thumbnail Image
Files
TR_85-35.pdf(432.53 KB)
No. of downloads: 258
Publication or External Link
Date
1985
Authors
Drapkin, J.
Miller, Michael
Perlis, D.
Advisor
Citation
DRUM DOI
Abstract
We describe a working example of mechanical default reasoning that is rather robust, in that it can detect a conflict between a default conclusion and another assertion (or conclusion), can (under suitable conditions) decide between them, and can maintain this decision indefinitely until overridden by information to do so. Our model contains five key elements: STM, LTM, ITM, QTM, and RTM. STM, LTM, and ITM are standard parts of cognitively- based models of memory. QTM is a technical device that controls the flow of information into STM, and RTM is the repository of default resolution and relevance.
Notes
Rights