DOCSLIB.ORG

THE MATHEMATICS OFGIS V 4

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
THE MATHEMATICS OFGIS V 4 Kainz) Kainz Wolfgang ofThe Mathematics GIS Wolfgang (© release public for Not - Draft Kainz) Wolfgang (© release public for Not - Wolfgang Kainz Draft Department of Geography and Regional Research University of Vienna Universitätsstraße 7, A-1010 Vienna, Austria E-Mail: [email protected] Version 2.1 (August 2010) Contents 0. Preface ............................................................................ XI 1. The Structure of Mathematics ........................................ 1 1.1 Brief History of Mathematics ...................................................................... 2 1.2 Sub-disciplines of Mathematics................................................................... 2 Kainz) 2. Propositional Logic .......................................................... 5 2.1 Assertion and Proposition ............................................................................ 6 2.2 Logical Operators ......................................................................................... 7 2.3 Types of Propositional Forms ...................................................................... 9 2.4 Applications in GIS .................................................................................... 11 2.5 Exercises ..................................................................................................... 11 Wolfgang 3. Predicate Logic .............................................................. 13 3.1 Predicates .................................................................................................... 14 (© 3.2 Quantifiers .................................................................................................. 15 3.3 Quantifiers and Logical Operators ............................................................ 16 3.4 Compact Notation ...................................................................................... 17 3.5 Applications in GIS .................................................................................... 18 3.6 Exercises ..................................................................................................... 18 4. Logical Inference ........................................................... 19 release 4.1 Logical Arguments ..................................................................................... 20 4.2 Proving Arguments Valid in Propositional Logic .................................... 20 4.2.1 Proving Arguments Valid with Truth Tables ................................................................ 21 4.2.2 Proving Arguments Valid with Rules of Inference ....................................................... 21 4.3 Proving Arguments Valid in Predicate Logic ........................................... 22 public 4.4 Applications in GIS .................................................................................... 23 4.5 Exercises ..................................................................................................... 23 for 5. Set Theory ...................................................................... 25 5.1 Sets and Elements ...................................................................................... 26 5.2 Relations between Sets .............................................................................. 27 Not 5.3 Operations on Sets ...................................................................................... 27 - 5.4 Applications in GIS .................................................................................... 29 5.5 Exercises ..................................................................................................... 30 6. Relations and Functions ............................................... 31 Draft 6.1 Cartesian Product ....................................................................................... 32 6.2 Binary Relations ......................................................................................... 32 6.2.1 Relations and Predicates ................................................................................................ 33 6.2.2 Graphic Representation of Binary Relations ................................................................ 33 I II 6.2.3 Special Properties of Relations ...................................................................................... 33 6.2.3.1 Equivalence Relation .............................................................................................................. 34 6.2.3.2 Order Relation ......................................................................................................................... 35 6.2.4 Composition of Relations ............................................................................................... 35 6.3 Functions .................................................................................................... 36 6.3.1 Composition of Functions .............................................................................................. 37 6.3.2 Classes of Functions ....................................................................................................... 37 6.4 Applications in GIS .................................................................................... 40 6.5 Exercises ..................................................................................................... 42 Kainz) 7. Coordinate Systems and Transformations .................. 43 7.1 Coordinate Systems .................................................................................... 44 7.1.1 Cartesian Coordinate Systems ....................................................................................... 44 7.1.2 Polar Coordinate Systems .............................................................................................. 45 7.1.3 Transformations between Cartesian and Polar Coordinate Systems ........................ 45 7.1.4 Geographic Coordinate System ..................................................................................... 47 7.2 Vectors and Matrices ................................................................................. 47 7.2.1 Vectors ............................................................................................................................. 47 7.2.2 Matrices ........................................................................................................................... 51 Wolfgang 7.3 Transformations ......................................................................................... 52 7.3.1 Geometric Transformations ........................................................................................... 52 7.3.1.1 Translation ............................................................................................................................... 52 (© 7.3.1.2 Rotation .................................................................................................................................... 53 7.3.1.3 Scaling ...................................................................................................................................... 53 7.3.2 Combination of Transformations .................................................................................. 54 7.3.3 Homogeneous Coordinates ............................................................................................ 55 7.3.4 Transformation between Coordinate Systems .............................................................. 56 7.4 Applications in GIS .................................................................................... 57 7.5 Exercises ..................................................................................................... 58 release 8. Algebraic Structures ..................................................... 59 8.1 Components of an Algebra ........................................................................ 60 8.1.1 Signature and Variety ..................................................................................................... 60 8.1.2 Identity and Zero Elements ............................................................................................ 61 8.2 Varieties of Algebras .................................................................................. 61 public 8.2.1 Group ............................................................................................................................... 62 8.2.2 Field ................................................................................................................................. 62 8.2.3 Boolean Algebra ............................................................................................................. 63 8.2.4 Vector Space .................................................................................................................... 63 for 8.3 Homomorphism ......................................................................................... 64 8.4 Applications in GIS .................................................................................... 65 8.5 Exercises ..................................................................................................... 66 Not - 9. Topology ......................................................................... 67 9.1 Topological Spaces .................................................................................... 68 9.1.1 Metric Spaces and Neighborhoods ............................................................................... 68 9.1.2 Topology and Open Sets ................................................................................................
Load more

Recommended publications
  • Hilog: a Foundation for Higher-Order Logic Programming
    J. LOGIC PROGRAMMING 1993:15:187-230 187 HILOG: A FOUNDATION FOR HIGHER-ORDER LOGIC PROGRAMMING WEIDONG CHEN,* MICHAEL KIFER, AND DAVID S. WARREN D We describe a novel logic, called HiLog, and show that it provides a more suitable basis for logic programming than does traditional predicate logic. HiLog has a higher-order syntax and allows arbitrary terms to appear in places where predicates, functions, and atomic formulas occur in predicate calculus. But its semantics is first-order and admits a sound and complete proof procedure. Applications of HiLog are discussed, including DCG grammars, higher-order and modular logic programming, and deductive databases. a 1. PREFACE Manipulating predicates, functions, and even atomic formulas is commonplace in logic programming. For example, Prolog combines predicate calculus, higher-order, and meta-level programming in one working system, allowing programmers routine use of generic predicate definitions (e.g., transitive closure, sorting) where predi- cates can be passed as parameters and returned as values [7]. Another well-known useful feature is the “call” meta-predicate of Prolog. Applications of higher-order constructs in the database context have been pointed out in many works, including [24, 29, 411. Although predicate calculus provides the basis for Prolog, it does not have the wherewithal to support any of the above features, which, consequently, have an ad hoc status in logic programming. In this paper, we investigate the fundamental principles underlying higher-order logic programming and, in particular, shed new light on why and how these Prolog features appear to work in practice. We propose *Present address: Computer Science and Engineering, Southern Methodist University, Dallas, TX 75275.
    [Show full text]
  • An Introduction to Critical Thinking and Symbolic Logic: Volume 1 Formal Logic
    An Introduction to Critical Thinking and Symbolic Logic: Volume 1 Formal Logic Rebeka Ferreira and Anthony Ferrucci 1 1An Introduction to Critical Thinking and Symbolic Logic: Volume 1 Formal Logic is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License. 1 Preface This textbook has developed over the last few years of teaching introductory symbolic logic and critical thinking courses. It has been truly a pleasure to have beneted from such great students and colleagues over the years. As we have become increasingly frustrated with the costs of traditional logic textbooks (though many of them deserve high praise for their accuracy and depth), the move to open source has become more and more attractive. We're happy to provide it free of charge for educational use. With that being said, there are always improvements to be made here and we would be most grateful for constructive feedback and criticism. We have chosen to write this text in LaTex and have adopted certain conventions with symbols. Certainly many important aspects of critical thinking and logic have been omitted here, including historical developments and key logicians, and for that we apologize. Our goal was to create a textbook that could be provided to students free of charge and still contain some of the more important elements of critical thinking and introductory logic. To that end, an additional benet of providing this textbook as a Open Education Resource (OER) is that we will be able to provide newer updated versions of this text more frequently, and without any concern about increased charges each time.
    [Show full text]
  • Weak Formal Systems
    Filosofick´afakulta Universita Karlova v Praze Weak Formal Systems diplomov´apr´ace Praha, 2003 studijn´ı obor: logika-informatika vypracoval: Jan Henzl vedouc´ıpr´ace: Doc. RNDr. Jan Kraj´ıˇcek, DrSc. Prohlaˇsuji, ˇze jsem tuto pr´aci vypracoval samostatnˇeapouˇzil v´yhradnˇe citovan´ych pramen˚u. Contents 1Abstract 4 2 Introduction 5 3 Propositional proof systems 7 4 Examples of propositional proof systems 10 5 Predicate calculus as a propositional proof system 14 6 Weak first order theories 19 7 Theories extending T∞ 28 8 Theories with ”fast growing models” 34 9Furtherresearch 42 10 Symbol index 43 References 44 3 1Abstract In this work we study the calculi for first-order logic as propositional proof systems. It is easy to see (and discussed in this thesis formally) that predicate calculi can serve as propositional proof systems. The question is whether they can allow for some shorter proofs. The motivation for this comes from a problem whether there exists a polynomially bounded proof system. We will shortly review this problem (first stated by S.A.Cook and R.A.Reckhow [CR]) in the introduction to this thesis. We interpret calculi for predicate logic and some first-order theories as propositional proof system in the sense of Cook-Reckhow [CR] and we study their efficiency in terms of polynomial simulations. We prove that predicate calculus is polynomially equivalent to Frege systems while a theory saying that there are at least two different elements is polynomially equivalent to the Quantified propositional calculus. We prove analogous results also for some stronger theories. Further we define the notion of a ”weak theory” and show that weak theries can be polynomially simulated by the Quantified propositional logic too.
    [Show full text]
  • Mathematical Logic II
    I. The Study of Logical Systems 1. The logic of the metalanguage Often, we’ll be using the metalanguage to prove things about the object In this course, we’ll be studying a number of logical systems, also known as language, and proving anything requires logical vocabulary. Luckily, logical theories or deductive systems. Minimally, a logical system consists English has handy words like “all”, “or”, “and”, “not”, “if”, and it allows of four things: us to add new words if we want like “iff” for “if and only if”. Of course, 1. A vocabulary of primitive signs used in the language of that system. our object languages also have logical vocabularies, and have signs like 2. A list or set of rules governing what strings of signs (called “formu- “ ”, “ ”, “ ”, “ ”. But we’d better restrict those signs to the object ! : _ 8 las”) are grammatically or syntactically well-formed in the language language unless we want to get ourselves confused. of that system. But we do want our metalanguage to be very clear and precise. For 3. A list of axioms, or a subset of the well-formed formulas, considered that reason, when we use the word “or”, unless suggested otherwise, we as basic and unprovable principles taken as true in the system. mean by this the inclusive meaning of “or”. Similarly, if we use the phrase 4. A specification of what inferences, or inference patterns or rules, “if . then . ” in this class we always mean the material conditional are taken as valid in that system. unless stated otherwise. (This makes our metalanguage slightly more precise than ordinary English.) The same sorts of logical inferences that (3–4 can be done in different ways, semantically or syntacti- apply in the object language also apply in the metalanguage.
    [Show full text]
  • Alex Paseau Has Prepared Some Notes, Which Can Be Downloaded
    Logic and Philosophical Logic Miscellaneous Results and Remarks1 A.C. Paseau [email protected] Monday 14 January 2019 In today's class we'll go over some formal results. Some of these will be required or helpful for later classes; others will not be directly related to the remaining classes but should be part of every philosophical logician's toolkit. I assume that students have taken an intermediate logic course (or perhaps even just a demanding introductory course, like the Oxford one), in which they have gained familiarity with propositional and rst-order logic (also known as predicate logic). In any case, I've included a review of rst-order logic and its semantics in section 2 below, for completeness. 1 Languages Let's begin by distinguishing sentences of (a) natural language, (b) an interpreted formal language, and (c) an uninterpreted formal language. Examples of natural- language sentences: • Everyone is self-identical. • If Joe is tall then Joe is tall. • No even numbers are odd. Some examples of interpreted formal-language sentences: • 8x(x = x) with the following interpretation: the domain is the set of people, the identity sign is interpreted as identity, and the universal quantier symbol as the universal quantier over all people. • p ! p with the interpretation: p means that Joe is tall and the arrow is interpreted as the truth-functional (material) conditional. • 8x(Ex !:Ox) with the interpretation: the domain is the set of all numbers, the rst predicate symbol is interpreted as `is even', the second as `is odd', the arrow as the material conditional, the negation symbol as truth-functional (sentential) negation, and the universal quantier symbol ranges over all numbers.
    [Show full text]
  • Syntax and Semantics
    Chapter udf Syntax and Semantics Basic syntax and semantics for SOL covered so far. As a chapter it's too short. Substitution for second-order variables has to be covered to be able to talk about derivation systems for SOL, and there's some subtle issues there. syn.1 Introduction sol:syn:int: In first-order logic, we combine the non-logical symbols of a given language, i.e., sec its constant symbols, function symbols, and predicate symbols, with the logical symbols to express things about first-order structures. This is done using the notion of satisfaction, which relatesa structure M, together with a variable assignment s, anda formula ': M; s ' holds iff what ' expresses when its constant symbols, function symbols, and predicate symbols are interpreted as M says, and its free variables are interpreted as s says, is true. The interpre- tation of the identity predicate = is built into the definition of M; s ', as is the interpretation of 8 and 9. The former is always interpreted as the identity relation on the domain jMj of the structure, and the quantifiers are always interpreted as ranging over the entire domain. But, crucially, quantification is only allowed over elements of the domain, and so only object variables are allowed to follow a quantifier. In second-order logic, both the language and the definition of satisfac- tion are extended to include free and bound function and predicate variables, and quantification over them. These variables are related to function sym- bols and predicate symbols the same way that object variables are related to constant symbols.
    [Show full text]
  • Intuitionistic Interpretation of Deductive Databases with Incomplete Information*
    Theoretical Computer Science 133 (1994) 267-306 267 Elsevier Intuitionistic interpretation of deductive databases with incomplete information* Fangqing Dong and Laks V.S. Lakshmanan Department of Computer Science, Concordia Uniuersiiy. Monireal, H3G IM8, Canada Abstract Dong, F. and L.V.S. Lakshmanan, Intuitionistic interpretation of deductive databases with incom- plete information, Theoretical Computer Science 133 (1994) 267-306. The aim of this paper is to build the relationship between deductive databases with incomplete information and hypothetical reasoning using embedded implications. We first consider the seman- tics of deductive databases with incomplete information in the form of null values. We motivate query answering against a deductive database with nulls as the problem of extracting the maximal information from a (deductive) database in response to queries, and formalize this in the form of conditional answers in a (syntactic) higher-order logic. We give a fixpoint semantics to deductive databases with nulls, and examine the relationship between existing recursive query processing techniques and the proof procedure for deductive databases with nulls. We then examine hypotheti- cal reasoning using embedded implications and develop an intuitionistic model semantics for embedded implications with integrity constraints. Finally, we illustrate by example a method for transforming embedded implications into deductive databases with nulls. This result shows that the important functionality of hypothetical reasoning can be implemented within the framework of deductive databases with null values. 1. Introduction Deductive databases with their improved expressive power over relational databases and their underlying logical foundations, support high level declarative querying, making them suitable for many applications. Indeed, the past decade has witnessed an explosive research into deductive databases, in particular w.r.t.
    [Show full text]
  • FIXED-POINT EXTENSIONS of FIRST-ORDER LOGIC 0. Introduction
    Annals of Pure and Applied Logic 32 (1986) 265-280 265 North-Holland FIXED-POINT EXTENSIONS OF FIRST-ORDER LOGIC Yuri GUREVICH* Electrical Engineering and Computer Science Department, The University of Michigan, Ann Arbor, All 48109-1109, USA Saharon SHELAHt Institute of Mathematics and Computer Science, The Hebrew University, 91904 Jerusalem, Israel, and EECS Department and Mathematics Department, The University of Michigan, Ann Arbor, MI 48109, USA Communicated by A. Nerode Received 28 May 1985 We prove that the three extensions of first-order logic by means of positive inductions, monotone inductions, and so-called non-monotone (in our terminology, inflationary) induc- tions respectively, all have the same expressive power in the case of finite structures. 0. Introduction In 1979 Aho and Ullman [3] noted that the relational calculus is unable to express the transitive closure of a given relation, and suggested extending the relational calculus by adding the least fixed-point operator. The relational calculus [25] is a standard relational query language; from the point of view of expressive power, the relational calculus is exactly first-order logic. Aho and Ullman's paper triggered an extensive study of the expressive power of fixed-point extensions of first-order logic [5, 15, 26, 17, 9, 4, etc.] with emphasis on finite structures. There are two fields where fixed-point extension of first-order logic were extensively studied earlier. One is the theory of inductive definitions [1, 10, 13, 19, 20, 22, 24, etc]. The other is semantics of programming languages where a fixed-point extension of first-order logic is known as first-order/t-calculus [7, 14, 21, 23, etc].
    [Show full text]
  • THE LOGIC of QUANTIFIED STATEMENTS Outline
    CHAPTER 3 THE LOGIC OF QUANTIFIED STATEMENTS Outline • Intro to predicate logic • Predicate, truth set • Quantifiers, universal, existential statements, universal conditional statements • Reading & writing quantified statements • Negation of quantified statements • Converse, Inverse and contrapositive of universal conditional statements • Statements with multiple quantifiers • Argument with quantified statements So far: Propositional Logic Propositional logic: statement, compound and simple, logic connectives. Logical equivalence, Valid arguments (rules of inference) … Extension to Boolean algebra & application to digital logic circuit Limitation of propositional logic Is the following a valid argument? Lesson: In propositional logic, each simple statement is All men are mortal. atomic (basic building block). But here we need to Socrates is a man. analyze different parts of one statement. Socrates is mortal. Let’s try to see if propositional logic can help here… The form of the argument is: p q r Why Predicate Logic? Is the following a valid argument? All men are mortal. Socrates is a man. Socrates is mortal. How: In predicate logic, we look inside parts of each statement. for any x, if x “is a man”, then x “is a mortal” Socrates “is a man” Socrates “is mortal” Predicates • (in Grammar) “the part of a sentence or clause containing a verb and stating something about the subject” • (e.g., went home in “John went home” ). • In logic, predicates can be obtained by removing some or all nouns from a statement. Predicates in a statement • Predicates can be obtained by removing some or all nouns from a statement. • Example: In “Alice is a student at Bedford College.”: 1. P stand for “is a student at Bedford College”, P is called predicate symbol need to plug back noun to make a complete sentence: • Original sentence is symbolized as P(Alice), which might be true, might be false, but not both.
    [Show full text]
  • Formal Predicate Calculus
    Formal Predicate Calculus Michael Meyling May 24, 2013 2 The source for this document can be found here: http://www.qedeq.org/0_04_07/doc/math/qedeq_formal_logic_v1.xml Copyright by the authors. All rights reserved. If you have any questions, suggestions or want to add something to the list of modules that use this one, please send an email to the address [email protected] The authors of this document are: Michael Meyling [email protected] Contents Summary5 1 Language7 1.1 Terms and Formulas.........................7 2 Axioms and Rules of Inference 11 2.1 Axioms................................ 11 2.2 Rules of Inference........................... 12 3 Propositional Calculus 15 3.1 First Propositions.......................... 15 3.2 Deduction Theorem......................... 16 3.3 Propositions about implication................... 17 3.4 Propositions about conjunction................... 19 3.5 Propositions about disjunction................... 24 3.6 Propositions about negation..................... 26 3.7 Mixing conjunction and disjunction................. 29 Bibliography 33 Index 33 3 4 CONTENTS Summary In this text we present the development of predicate calculus in axiomatic form. The language of our calculus bases on the formalizations of D. Hilbert, W. Ack- ermann[3], P. S. Novikov[1], V. Detlovs and K. Podnieks[2]. New rules can be derived from the herein presented logical axioms and basic inference rules. Only these meta rules lead to a smooth flowing logical argumentation. For background informations see under https://dspace.lu.lv/dspace/handle/ 7/1308 [2] and http://en.wikipedia.org/wiki/Propositional_calculus. 5 6 CONTENTS Chapter 1 Language In this chapter we define a formal language to express mathematical proposi- tions in a very precise way.
    [Show full text]
  • FIXED-POINT EXTENSIONS of FIRST-ORDER LOGIC 0. Introduction
    Sh:244a Annals of Pure and Applied Logic 32 (1986) 265-280 265 North-Holland FIXED-POINT EXTENSIONS OF FIRST-ORDER LOGIC Yuri GUREVICH* Electrical Engineering and Computer Science Department, The University of Michigan, Ann Arbor, All 48109-1109, USA Saharon SHELAHt Institute of Mathematics and Computer Science, The Hebrew University, 91904 Jerusalem, Israel, and EECS Department and Mathematics Department, The University of Michigan, Ann Arbor, MI 48109, USA Communicated by A. Nerode Received 28 May 1985 We prove that the three extensions of first-order logic by means of positive inductions, monotone inductions, and so-called non-monotone (in our terminology, inflationary) induc- tions respectively, all have the same expressive power in the case of finite structures. 0. Introduction In 1979 Aho and Ullman [3] noted that the relational calculus is unable to express the transitive closure of a given relation, and suggested extending the relational calculus by adding the least fixed-point operator. The relational calculus [25] is a standard relational query language; from the point of view of expressive power, the relational calculus is exactly first-order logic. Aho and Ullman's paper triggered an extensive study of the expressive power of fixed-point extensions of first-order logic [5, 15, 26, 17, 9, 4, etc.] with emphasis on finite structures. There are two fields where fixed-point extension of first-order logic were extensively studied earlier. One is the theory of inductive definitions [1, 10, 13, 19, 20, 22, 24, etc]. The other is semantics of programming languages where a fixed-point extension of first-order logic is known as first-order/t-calculus [7, 14, 21, 23, etc].
    [Show full text]
  • Higher-Order Logic Programming †
    Higher-Order Logic Programmingy Gopalan Nadathur z Computer Science Department, Duke University Durham, NC 27706 [email protected] Phone: +1 (919) 660-6545, Fax: +1 (919) 660-6519 Dale Miller Computer Science Department, University of Pennsylvania Philadelphia, PA 19104-6389 USA [email protected] Phone: +1 (215) 898-1593, Fax: +1 (215) 898-0587 y This paper is to appear in the Handbook of Logic in Artificial Intelligence and Logic Programming, D. Gabbay, C. Hogger and A. Robinson (eds.), Oxford University Press. z This address is functional only until January 1, 1995. After this date, please use the following address: Department of Computer Science, University of Chicago, Ryerson Laboratory, 1100 E. 58th Street, Chicago, IL 60637, Email: [email protected]. Contents 1 Introduction 3 2 Motivating a Higher-Order Extension to Horn Clauses 5 3 A Higher-Order Logic 12 3.1 The Language :::::::::::::::::::::::::::::::::::::::: 12 3.2 Equality between Terms :::::::::::::::::::::::::::::::::: 14 3.3 The Notion of Derivation ::::::::::::::::::::::::::::::::: 17 3.4 A Notion of Models :::::::::::::::::::::::::::::::::::: 19 3.5 Predicate Variables and the Subformula Property :::::::::::::::::::: 21 4 Higher-Order Horn Clauses 23 5 The Meaning of Computations 27 5.1 Restriction to Positive Terms ::::::::::::::::::::::::::::::: 28 5.2 Provability and Operational Semantics :::::::::::::::::::::::::: 32 6 Towards a Practical Realization 35 6.1 The Higher-Order Unification Problem :::::::::::::::::::::::::: 35 6.2 P-Derivations ::::::::::::::::::::::::::::::::::::::::
    [Show full text]