This paper studies the management of geographic information and knowledge flows for decision support in crisis situations. The authors compare and contrast a number of concepts that have been forwarded by academics as possible methodologies for the study of this area. The authors believe that they may have found an answer using system models combined with decision-making, information management...

The methods used in commercial GIS packages for both the representation and analysis of geographic data are inadequate, because they do not handle uncertainty. This leads to information loss and inaccuracy in analysis with adverse consequences in the spatial decision-making process. The incorporation of fuzzy set methodologies into a DBMS repository for the application domain of GIS should be b...

The present situation is a life of basic geographic information. Only when basic geographic information has to renew continuously can it reflect truly the present situation of the nature and cultural features. On the base of deep studying, this paper provides the practical solution of the urban geo-spatial information updating quickly facing the rapid development of our country city building. T...

Throughout the history of Greek, there has been a tension between and among different geographic dialects and different stylistic registers of usage, a situation with both purely linguistic and decidedly sociolinguistic dimensions. In this presentation, along with some discussion of the general evidence bearing on this tension from various stages of Greek, I survey some of the particular eviden...

In many tasks related to reasoning about consequences of a logical theory, it is desirable to decompose the theory into a number of components with weakly-related or independent signatures. This facilitates reasoning when the signature of a query formula belongs to only one of the components. However, an initial theory may be subject to change due to execution of actions affecting features ment...

In this paper we consider updates that are specified as rules and consider simple knowledge bases consisting of ground atoms. We present a translation of the rule based update specifications to extended logic programs using situation calculus notation so as to compute the updated knowledge base. We show that the updated knowledge base that we compute satisfies the update specifications and yet ...

Location estimation is a fundamental sensing task in robotic applications, where the world is uncertain, and sensors and effectors are noisy. Most systems make various assumptions about the dependencies between state variables, and especially about how these dependencies change as a result of actions. Building on a general framework by Bacchus, Halpern and Levesque for reasoning about degrees o...

We propose a model of belief and intention change over the course of a dialogue, in the case where the decisions taken during the dialogue affect the possibly conflicting goals of the agents involved. We use Situation Calculus to model the evolution of the world and an observation model to analyze the evolution of intentions and beliefs. In our formalization, utterances, that only change the be...

The situation calculus (SC) is a formalism for reasoning about action. Within SC, the notion of state of a given situation is usually characterized by the set of uents that hold in that situation. However, this concept is insuucient for system speciication. To overcome this limitation, an extension of SC is proposed, the situation and state calculus (SSC), where the concept of state is primitiv...