|Abstract||Following its inception (Barwise and Perry, 1983), situation theory has quickly matured (Cooper et al., 1990; Devlin, 1991) and under the familiarname of situation semantics has been applied to a number of linguistic issues (Barwise, 1987; Barwise, 1989; Barwise and Etchemendy, 1987; Cooper, 1986; Cooper, 1991; Cooper et al., 1990; Fenstad et al., 1987), including quanti cation and anaphora (Gawron and Peters, 1990). In the past, the development of a `mathematical'situation theory has been held back by a lack of availability of appropriate technical tools. But by now, the theory has assembled its mathematical foundations based on intuitions basically coming from set theory and logic (Aczel, 1988; Barwise, 1989; Cooper et al., 1990). With a remarkably original view of information (which is fully adapted by situation theory) (Dretske, 1981), a `logic,' based not on truth but on information, is being developed (Devlin, 1991). This logic will probably be an extension of rst-order logic (Barwise, 1977) rather than being an alternative to it|
|Keywords||No keywords specified (fix it)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Erkan Tin & Varol Akman (1994). Computational Situation Theory. ACM SIGART Bulletin 5 (4):4-17.
Added to index2010-11-07
Total downloads9 ( #114,230 of 549,671 )
Recent downloads (6 months)1 ( #63,425 of 549,671 )
How can I increase my downloads?