DOCSLIB.ORG

Teaching Infinitesimal Calculus in High School with Infinitesimals

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

INSTITUT FOR NATURFAGENES DIDAKTIK KØBENHAVNS UNIVERSITET Teaching infinitesimal calculus in high school with infinitesimals Mikkel Mathias Lindahl og Jonas Kyhnæb Kandidatspeciale September 2016 IND’s studenterserie nr. 53 INSTITUT FOR NATURFAGENES DIDAKTIK, www.ind.ku.dk Alle publikationer fra IND er tilgængelige via hjemmesiden. IND’s studenterserie 43. Lene Eriksen: Studie og forskningsforløb om modellering med variabelsammenhænge (2015) 44. Caroline Sofie Poulsen: Basic Algebra in the transition from lower secondary school to high school 45. Rasmus Olsen Svensson: Komparativ undersøgelse af deduktiv og induktiv matematikundervisning 46. Leonora Simony: Teaching authentic cutting-edge science to high school students(2016) 47. Lotte Nørtoft: The Trigonometric Functions - The transition from geometric tools to functions (2016) 48. Aske Henriksen: Pattern Analysis as Entrance to Algebraic Proof Situations at C-level (2016) 49. Maria Hørlyk Møller Kongshavn: Gymnasieelevers og Lærerstuderendes Viden Om Rationale Tal (2016) 50. Anne Kathrine Wellendorf Knudsen and Line Steckhahn Sørensen: The Themes of Trigonometry and Power Functions in Relation to the CAS Tool GeoGebra (2016) 51. Camilla Margrethe Mattson: A Study on Teacher Knowledge Employing Hypothetical Teacher Tasks - Based on the Principles of the Anthropological Theory of Didactics (2016) 52. Tanja Rosenberg Nielsen: Logical aspects of equations and equation solving - Upper secondary school students’ practices with equations (2016) 53. Mikkel Mathias Lindahl and Jonas Kyhnæb: Teaching infinitesimal calculus in high school - with infinitesimals (2016) Se tideligere serier på: www.ind.ku.dk/publikationer/studenterserien/ Abstract In high school students have their first encounter with the notion of infinitesimal calculus. A common problem encountered when introducing this subject is for the students to understand the theory behind the techniques they develop when being taught this. In this thesis the use of infinitesimals will be reinstated to teach this particular theme. They were used to teach infinitesimal calculus even after their abolishment, when the real numbers were constructed. With the dawn of the nonstandard analysis, through the construction of the hyperreal numbers, the infinitesimals were reinstalled as a mathematical sound quantity. This thesis will give reasons for or against the use of infinitesimals in the form of nonstandard analysis by employing the anthropological theory of didactics. The thesis will give a short introduction of how the hyperreal numbers are constructed and how the definition of the differential quotient and integral is equivalent statements to the definitions usually encountered in high school. A teaching course was done in order to survey if the didactical reasons suggested by the theories are noticeable when introducing infinitesimal calculus, with infinitesimals, in high school. As such a textbook material had to be developed in order for the students to prepare for the exam(s). This textbook material is void of the construction of the hyperreal numbers, as introduced in the thesis, but hinges on an intuitive construction of infinitesimal quantities to generate them. An analysis of the teaching employing the anthropological theory of didactics was done in order to determine if the merits of the infinitesimals are on par with the theoretical reasons. The thesis concludes that teaching based on infinitesimals are realistic and helps engage the students by letting their intuition guide them to a great degree.. IND’s studenterserie består af kandidatspecialer og bachelorprojekter skrevet ved eller i tilknytning til Institut for Naturfagenes Didaktik. Disse drejer sig ofte om uddannelsesfaglige problemstillinger, der har interesse også uden for universitetets mure. De publiceres derfor i elektronisk form, naturligvis under forudsætning af samtykke fra forfatterne. Det er tale om studenterarbejder, og ikke endelige forskningspublikationer. Se hele serien på: www.ind.ku.dk/publikationer/studenterserien/ Teaching infinitesimal calculus in high school with infinitesimals −1 −1 −1 1 1 1 − 1 + 1 −푑푥 0 푑푥 − 1 + 1 푑푥 푑푥 푑푥 푑푥 푑푥 푑푥 -2 -1 0 1 2 Master’s Thesis Mikkel Mathias Lindahl and Jonas Kyhnæb Supervisor: Carl Winsløw Department of Science Education Date of submission: 08.08.2016 Names: Mikkel Mathias Lindahl & Jonas Kyhnæb Title: Natsværmer Department: Department of Science Education Supervisor: Carl Winsløw Time frame: February – August, 2016 Abstract In high school students have their first encounter with the notion of infinitesimal calculus. A common problem encountered when introducing this subject is for the students to understand the theory behind the techniques they develop when being taught this. In this thesis the use of infinitesimals will be reinstated to teach this particular theme. They were used to teach infinitesimal calculus even after their abolishment, when the real numbers were constructed. With the dawn of the nonstandard analysis, through the construction of the hyperreal numbers, the infinitesimals were reinstalled as a mathematical sound quantity. This thesis will give reasons for or against the use of infinitesimals in the form of nonstandard analysis by employing the anthropological theory of didactics. The thesis will give a short introduction of how the hyperreal numbers are constructed and how the definition of the differential quotient and integral is equivalent statements to the definitions usually encountered in high school. A teaching course was done in order to survey if the didactical reasons suggested by the theories are noticeable when introducing infinitesimal calculus, with infinitesimals, in high school. As such a textbook material had to be developed in order for the students to prepare for the exam(s). This textbook material is void of the construction of the hyperreal numbers, as introduced in the thesis, but hinges on an intuitive construction of infinitesimal quantities to generate them. An analysis of the teaching employing the anthropological theory of didactics was done in order to determine if the merits of the infinitesimals are on par with the theoretical reasons. The thesis concludes that teaching based on infinitesimals are realistic and helps engage the students by letting their intuition guide them to a great degree. Page i of v Acknowledgements A great big thanks goes to Carl Winsløw for his help in shaping the thesis. The school, Roskilde Katedralskole, deserves a lot of credit for letting the study take place. An infinitely amount of gratitude and respect goes to the wonderfully sweet and awesome 1u, who took opened their arms wide and made the study all the more fun; a better class does not exist. Thanks for the constant surprises and for tolerating all the shenanigans. The biggest of thanks to family and girlfriend for being so patient and understanding. Thanks for the tremendous amount of support. The girls who sat in the other cubicle in the office for about 4 months, Anne and Line, thank you. To the new office, particularly Nine, thanks for making the final month or so bearable; from the breakfast table to the midday pokéhunt, all the way to the afterhours beer. 1 thanks to one another. How on Earth this thesis would have come to be without the lucrative cartalks, 푑푥 the mutual respect, The Trilogy, and the fantastic friendship that came with it all, is beyond infinity. The late nights paid off, let there be more of them. Page ii of v Contents 1 Introduction ......................................................................................................................................... 1 1.1 Motivation ................................................................................................................................... 1 1.2 Problematique.............................................................................................................................. 3 1.3 Research questions....................................................................................................................... 4 2 Theory ................................................................................................................................................. 5 2.1 Mathematical theory – NSA .......................................................................................................... 5 2.1.1 Real numbers ........................................................................................................................ 5 2.1.2 The hyperreal numbers ......................................................................................................... 6 2.1.3 Internal sets and functions, and the connection between ℝ and ∗ ℝ.................................... 9 2.1.4 Analysis using the hyperreal numbers ..................................................................................14 2.2 Didactical theory .........................................................................................................................26 2.2.1 Anthropological Theory of Didactics .....................................................................................26 2.2.2 What to be taught ...............................................................................................................29 2.2.3 Didactical reasons for or against using NSA ..........................................................................35 3 Concrete implementation of the knowledge to be taught ...................................................................38
Recommended publications
  • Notes on Calculus II Integral Calculus Miguel A. Lerma

    Notes on Calculus II Integral Calculus Miguel A. Lerma

    Notes on Calculus II Integral Calculus Miguel A. Lerma November 22, 2002 Contents Introduction 5 Chapter 1. Integrals 6 1.1. Areas and Distances. The Definite Integral 6 1.2. The Evaluation Theorem 11 1.3. The Fundamental Theorem of Calculus 14 1.4. The Substitution Rule 16 1.5. Integration by Parts 21 1.6. Trigonometric Integrals and Trigonometric Substitutions 26 1.7. Partial Fractions 32 1.8. Integration using Tables and CAS 39 1.9. Numerical Integration 41 1.10. Improper Integrals 46 Chapter 2. Applications of Integration 50 2.1. More about Areas 50 2.2. Volumes 52 2.3. Arc Length, Parametric Curves 57 2.4. Average Value of a Function (Mean Value Theorem) 61 2.5. Applications to Physics and Engineering 63 2.6. Probability 69 Chapter 3. Differential Equations 74 3.1. Differential Equations and Separable Equations 74 3.2. Directional Fields and Euler’s Method 78 3.3. Exponential Growth and Decay 80 Chapter 4. Infinite Sequences and Series 83 4.1. Sequences 83 4.2. Series 88 4.3. The Integral and Comparison Tests 92 4.4. Other Convergence Tests 96 4.5. Power Series 98 4.6. Representation of Functions as Power Series 100 4.7. Taylor and MacLaurin Series 103 3 CONTENTS 4 4.8. Applications of Taylor Polynomials 109 Appendix A. Hyperbolic Functions 113 A.1. Hyperbolic Functions 113 Appendix B. Various Formulas 118 B.1. Summation Formulas 118 Appendix C. Table of Integrals 119 Introduction These notes are intended to be a summary of the main ideas in course MATH 214-2: Integral Calculus.
  • A Brief Tour of Vector Calculus

    A Brief Tour of Vector Calculus

    A BRIEF TOUR OF VECTOR CALCULUS A. HAVENS Contents 0 Prelude ii 1 Directional Derivatives, the Gradient and the Del Operator 1 1.1 Conceptual Review: Directional Derivatives and the Gradient........... 1 1.2 The Gradient as a Vector Field............................ 5 1.3 The Gradient Flow and Critical Points ....................... 10 1.4 The Del Operator and the Gradient in Other Coordinates*............ 17 1.5 Problems........................................ 21 2 Vector Fields in Low Dimensions 26 2 3 2.1 General Vector Fields in Domains of R and R . 26 2.2 Flows and Integral Curves .............................. 31 2.3 Conservative Vector Fields and Potentials...................... 32 2.4 Vector Fields from Frames*.............................. 37 2.5 Divergence, Curl, Jacobians, and the Laplacian................... 41 2.6 Parametrized Surfaces and Coordinate Vector Fields*............... 48 2.7 Tangent Vectors, Normal Vectors, and Orientations*................ 52 2.8 Problems........................................ 58 3 Line Integrals 66 3.1 Defining Scalar Line Integrals............................. 66 3.2 Line Integrals in Vector Fields ............................ 75 3.3 Work in a Force Field................................. 78 3.4 The Fundamental Theorem of Line Integrals .................... 79 3.5 Motion in Conservative Force Fields Conserves Energy .............. 81 3.6 Path Independence and Corollaries of the Fundamental Theorem......... 82 3.7 Green's Theorem.................................... 84 3.8 Problems........................................ 89 4 Surface Integrals, Flux, and Fundamental Theorems 93 4.1 Surface Integrals of Scalar Fields........................... 93 4.2 Flux........................................... 96 4.3 The Gradient, Divergence, and Curl Operators Via Limits* . 103 4.4 The Stokes-Kelvin Theorem..............................108 4.5 The Divergence Theorem ...............................112 4.6 Problems........................................114 List of Figures 117 i 11/14/19 Multivariate Calculus: Vector Calculus Havens 0.
  • Differentiation Rules (Differential Calculus)

    Differentiation Rules (Differential Calculus)

    Differentiation Rules (Differential Calculus) 1. Notation The derivative of a function f with respect to one independent variable (usually x or t) is a function that will be denoted by D f . Note that f (x) and (D f )(x) are the values of these functions at x. 2. Alternate Notations for (D f )(x) d d f (x) d f 0 (1) For functions f in one variable, x, alternate notations are: Dx f (x), dx f (x), dx , dx (x), f (x), f (x). The “(x)” part might be dropped although technically this changes the meaning: f is the name of a function, dy 0 whereas f (x) is the value of it at x. If y = f (x), then Dxy, dx , y , etc. can be used. If the variable t represents time then Dt f can be written f˙. The differential, “d f ”, and the change in f ,“D f ”, are related to the derivative but have special meanings and are never used to indicate ordinary differentiation. dy 0 Historical note: Newton used y,˙ while Leibniz used dx . About a century later Lagrange introduced y and Arbogast introduced the operator notation D. 3. Domains The domain of D f is always a subset of the domain of f . The conventional domain of f , if f (x) is given by an algebraic expression, is all values of x for which the expression is defined and results in a real number. If f has the conventional domain, then D f usually, but not always, has conventional domain. Exceptions are noted below.
  • 0.999… = 1 an Infinitesimal Explanation Bryan Dawson

    0.999… = 1 an Infinitesimal Explanation Bryan Dawson

    0 1 2 0.9999999999999999 0.999… = 1 An Infinitesimal Explanation Bryan Dawson know the proofs, but I still don’t What exactly does that mean? Just as real num- believe it.” Those words were uttered bers have decimal expansions, with one digit for each to me by a very good undergraduate integer power of 10, so do hyperreal numbers. But the mathematics major regarding hyperreals contain “infinite integers,” so there are digits This fact is possibly the most-argued- representing not just (the 237th digit past “Iabout result of arithmetic, one that can evoke great the decimal point) and (the 12,598th digit), passion. But why? but also (the Yth digit past the decimal point), According to Robert Ely [2] (see also Tall and where is a negative infinite hyperreal integer. Vinner [4]), the answer for some students lies in their We have four 0s followed by a 1 in intuition about the infinitely small: While they may the fifth decimal place, and also where understand that the difference between and 1 is represents zeros, followed by a 1 in the Yth less than any positive real number, they still perceive a decimal place. (Since we’ll see later that not all infinite nonzero but infinitely small difference—an infinitesimal hyperreal integers are equal, a more precise, but also difference—between the two. And it’s not just uglier, notation would be students; most professional mathematicians have not or formally studied infinitesimals and their larger setting, the hyperreal numbers, and as a result sometimes Confused? Perhaps a little background information wonder .
  • Understanding Student Use of Differentials in Physics Integration Problems

    Understanding Student Use of Differentials in Physics Integration Problems

    PHYSICAL REVIEW SPECIAL TOPICS - PHYSICS EDUCATION RESEARCH 9, 020108 (2013) Understanding student use of differentials in physics integration problems Dehui Hu and N. Sanjay Rebello* Department of Physics, 116 Cardwell Hall, Kansas State University, Manhattan, Kansas 66506-2601, USA (Received 22 January 2013; published 26 July 2013) This study focuses on students’ use of the mathematical concept of differentials in physics problem solving. For instance, in electrostatics, students need to set up an integral to find the electric field due to a charged bar, an activity that involves the application of mathematical differentials (e.g., dr, dq). In this paper we aim to explore students’ reasoning about the differential concept in physics problems. We conducted group teaching or learning interviews with 13 engineering students enrolled in a second- semester calculus-based physics course. We amalgamated two frameworks—the resources framework and the conceptual metaphor framework—to analyze students’ reasoning about differential concept. Categorizing the mathematical resources involved in students’ mathematical thinking in physics provides us deeper insights into how students use mathematics in physics. Identifying the conceptual metaphors in students’ discourse illustrates the role of concrete experiential notions in students’ construction of mathematical reasoning. These two frameworks serve different purposes, and we illustrate how they can be pieced together to provide a better understanding of students’ mathematical thinking in physics. DOI: 10.1103/PhysRevSTPER.9.020108 PACS numbers: 01.40.Àd mathematical symbols [3]. For instance, mathematicians I. INTRODUCTION often use x; y asR variables and the integrals are often written Mathematical integration is widely used in many intro- in the form fðxÞdx, whereas in physics the variables ductory and upper-division physics courses.
  • Leonhard Euler: His Life, the Man, and His Works∗

    Leonhard Euler: His Life, the Man, and His Works∗

    SIAM REVIEW c 2008 Walter Gautschi Vol. 50, No. 1, pp. 3–33 Leonhard Euler: His Life, the Man, and His Works∗ Walter Gautschi† Abstract. On the occasion of the 300th anniversary (on April 15, 2007) of Euler’s birth, an attempt is made to bring Euler’s genius to the attention of a broad segment of the educated public. The three stations of his life—Basel, St. Petersburg, andBerlin—are sketchedandthe principal works identified in more or less chronological order. To convey a flavor of his work andits impact on modernscience, a few of Euler’s memorable contributions are selected anddiscussedinmore detail. Remarks on Euler’s personality, intellect, andcraftsmanship roundout the presentation. Key words. LeonhardEuler, sketch of Euler’s life, works, andpersonality AMS subject classification. 01A50 DOI. 10.1137/070702710 Seh ich die Werke der Meister an, So sehe ich, was sie getan; Betracht ich meine Siebensachen, Seh ich, was ich h¨att sollen machen. –Goethe, Weimar 1814/1815 1. Introduction. It is a virtually impossible task to do justice, in a short span of time and space, to the great genius of Leonhard Euler. All we can do, in this lecture, is to bring across some glimpses of Euler’s incredibly voluminous and diverse work, which today fills 74 massive volumes of the Opera omnia (with two more to come). Nine additional volumes of correspondence are planned and have already appeared in part, and about seven volumes of notebooks and diaries still await editing! We begin in section 2 with a brief outline of Euler’s life, going through the three stations of his life: Basel, St.
  • Calculus Terminology

    Calculus Terminology

    AP Calculus BC Calculus Terminology Absolute Convergence Asymptote Continued Sum Absolute Maximum Average Rate of Change Continuous Function Absolute Minimum Average Value of a Function Continuously Differentiable Function Absolutely Convergent Axis of Rotation Converge Acceleration Boundary Value Problem Converge Absolutely Alternating Series Bounded Function Converge Conditionally Alternating Series Remainder Bounded Sequence Convergence Tests Alternating Series Test Bounds of Integration Convergent Sequence Analytic Methods Calculus Convergent Series Annulus Cartesian Form Critical Number Antiderivative of a Function Cavalieri’s Principle Critical Point Approximation by Differentials Center of Mass Formula Critical Value Arc Length of a Curve Centroid Curly d Area below a Curve Chain Rule Curve Area between Curves Comparison Test Curve Sketching Area of an Ellipse Concave Cusp Area of a Parabolic Segment Concave Down Cylindrical Shell Method Area under a Curve Concave Up Decreasing Function Area Using Parametric Equations Conditional Convergence Definite Integral Area Using Polar Coordinates Constant Term Definite Integral Rules Degenerate Divergent Series Function Operations Del Operator e Fundamental Theorem of Calculus Deleted Neighborhood Ellipsoid GLB Derivative End Behavior Global Maximum Derivative of a Power Series Essential Discontinuity Global Minimum Derivative Rules Explicit Differentiation Golden Spiral Difference Quotient Explicit Function Graphic Methods Differentiable Exponential Decay Greatest Lower Bound Differential
  • Arxiv:1405.0984V4 [Math.DG] 23 Dec 2015 Ai N Vryte Pwt Lsia Nltcntos Ntepresen D the finite in by Defined Notions

    Arxiv:1405.0984V4 [Math.DG] 23 Dec 2015 Ai N Vryte Pwt Lsia Nltcntos Ntepresen D the finite in by Defined Notions

    DIFFERENTIAL GEOMETRY VIA INFINITESIMAL DISPLACEMENTS TAHL NOWIK AND MIKHAIL G. KATZ Abstract. We present a new formulation of some basic differential geometric notions on a smooth manifold M, in the setting of nonstandard analysis. In place of classical vector fields, for which one needs to construct the tangent bundle of M, we define a prevector field, which is an internal map from ∗M to itself, implementing the intuitive notion of vectors as infinitesimal displacements. We introduce regularity conditions for prevector fields, defined by finite dif- ferences, thus purely combinatorial conditions involving no analysis. These conditions replace the more elaborate analytic regularity conditions appearing in previous similar approaches, e.g. by Stroyan and Luxemburg or Lutz and Goze. We define the flow of a prevector field by hyperfinite iteration of the given prevector field, in the spirit of Euler’s method. We define the Lie bracket of two prevector fields by appropriate iteration of their commutator. We study the properties of flows and Lie brackets, particularly in relation with our proposed regularity conditions. We present several simple applications to the classical setting, such as bounds re- lated to the flow of vector fields, analysis of small oscillations of a pendulum, and an instance of Frobenius’ Theorem regarding the complete integrability of independent vector fields. 1. Introduction We develop foundations for differential geometry on smooth manifolds, based on infinites- imals, where vectors and vector fields are represented by infinitesimal displacements in the arXiv:1405.0984v4 [math.DG] 23 Dec 2015 manifold itself, as they were thought of historically. Such an approach was previously intro- duced e.g.
  • Infinitesimal Calculus

    Infinitesimal Calculus

    Infinitesimal Calculus Δy ΔxΔy and “cannot stand” Δx • Derivative of the sum/difference of two functions (x + Δx) ± (y + Δy) = (x + y) + Δx + Δy ∴ we have a change of Δx + Δy. • Derivative of the product of two functions (x + Δx)(y + Δy) = xy + Δxy + xΔy + ΔxΔy ∴ we have a change of Δxy + xΔy. • Derivative of the product of three functions (x + Δx)(y + Δy)(z + Δz) = xyz + Δxyz + xΔyz + xyΔz + xΔyΔz + ΔxΔyz + xΔyΔz + ΔxΔyΔ ∴ we have a change of Δxyz + xΔyz + xyΔz. • Derivative of the quotient of three functions x Let u = . Then by the product rule above, yu = x yields y uΔy + yΔu = Δx. Substituting for u its value, we have xΔy Δxy − xΔy + yΔu = Δx. Finding the value of Δu , we have y y2 • Derivative of a power function (and the “chain rule”) Let y = x m . ∴ y = x ⋅ x ⋅ x ⋅...⋅ x (m times). By a generalization of the product rule, Δy = (xm−1Δx)(x m−1Δx)(x m−1Δx)...⋅ (xm −1Δx) m times. ∴ we have Δy = mx m−1Δx. • Derivative of the logarithmic function Let y = xn , n being constant. Then log y = nlog x. Differentiating y = xn , we have dy dy dy y y dy = nxn−1dx, or n = = = , since xn−1 = . Again, whatever n−1 y dx x dx dx x x x the differentials of log x and log y are, we have d(log y) = n ⋅ d(log x), or d(log y) n = . Placing these values of n equal to each other, we obtain d(log x) dy d(log y) y dy = .
  • Nonstandard Analysis (Math 649K) Spring 2008

    Nonstandard Analysis (Math 649K) Spring 2008

    Nonstandard Analysis (Math 649k) Spring 2008 David Ross, Department of Mathematics February 29, 2008 1 1 Introduction 1.1 Outline of course: 1. Introduction: motivation, history, and propoganda 2. Nonstandard models: definition, properties, some unavoidable logic 3. Very basic Calculus/Analysis 4. Applications of saturation 5. General Topology 6. Measure Theory 7. Functional Analysis 8. Probability 1.2 Some References: 1. Abraham Robinson (1966) Nonstandard Analysis North Holland, Amster- dam 2. Martin Davis and Reuben Hersh Nonstandard Analysis Scientific Ameri- can, June 1972 3. Davis, M. (1977) Applied Nonstandard Analysis Wiley, New York. 4. Sergio Albeverio, Jens Erik Fenstad, Raphael Høegh-Krohn, and Tom Lindstrøm (1986) Nonstandard Methods in Stochastic Analysis and Math- ematical Physics. Academic Press, New York. 5. Al Hurd and Peter Loeb (1985) An introduction to Nonstandard Real Anal- ysis Academic Press, New York. 6. Keith Stroyan and Wilhelminus Luxemburg (1976) Introduction to the Theory of Infinitesimals Academic Press, New York. 7. Keith Stroyan and Jose Bayod (1986) Foundations of Infinitesimal Stochas- tic Analysis North Holland, Amsterdam 8. Leif Arkeryd, Nigel Cutland, C. Ward Henson (eds) (1997) Nonstandard Analysis: Theory and Applications, Kluwer 9. Rob Goldblatt (1998) Lectures on the Hyperreals, Springer 2 1.3 Some history: • (xxxx) Archimedes • (1615) Kepler, Nova stereometria dolorium vinariorium • (1635) Cavalieri, Geometria indivisibilus • (1635) Excercitationes geometricae (”Rigor is the affair of philosophy rather
  • Calculus Formulas and Theorems

    Calculus Formulas and Theorems

    Formulas and Theorems for Reference I. Tbigonometric Formulas l. sin2d+c,cis2d:1 sec2d l*cot20:<:sc:20 +.I sin(-d) : -sitt0 t,rs(-//) = t r1sl/ : -tallH 7. sin(A* B) :sitrAcosB*silBcosA 8. : siri A cos B - siu B <:os,;l 9. cos(A+ B) - cos,4cos B - siuA siriB 10. cos(A- B) : cosA cosB + silrA sirrB 11. 2 sirrd t:osd 12. <'os20- coS2(i - siu20 : 2<'os2o - I - 1 - 2sin20 I 13. tan d : <.rft0 (:ost/ I 14. <:ol0 : sirrd tattH 1 15. (:OS I/ 1 16. cscd - ri" 6i /F tl r(. cos[I ^ -el : sitt d \l 18. -01 : COSA 215 216 Formulas and Theorems II. Differentiation Formulas !(r") - trr:"-1 Q,:I' ]tra-fg'+gf' gJ'-,f g' - * (i) ,l' ,I - (tt(.r))9'(.,') ,i;.[tyt.rt) l'' d, \ (sttt rrJ .* ('oqI' .7, tJ, \ . ./ stll lr dr. l('os J { 1a,,,t,:r) - .,' o.t "11'2 1(<,ot.r') - (,.(,2.r' Q:T rl , (sc'c:.r'J: sPl'.r tall 11 ,7, d, - (<:s<t.r,; - (ls(].]'(rot;.r fr("'),t -.'' ,1 - fr(u") o,'ltrc ,l ,, 1 ' tlll ri - (l.t' .f d,^ --: I -iAl'CSllLl'l t!.r' J1 - rz 1(Arcsi' r) : oT Il12 Formulas and Theorems 2I7 III. Integration Formulas 1. ,f "or:artC 2. [\0,-trrlrl *(' .t "r 3. [,' ,t.,: r^x| (' ,I 4. In' a,,: lL , ,' .l 111Q 5. In., a.r: .rhr.r' .r r (' ,l f 6. sirr.r d.r' - ( os.r'-t C ./ 7. /.,,.r' dr : sitr.i'| (' .t 8. tl:r:hr sec,rl+ C or ln Jccrsrl+ C ,f'r^rr f 9.
  • Reconciling Situation Calculus and Fluent Calculus

    Reconciling Situation Calculus and Fluent Calculus

    Reconciling Situation Calculus and Fluent Calculus Stephan Schiffel and Michael Thielscher Department of Computer Science Dresden University of Technology stephan.schiffel,mit @inf.tu-dresden.de { } Abstract between domain descriptions in both calculi. Another ben- efit of a formal relation between the SC and the FC is the The Situation Calculus and the Fluent Calculus are successful possibility to compare extensions made separately for the action formalisms that share many concepts. But until now two calculi, such as concurrency. Furthermore it might even there is no formal relation between the two calculi that would allow to formally analyze the relationship between the two allow to translate current or future extensions made only for approaches as well as between the programming languages one of the calculi to the other. based on them, Golog and FLUX. Furthermore, such a formal Golog is a programming language for intelligent agents relation would allow to combine Golog and FLUX and to ana- that combines elements from classical programming (condi- lyze which of the underlying computation principles is better tionals, loops, etc.) with reasoning about actions. Primitive suited for different classes of programs. We develop a for- statements in Golog programs are actions to be performed mal translation between domain axiomatizations of the Situ- by the agent. Conditional statements in Golog are composed ation Calculus and the Fluent Calculus and present a Fluent of fluents. The execution of a Golog program requires to Calculus semantics for Golog programs. For domains with reason about the effects of the actions the agent performs, deterministic actions our approach allows an automatic trans- lation of Golog domain descriptions and execution of Golog in order to determine the values of fluents when evaluating programs with FLUX.