PROSIT(ID:2276/pro072)Programming in SItuation TheoryHinrich Schutze Stanford 1991 from CMU gloss "PROSIT (Programming in SItuation Theory) is a programming language similar to Prolog but based on Situation Theory instead of standard first-order logic. PROSIT is a declarative language, that is, programs and data in PROSIT are all just sets of declarative elements called infons. Answering queries about these infons is the fundamental action that the PROSIT interpreter carries out. But unlike Prolog, PROSIT contains mechanisms for dealing with the "situations" of Situation Theory. Infons in PROSIT are not absolute and global; they are local to situations. Situations may be set up to inherit information from other situations. Situations may contain any kind of information, including information about infons and situations. PROSIT also supports forward chaining, in which the addition of new infons triggers the addition of other new infons, creating a constant flow of information through the system. And as in Prolog, PROSIT can prove queries through backward chaining." Structures: References: in [IEEE] Proceedings of the IEEE International Conference on Neural Networks 1993 view details in Proceedings of the 9th Annual Conference of the UW Centre for the New OED and Text Research, Oxford, England, 1993 view details in Working Notes of the AAAI Spring Syposium on Building Lexicons for Machine Translation, Stanford CA 1993 view details in Working Notes of the AAAI Spring Syposium on Building Lexicons for Machine Translation, Stanford CA 1993 view details in Proc. of the Sixteenth Annual Conference of the Cognitive Science Society 1994 view details Resources
|