H ? « ‹ ← → › »

Language peer sets for PROSIT:
United States↑
United States/1991↑
Designed 1991 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

PROSIT(ID:2276/pro072)

Programming in SItuation Theory 

alternate simple view
Country: United States
Designed 1991
Published: 1991

Hinrich 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:
  • Hinrich Schuetze, Stephen Jose Hanson and Jack D. (1985) Hinrich Schuetze, Stephen Jose Hanson and Jack D. Cowan and C. Lee Giles in Advances in Neural Information Processing Systems Morgan Kaufmann Publishers 895--902 }
  • Hinrich Schuetze, (1992) Hinrich Schuetze, "Dimensions of Meaning" in "Proceedings of Supercomputing '92" 1992
  • Hinrich Schuetze, (1992) Hinrich Schuetze, "Part-of-Speech Induction from Scratch in Proceedings of ACL 31" Ohio State University
  • Hinrich Schuetze (1993) Hinrich Schuetze "Distributed Syntactic Representations with an Application to Part-of-Speech Tagging"
          in [IEEE] (1993) [IEEE] Proceedings of the IEEE International Conference on Neural Networks 1993
  • Hinrich Schuetze and Jan Pedersen (1993) Hinrich Schuetze and Jan Pedersen "A Vector Model for syntagmatic and paradigmatic relatedness"
          in [Proceedings] (1993) Proceedings of the 9th Annual Conference of the UW Centre for the New OED and Text Research, Oxford, England, 1993
  • Schuetze, Hinrich (1993) Schuetze, Hinrich "Translation by Confusion"
          in (1993) Working Notes of the AAAI Spring Syposium on Building Lexicons for Machine Translation, Stanford CA 1993
  • Marti A. Hearst and Hinrich Schuetze (1994) Marti A. Hearst and Hinrich Schuetze "Customizing a Lexicon to Better Suit a Computational Task" in Branimir Boguraev and James Pustejovsky "Corpus Processing for Lexical Acquisition" MIT Press 1994 Cambridge MA
          in (1993) Working Notes of the AAAI Spring Syposium on Building Lexicons for Machine Translation, Stanford CA 1993
  • Schuetze, Hinrich (1994) Schuetze, Hinrich "A Connectionist Model of Verb Subcategorization"
          in Proc. (1994) Proc. of the Sixteenth Annual Conference of the Cognitive Science Society 1994
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder