Cashing in on Caching: An Architecture for Time-BoundedKnowledge-Based Problem Solving

  • Authors:
  • Niladri Chatterjee;J. A. Campbell

  • Affiliations:
  • Department of Computer Science, University College London, Gower Street, London, U.K. WC1E 6BT;Department of Computer Science, University College London, Gower Street, London, U.K. WC1E 6BT

  • Venue:
  • Real-Time Systems
  • Year:
  • 1998

Quantified Score

Hi-index 0.00

Visualization

Abstract

Knowledge-basedcomputing, in general, suffers from an inherent open-endednessthat precludes its application in time-bounded domains wherean answer must be computed within a stipulated time limit. Weexamine a two-way improvement of the shortcomings: a knowledgerepresentation scheme that provides easy access to relevant knowledgeand thereby reduces search time, and a reasoning scheme thatis algorithmic in nature and thus makes computational requirementsmeaningfully estimable. In this work, we offera cache-based architecture that is capable of both storing knowledgein different formats (e.g. rules, cases), and invoking an appropriatereasoning scheme to fit the available computing time. The cachehelps in retrieving the most relevant pieces of knowledge (notonly exact matches) required for solving a given problem. Thiscache relies on a reasoning tactic, knowledge interpolation,that can generate a solution from two near-matches in an algorithmicway, to generate time-bounded solutions. We illustrate the designof such a cache for solving resource allocation problems in thedomain of shortwave radio transmission and evaluate its performancein observing imposed temporal bounds.