This paper presents a format for representing the l inguist ic form of utterances, cal led situation schemata, which is rooted in the situation semantics of Barwise and Perry. A treatment of locative prepositional phrases is given, thus illustrating the generat ion of the situation schemata and their interpretation in situation semantics. I n t r o d u c t i o n A natural language system aims t...

We consider time-dependent systems and their possible states or situations. In order to do this, we define suitable algebraic structures, including time. Situation descriptions are represented with the corresponding formulas and we look at inferences from formulas, where the inference may be partially incorrect. We define the measure of correctness and show how it can be used to compare the pla...

The PUNDIT system processes natural language descriptions of situations and the intervais over which they hold using an algorithm that integrates ~peet and ~en~e [ogle. It analyzes the tense and aspect of the realverb to generate representations of three types of situations-states, processes and events-and to locate the situations with respect to the time at which the text was produced. Each si...

This paper presents a logical axiomatization of bargaining solutions. A bargaining situation is described in propositional logic and the bargainers’ preferences are quantified in terms of the logical structure of the bargaining situation. A solution to the n-person bargaining problems is proposed based on the maxmin rule over the degrees of bargainers’ satisfaction. We show that the solution is...

216 May 2009 Persons with borderline personality disorder (BPD) and related traits appear in many forensic psychiatry settings. Their clinical hallmarks affecting judgment, insight, impulsivity, motivations, and regulation of emotions, as well as their frequently chaotic lives (internal and external), inaccurate perceptions, rationalizations, and comorbid syndromes can have a marked effect on m...

In this chapter we propose some new tools for mapping systems development projects. Maps—as we propose them—contain descriptions and interpretations of project situations: they are helpful in collecting and organizing relevant, often neglected knowledge and experience. Maps are cognitive constructs containing pictures that actors make of the situation in which they are involved. They are typica...

In Situations and Atti tudes (Barwise and Perry 1983) Barwise and Perry decide that meaning should be taken to be a triadic relation not a dyadic one. While there may be good reasons for deciding to procede on this basis, one of the reasons they give is definitely a bad one, and this is the principal subject of this note. On pages 222-23 they remark that if meaning is to be a dyadic relation it...

Evaluating software is a complex decision aiding activity which requires the recognition of the problem situation in which the evaluation is requested, the establishment of a set of problem formulations which represent the client’s “problems” and, for a specific problem formulation, the construction of an evaluation model which indicates how such an evaluation will be performed. In this paper t...

Situations serving as partial worlds as well as events in natural language semantics are constructed from a type-theoretic interpretation of firstorder formulae and (after a type reduction) temporal formulae. Limitations of the Russell-Wiener-Kamp derivation of time from events are discussed and overcome to give a more widely applicable account of temporal granularity. Finite situations are for...

In order to understand the nature of Web information search processes it is necessary to identify the interplay of factors at the micro-level, that is, to understand how search process related factors such as the actions performed by the searcher on the system are influenced by various factors that might explain it, for example, those related to his work task, search task, knowledge about the w...