Wikipedia defines logic primarily as a discipline, which deals with the systematic study of principles pertaining to reasoning with the value of time. It deals with the structure of statements and arguments in formal systems of inference and natural language. It is basically categorized in many disciplines depending on its specific function and purpose. One of its examples is temporal logic. Temporal logic is a system of rules, symbolism, reasoning and propositions pertaining to time. Its formula serves many applications focusing on natural language, artificial intelligence and computer science. This is a type of logic that uses finite logic rules and linear logic equations. Application of truth tables logic can also be a component in verifying a temporal logic sequence.
Linguistics is the study of natural language. It can distinguish constructed languages from formal languages. It is basically used to study formal logic and mathematical logic. In a study conducted in 1947, the Tense Logician Hans Reichenbach dealt with the analysis of English tenses. From this analysis, he stated the function of each tense is to specify the temporal relationships among the three sets of time. These sets are past, present and future. In his formula, speech time has the symbol of S, the reference time as R and the event time as E. In this manner, the simple past tense is distinguished from the present perfect tense. However, the analysis may be inadequate to account the full range of tense usage in natural language.
Artificial Intelligence is the science and engineering of creating intelligent machines. This is particularly pertaining to intelligent computer systems such as robots. Intelligence is the measurable part of the ability to achieve goals. It involves mechanisms that artificial intelligence has to learn in order to do tasks. In 1984, two scientists dedicated themselves in finding a framework that would fit all temporal representations. This framework was intended for the use of artificial intelligence programs. Kowalski and Sergot focused on the framework of logic programming, but the outcome of their research seemed too general. They have created mathematical foundations and computational aspects to build a more stable system. This has been the key aspect of motion planning for dynamic robots.
Computer science, properly known also as computing science, basically deals with the study of the theoretical foundations of information and computation. It is the study of algorithmic processes that interprets and transforms data or information. Temporal Logic gives an intensive application in this specific area of computer science. It is concentrated on the specification and verification of programs, especially during the multi-tasking of applications concurrently being processed by the computer. It is very important to specify the manner in which the various actions of the processors are connected.
The relative timing of the actions should be carefully coordinated to maintain the integrity of the information shared among the processors. Non-determinism is an essential concern in computer science applications. There are two important systems for temporal logic namely, CTL or Computation Tree Logic and the more expressive CTL System. These are the fields where we can see some applications of temporal logic.
Delicious
Digg
Google
Yahoo
