Logic in computer science compelling analysis of what can be called a mechanical procedure and Kurt Gödel asserted that he found Turing's analysis "perfect." In addition some other major areas of theoretical overlap between logic and computer science are: One of the first applications to use the term Artificial Intelligence was the Logic Theorist system developed by Allen Newell, J.C. Shaw, and Herbert Simon in 1956. One of the things that a logician does is to take a set of statements in logic and deduce the conclusions (additional statements) that must be true by the laws of logic. For example, If given a logical
Narrative logic point is that, despite blindness, Driver is still a highly trained professional who would not easily succumb to death by a small reptile. This example shows how the application of narrative logic may lead to different conclusions using the same evidence. However, these conclusions are similar in that they do not detract from the narrative itself, but only build upon it. Narrative logic Narrative logic describes any logical process of narrative analysis used by readers or viewers to understand and draw conclusions from narratives. Narrative logic is a tool through which the audience may infer actions, events, intentions, thoughts, beliefs,