N. S. Sridharan

Learn 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 processing architecture based on the lackboard paradigm that(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 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)
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)
An Inf reason Gl ven severa separa from t proces "chara result and wh ormatlo ng i a colle 1 chemi tps th*' he spac ses for cterIst s of th ich len n processing model of some Important aspects of Inductive presented within the context of one scientific dlscipllnr». ction of experimental (mass spectrometry) data from cal molecules the computer program(More)