A. W. Black. "ASTL---A Language for Computational Situation Semantics," Manuscript, Department of Artificial Intelligence, University of Edinburgh, Edinburgh, U.K., 1992.  Home/Search   Document Not in Database   Summary   Related Articles

....influential semantic and logical tradition [26] is that information content is context dependent (where a context is a situation) All these features may be cast in a rich formalism for a computational framework based on situation theory. Yet, there have been few attempts to investigate this [16, 40, 43]. Questions of what it means to do computation with situations and what aspects of the theory makes this suitable as a novel programming paradigm have not been fully answered in the literature. This is what we hope to achieve here. Accordingly, in this paper, a computational approach to situation ....

....theory and its associated environment (called BABYSIT) are proposed. The proposed approach especially adopts the ontological features which were originally put forward in [11] Existing approaches towards a computational account of situation theory unfortunately incorporated only some of these [14, 15, 16, 39, 40, 43]; the remaining features were omitted for the sake of achieving particular goals. This has caused conceptual and philosophical divergence from the ontology of the original theory a dangerous and unwanted side effect. Our work will try to avoid this pitfall by simply sticking to the essentials of ....

[Article contains additional citation context not shown here]

A. W. Black. "ASTL---A Language for Computational Situation Semantics," Manuscript, Department of Artificial Intelligence, University of Edinburgh, Edinburgh, U.K., 1992.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC