Learn More
Knowledge-based real-time control problems can be usefully viewed as dynamic resource allocation problems. Analysis of various real-time applications and real-time AI models reveals that real-time control problems require the problem solving capability of knowledge intensive methods coupled with the control mechanisms of operating systems. Moreover, there(More)
One of tha principal goals of tha TAXMAN project is to develop a theory about the structure and dynamics of legal concapts, using corporate tax law as an experimental problem domain In this paper we describe the "prototype* plus-deformation" model of legal conceptual structure a concept is represented here by a prototypical description plus a sequence of(More)
Speed alone is insufficient for real-time performance. We define real-time performance in terms of speed, responsiveness, timeliness, and graceful adaptation. We claim that all four aspects are essential if a system is to support real-time problem-solving. We also present a distributed knowledge p rocessing architecture based on the lackboard paradigm that(More)
Problem-Solving: Schmidt linearly ordered and unbounded in time. Plans are bounded, hierarchical, and nonlinearly ordered based on the logical connection between an enduring outcome of one action and the precondition of some subsequent action. Further, a plan is well-formed with reference to the planner's beliefs about the world rather than with respect to(More)
This paper describes the nature of mathematical discovery (including concept definition and exploration, example generation, and theorem conjecture and proof), and considers how such an intelligent process can be simulated by a machine. Although the material is drawn primarily from graph theory, the results are immediately relevant to research in(More)
The BELIEVER theory is an attempt to specify an information processing systenn that constructs intentional interpretations of an observed sequence of human actions. A frame-based system, AIMDS, is used to define three domains: the physical world; the plan domain, where interpretations are constructed using plan structures composed from plan traits; and the(More)
The enterprise of developing knowledge-based systems is currently witnessing great growth in popularity. The central unity of many such programs is that they interpret knowledge that is explicitly encoded as rules While rule-based programming comes wit,h certain clear pay-offs, further fundamental advances in research are needed to extend the scope of tasks(More)