Title: A logic for the representation of spatial knowledge
Abstract: In this introduction we start speaking about temporal logic. In fact, while a wide corpus of studies about temporal logic exists, it is obvious that in a universe where modem relativistic physics has been written down in the book space and time are related both in conceptualization and in formal theories about them. Besides and most important spatial and temporal logic a r e placed in the same category from the fact of being both topologic logics, that is logics in which a particular collocation of the entities of the universe in an abstract space has a particular relevance. In the philosophy tradition there are two approaches to the representation of time in logic, the first-order and the modal, or intensional, one. First-order supporters sustain the theory that time, while being an important one, is just yet another variable, and so we do not need a particular logic built around time in order to expose the temporal properties of the entities described. The theoretical background of such scientists is generally the study of the logic foundations of mathematics. In opposition when logic is used to analyze the formal properties of the language the tense structure becomes a relevant topic. The first modem philosopher to propose a modal logic for the analysis of the language was Prior, in its Tense Logic [Prior 1955]. In his work, from the proposition p the modal assertions Fp (it will be the case that p) Pp (it has been the case that p) and other ones can be derived, where F and P are the modal operators. In the eighties temporal logic has been investigated in the artificial intelligence field in order to build a theory of events and actions. Here too we can see the use of standard first-order logic and of the intensional one. The intensional temporal logic that we can find in
Publication Year: 1991
Publication Date: 1991-01-01
Language: en
Type: book-chapter
Indexed In: ['crossref']
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot