situations are the constructs which are more amenable to mathematical manipulation. An abstract situation is defined as a (possibly non-well-founded [11]) set of infons. Given a real situation s, the set fff j s j= ffg is the corresponding abstract situation. One of the important ideas behind Situation Theory is a scheme of individuation, a way of carving the world into uniformities. Being constructs that link the scheme of individuation to the technical framework of the theory, types are important features of Situation Theory. Just as individuals, temporal locations, spatial locations, relations, and situations, types are also uniformities that are discriminated by agents. Relations may have their argument places filled either with individuals, situations, locations, and other relations, or with types of individuals, situations, locations, and relations. Some basic types are TIM (the type of a temporal location) , LOC (the type of a spatial location), IND (the type of an individual), ...
|
828
|
Attention, intentions, and the structure of discourse
– Grosz, Sidner
- 1986
|
|
549
|
Situations and Attitudes
– Barwise, Perry
- 1983
|
|
463
|
Interpretation as abduction
– Hobbs, Stickel, et al.
- 1993
|
|
460
|
CYC: A Large-Scale Investment in Knowledge Infrastructure
– Lenat
- 1995
|
|
283
|
Notes on Formalizing Context
– McCarthy
- 1993
|
|
262
|
From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory
– Kamp, Reyle
- 1993
|
|
171
|
Logic and Information
– Devlin
- 1991
|
|
156
|
Contexts: A formalization and some applications
– Guha
- 1991
|
|
146
|
Natural Language Understanding. Benjamin Cummings
– Allen
- 1995
|
|
144
|
Multilanguage hierarchical logics (or: how we can do without modal logics
– Giunchiglia, Serafini
- 1994
|
|
124
|
Cyc: A mid term report
– Guha, Lenat
- 1990
|
|
91
|
Propositional logic of context
– Buvac, Mason
- 1993
|
|
77
|
Formalizing Context (Expanded Notes
– McCarthy, Buvac
- 1998
|
|
74
|
Generality in Artificial Intelligence
– McCarthy
- 1987
|
|
70
|
The Liar: An Essay on Truth and Circularity
– Barwise, Etchemendy
- 1987
|
|
55
|
Psychological relevance and information science
– Harter
- 1992
|
|
38
|
Context And Structure In Automated Full-Text Information Access". Doctor of Philosophy Thesis
– Hearst
- 1994
|
|
32
|
A formalisation of viewpoints
– Attardi, Simi
- 1995
|
|
30
|
Context for Comprehension
– Clark, Carlson
- 1981
|
|
28
|
Metamathematics of contexts
– Buvac, Buvac
- 1995
|
|
26
|
Categorisation by context
– Attardi, Marco, et al.
- 1998
|
|
25
|
Analysis, Abductive Unification, and Nonmonotonic Equality
– Charniak
- 1988
|
|
24
|
Linguistic Semantics: An Introduction
– Lyons
- 1995
|
|
23
|
Resolving lexical ambiguity using a formal theory of context
– Buva˘c
- 1996
|
|
21
|
A multi-context monotonic axiomatization of inessential non-monotonicity
– Giunchiglia, Weyhrauch
- 1988
|
|
21
|
Rethinking context: an introduction
– Goodwin, Duranti
- 1992
|
|
21
|
Some Expert Systems Need Common Sense
– McCarthy
- 1984
|
|
16
|
Multi-context Systems as a Specification framework for Complex Reasoning Systems
– Giunchiglia, Traverso, et al.
- 1993
|
|
16
|
Multilanguage first order theories of propositional attitudes
– Giunchiglia, Serafini
- 1991
|
|
16
|
Artificial Intelligence, Logic and Formalizing Common Sense 15
– McCarthy
- 1990
|
|
14
|
The rights and wrongs of natural regularity
– Barwise, Seligman
- 1994
|
|
13
|
Contextual reasoning is NP-complete
– Massacci
- 1996
|
|
12
|
Conditionals and conditional information
– Barwise
- 1986
|
|
11
|
Semantics: The Study of Meaning
– Leech
- 1981
|
|
10
|
Relevance Reconsidered---Towards an Agenda for the 21st Century: Introduction to Special Topic Issue on Relevance Research
– Froehlich
- 1994
|
|
10
|
Reflections about reflection
– Attardi, Simi
- 1991
|
|
8
|
M.: Ontologies, Contexts, and Mediation: Representing and Reasoning about Semantic
– Goh, Madnick, et al.
- 1995
|
|
5
|
On the circumstantial relation between meaning and content
– Barwise
- 1989
|
|
4
|
Contexts, oracles, and relevance
– Akman, Surav
- 1995
|
|
4
|
What is in a context
– Akman, Tin
- 1990
|
|
4
|
Context dependence of representations in CYC
– Guha
- 1993
|
|
4
|
CYC: A Large-Scale Investment inKnowledge Infrastructure
– Lenat
- 1995
|
|
4
|
A logical AI approach to context
– McCarthy
- 1995
|
|
3
|
Quanti cational logic of context
– Buvac
- 1995
|
|
2
|
Situations and small worlds
– Barwise
- 1987
|
|
2
|
Motivation analysis, abductive uni cation and nonmonotonic equality
– Charniak
- 1988
|
|
2
|
Multi-context systems as a speci cation framework for complex reasoning systems
– Giunchiglia, Traverso, et al.
- 1992
|
|
2
|
Generality in arti cial intelligence
– McCarthy
- 1987
|
|
2
|
Arti cial intelligence, logic and formalizing common sense
– McCarthy
- 1989
|
|
1
|
Dictionary of Philosophy. Harper and Row
– Angeles
- 1981
|
|
