Value Function Approximation in Reinforcement Learning Using the Fourier Basis

Total Page:16

File Type:pdf, Size:1020Kb

Value Function Approximation in Reinforcement Learning Using the Fourier Basis Value Function Approximation in Reinforcement Learning using the Fourier Basis George Konidaris1;3 Sarah Osentoski2;3∗ Philip Thomas3 MIT CSAIL1 Department of Computer Science2 Autonomous Learning Laboratory3 [email protected] Brown University University of Massachusetts Amherst [email protected] [email protected] Abstract demonstrate that it performs well compared to RBFs and the polynomial basis, the most common fixed bases, and is com- We describe the Fourier basis, a linear value function approx- petitive with learned proto-value functions even though no imation scheme based on the Fourier series. We empirically extra experience or computation is required. demonstrate that it performs well compared to radial basis functions and the polynomial basis, the two most popular fixed bases for linear value function approximation, and is Background competitive with learned proto-value functions. A d-dimensional continuous-state Markov decision process (MDP) is a tuple M = (S; A; P; R); where S ⊆ Rd is a Introduction set of possible state vectors, A is a set of actions, P is the 0 Reinforcement learning (RL) in continuous state spaces re- transition model (with P (x; a; x ) giving the probability of moving from state x to state x0 given action a), and R is the quires function approximation. Most work in this area fo- 0 cuses on linear function approximation, where the value reward function (with R(x; a; x ) giving the reward obtained from executing action a in state x and transitioning to state function is represented as a weighted linear sum of a set of 0 features (known as basis functions) computed from the state x ). Our goal is to learn a policy, π, mapping state vectors variables. Linear function approximation results in a sim- to actions so as to maximize return (discounted sum of re- ple update rule and quadratic error surface, even though the wards). When P is known, this can be achieved by learning basis functions themselves may be arbitrarily complex. a value function, V , mapping state vectors to return, and se- RL researchers have employed a wide variety of ba- lecting actions that result in the states with highest V . When sis function schemes, most commonly radial basis func- P is not available, the agent will typically either learn it, or tions (RBFs) and CMACs (Sutton and Barto, 1998). Often, instead learn an action-value function, Q, that maps state- choosing the right basis function set is criticial for successful action pairs to expected return. Since the theory underlying learning. Unfortunately, most approaches require significant the two cases is similar we consider only the value function case. V is commonly approximated as a weighted sum of design effort or problem insight, and no basis function set is ¯ Pm a set of basis functions φ1; :::; φm: V (x) = i=1 wiφi(x). both simple and sufficiently reliable to be generally satis- ¯ factory. Recent work (Mahadevan and Maggioni, 2007) has This is termed linear value function approximation since V focused on learning basis function sets from experience, re- is linear in weights w = [w1; :::; wm]; learning entails find- moving the need to design an approximator but introducing ing the w corresponding to an approximate optimal value ¯ ∗ the need to gather data to create one. function, V . Linear function approximation is attractive The most common continuous function approximation because it results in simple update rules (often using gradi- method in the applied sciences is the Fourier series. Al- ent descent) and possesses a quadratic error surface with a though the Fourier series is simple, effective, and has solid single minimum (except in degenerate cases). Nevertheless, theoretical underpinnings, it is almost never used for value we can represent complex value functions since the basis function approximation. This paper describes the Fourier functions themselves can be arbitrarily complex. basis, a simple linear function approximation scheme us- The Polynomial Basis. Given d state variables x = ing the terms of the Fourier series as basis functions.1 We [x1; :::; xd], the simplest linear scheme uses each variable directly as a basis function along with a constant function, Copyright c 2011, Association for the Advancement of Artificial setting φ0(x) = 1 and φi(x) = xi, 0 ≤ i ≤ d. How- Intelligence (www.aaai.org). All rights reserved. ∗ ever, most interesting value functions are too complex to be Sarah Osentoski is now with the Robert Bosch LLC Research represented this way. This scheme was therefore general- and Technology Center in Palo Alto, CA. 1 ized to the polynomial basis (Lagoudakis and Parr, 2003): Open-source, RL-Glue (Tanner and White, 2009) com- Qd ci;j patible Java source code for the Fourier basis can be φi(x) = j=1 xj , where each ci;j is an integer between downloaded from http://library.rl-community.org/ 0 and n. We describe such a basis as an order n polynomial wiki/Sarsa_Lambda_Fourier_Basis_(Java). basis. For example, a 2nd order polynomial basis defined over two state variables x and y would have feature vector: Thus a full nth order Fourier approximation to a one- Φ = [1; x; y; xy; x2y; xy2; x2y2]: Note the dimensional value function results in a linear function ap- features that are a function of both variables; these features proximator with 2n + 1 terms. However, as we shall see model the interaction between those variables. below, we can usually use only n + 1 terms. Radial Basis Functions. Another common scheme is RBFs, where each basis function is a Gaussian: Even, Odd and Non-Periodic Functions 2 2 φ (x) = p 1 e−||ci−xjj =2σ , for a given collection of i 2πσ2 If f is known to be even (that is, f(x) = f(−x), so that f is 2 centers ci and variance σ . The centers are typically dis- symmetric about the y-axis), then 8i > 0; bi = 0, so the sin tributed evenly along each dimension, leading to nd centers terms can be dropped. This results in a function guaranteed for d state variables and a given order n; σ2 can be varied but to be even, and reduces the terms required for an nth order 2 Fourier approximation to n + 1. Similarly, if f is known is often set to n−1 . RBFs only generalize locally—changes in one area of the state space do not affect the entire state to be odd (that is, f(x) = −f(−x), so that f is symmetric space. Thus, they are suitable for representing value func- with respect to the origin) then 8i > 0; ai = 0, so we can tions that might have discontinuities. However, this limited omit the cos terms. These cases are depicted in Figure 1. generalization is often reflected in slow initial performance. Proto-Value Functions. Recent research has focused on learning basis functions given experience. The most promi- nent learned basis is proto-value functions or PVFs (Ma- hadevan and Maggioni, 2007). In their simplest form, an agent builds an adjacency matrix, A, from experience and (a) (b) then computes the Laplacian, L = (D − A), of A where D is a diagonal matrix with D(i; i) being the out-degree of state i. The eigenvectors of L form a set of bases that respect Figure 1: Even (a) and odd (b) functions. the topology of the state space (as reflected in A), and can be used as a set of orthogonal bases for a discrete domain. However, in general, value functions are not even, odd, Mahadevan et al. (2006) extended PVFs to continuous do- or periodic (or known to be in advance). In such cases, we mains, using a local distance metric to construct the graph can define our approximation over [−1; 1] but only project and an out-of-sample method for obtaining the values of the input variable to [0; 1]. This results in a function peri- each basis function at states not represented in A. Although odic on [−1; 1] but unconstrained on (0; 1]. We are now free the given results are promising, PVFs in continuous spaces to choose whether or not the function is even or odd over require samples to build A, an eigenvector decomposition to [−1; 1] and can drop half of the terms in the approximation. build the basis functions, and pose several potentially diffi- In general, we expect that it will be better to use the “half- cult design decisions. even” approximation and drop the sin terms because this causes only a slight discontinuity at the origin. Thus, we The Fourier Basis define the univariate nth order Fourier basis as: In this section we describe the Fourier series for one and φi(x) = cos (iπx) ; (2) multiple variables, and use it to define the univariate and multivariate Fourier bases. for i = 0; :::; n. Figure 2 depicts a few of the resulting ba- sis functions. Note that frequency increases with i; thus, The Univariate Fourier Series high order basis functions will correspond to high frequency The Fourier series is used to approximate a periodic func- components of the value function. tion; a function f is periodic with period T if f(x + T ) = Univariate Fourier Basis Function k=1 Univariate Fourier Basis Function k=2 Univariate Fourier Basis Function k=3 Univariate Fourier Basis Function k=4 1 1 1 1 0.8 0.8 0.8 0.8 f(x); 8x. The nth degree Fourier expansion of f is: 0.6 0.6 0.6 0.6 0.4 0.4 0.4 0.4 0.2 0.2 0.2 0.2 n 0 0 0 0 −0.2 −0.2 −0.2 −0.2 a0 X 2π 2π −0.4 −0.4 −0.4 −0.4 f¯(x) = + a cos k x + b sin k x ; −0.6 −0.6 −0.6 −0.6 k k −0.8 −0.8 −0.8 −0.8 −1 −1 −1 −1 2 T T 0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1 0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1 0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1 0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1 k=1 (1) T Figure 2: Univariate Fourier basis functions for i = 1, 2, 3 with a = 2 R f(x) cos( 2πkx ) dx and with b = k T 0 T k and 4.
Recommended publications
  • Orthogonal Functions, Radial Basis Functions (RBF) and Cross-Validation (CV)
    Exercise 6: Orthogonal Functions, Radial Basis Functions (RBF) and Cross-Validation (CV) CSElab Computational Science & Engineering Laboratory Outline 1. Goals 2. Theory/ Examples 3. Questions Goals ⚫ Orthonormal Basis Functions ⚫ How to construct an orthonormal basis ? ⚫ Benefit of using an orthonormal basis? ⚫ Radial Basis Functions (RBF) ⚫ Cross Validation (CV) Motivation: Orthonormal Basis Functions ⚫ Computation of interpolation coefficients can be compute intensive ⚫ Adding or removing basis functions normally requires a re-computation of the coefficients ⚫ Overcome by orthonormal basis functions Gram-Schmidt Orthonormalization 푛 ⚫ Given: A set of vectors 푣1, … , 푣푘 ⊂ 푅 푛 ⚫ Goal: Generate a set of vectors 푢1, … , 푢푘 ⊂ 푅 such that 푢1, … , 푢푘 is orthonormal and spans the same subspace as 푣1, … , 푣푘 ⚫ Click here if the animation is not playing Recap: Projection of Vectors ⚫ Notation: Denote dot product as 푎Ԧ ⋅ 푏 = 푎Ԧ, 푏 1 (bilinear form). This implies the norm 푢 = 푎Ԧ, 푎Ԧ 2 ⚫ Define the scalar projection of v onto u as 푃푢 푣 = 푢,푣 | 푢 | 푢,푣 푢 ⚫ Hence, is the part of v pointing in direction of u | 푢 | | 푢 | 푢 푢 and 푣∗ = 푣 − , 푣 is orthogonal to 푢 푢 | 푢 | Gram-Schmidt for Vectors 푛 ⚫ Given: A set of vectors 푣1, … , 푣푘 ⊂ 푅 푣1 푢1 = | 푣1 | 푣2,푢1 푢1 푢2 = 푣2 − = 푣2 − 푣2, 푢1 푢1 as 푢1 normalized 푢1 푢1 푢෤3 = 푣3 − 푣3, 푢1 푢1 What’s missing? Gram-Schmidt for Vectors 푛 ⚫ Given: A set of vectors 푣1, … , 푣푘 ⊂ 푅 푣1 푢1 = | 푣1 | 푣2,푢1 푢1 푢2 = 푣2 − = 푣2 − 푣2, 푢1 푢1 as 푢1 normalized 푢1 푢1 푢෤3 = 푣3 − 푣3, 푢1 푢1 What’s missing? 푢෤3is orthogonal to 푢1, but not yet to 푢2 푢3 = 푢෤3 − 푢෤3, 푢2 푢2 If the animation is not playing, please click here Gram-Schmidt for Functions ⚫ Given: A set of functions 푔1, … , 푔푘 .We want 휙1, … , 휙푘 ⚫ Bridge to Gram-Schmidt for vectors: ∞ ⚫ Define 푔푖, 푔푗 = ׬−∞ 푔푖 푥 푔푗 푥 푑푥 ⚫ What’s the corresponding norm? Gram-Schmidt for Functions ⚫ Given: A set of functions 푔1, … , 푔푘 .We want 휙1, … , 휙푘 ⚫ Bridge to Gram-Schmidt for vectors: ∞ ⚫ 푔 , 푔 = 푔 푥 푔 푥 푑푥 .
    [Show full text]
  • Anatomically Informed Basis Functions — Anatomisch Informierte Basisfunktionen
    Anatomically Informed Basis Functions | Anatomisch Informierte Basisfunktionen Dissertation zur Erlangung des akademischen Grades doctor rerum naturalium (Dr.rer.nat.), genehmigt durch die Fakult¨atf¨urNaturwissenschaften der Otto{von{Guericke{Universit¨atMagdeburg von Diplom-Informatiker Stefan Kiebel geb. am 10. Juni 1968 in Wadern/Saar Gutachter: Prof. Dr. Lutz J¨ancke Prof. Dr. Hermann Hinrichs Prof. Dr. Cornelius Weiller Eingereicht am: 27. Februar 2001 Verteidigung am: 9. August 2001 Abstract In this thesis, a method is presented that incorporates anatomical information into the statistical analysis of functional neuroimaging data. Available anatomical informa- tion is used to explicitly specify spatial components within a functional volume that are assumed to carry evidence of functional activation. After estimating the activity by fitting the same spatial model to each functional volume and projecting the estimates back into voxel-space, one can proceed with a conventional time-series analysis such as statistical parametric mapping (SPM). The anatomical information used in this work comprised the reconstructed grey matter surface, derived from high-resolution T1-weighted magnetic resonance images (MRI). The spatial components specified in the model were of low spatial frequency and confined to the grey matter surface. By explaining the observed activity in terms of these components, one efficiently captures spatially smooth response components induced by underlying neuronal activations lo- calised close to or within the grey matter sheet. Effectively, the method implements a spatially variable anatomically informed deconvolution and consequently the method was named anatomically informed basis functions (AIBF). AIBF can be used for the analysis of any functional imaging modality. In this thesis it was applied to simu- lated and real functional MRI (fMRI) and positron emission tomography (PET) data.
    [Show full text]
  • A Local Radial Basis Function Method for the Numerical Solution of Partial Differential Equations Maggie Elizabeth Chenoweth [email protected]
    Marshall University Marshall Digital Scholar Theses, Dissertations and Capstones 1-1-2012 A Local Radial Basis Function Method for the Numerical Solution of Partial Differential Equations Maggie Elizabeth Chenoweth [email protected] Follow this and additional works at: http://mds.marshall.edu/etd Part of the Numerical Analysis and Computation Commons Recommended Citation Chenoweth, Maggie Elizabeth, "A Local Radial Basis Function Method for the Numerical Solution of Partial Differential Equations" (2012). Theses, Dissertations and Capstones. Paper 243. This Thesis is brought to you for free and open access by Marshall Digital Scholar. It has been accepted for inclusion in Theses, Dissertations and Capstones by an authorized administrator of Marshall Digital Scholar. For more information, please contact [email protected]. A LOCAL RADIAL BASIS FUNCTION METHOD FOR THE NUMERICAL SOLUTION OF PARTIAL DIFFERENTIAL EQUATIONS Athesissubmittedto the Graduate College of Marshall University In partial fulfillment of the requirements for the degree of Master of Arts in Mathematics by Maggie Elizabeth Chenoweth Approved by Dr. Scott Sarra, Committee Chairperson Dr. Anna Mummert Dr. Carl Mummert Marshall University May 2012 Copyright by Maggie Elizabeth Chenoweth 2012 ii ACKNOWLEDGMENTS I would like to begin by expressing my sincerest appreciation to my thesis advisor, Dr. Scott Sarra. His knowledge and expertise have guided me during my research endeavors and the process of writing this thesis. Dr. Sarra has also served as my teaching mentor, and I am grateful for all of his encouragement and advice. It has been an honor to work with him. I would also like to thank the other members of my thesis committee, Dr.
    [Show full text]
  • Linear Basis Function Models
    Linear basis function models Linear basis function models Linear models for regression Francesco Corona FC - Fortaleza Linear basis function models Linear models for regression Linear basis function models Linear models for regression The focus so far on unsupervised learning, we turn now to supervised learning ◮ Regression The goal of regression is to predict the value of one or more continuous target variables t, given the value of a D-dimensional vector x of input variables ◮ e.g., polynomial curve fitting FC - Fortaleza Linear basis function models Linear basis function models Linear models for regression (cont.) Training data of N = 10 points, blue circles ◮ each comprising an observation of the input variable x along with the 1 corresponding target variable t t 0 The unknown function sin(2πx) is used to generate the data, green curve ◮ −1 Goal: Predict the value of t for some new value of x ◮ 0 x 1 without knowledge of the green curve The input training data x was generated by choosing values of xn, for n = 1,..., N, that are spaced uniformly in the range [0, 1] The target training data t was obtained by computing values sin(2πxn) of the function and adding a small level of Gaussian noise FC - Fortaleza Linear basis function models Linear basis function models Linear models for regression (cont.) ◮ We shall fit the data using a polynomial function of the form M 2 M j y(x, w)= w0 + w1x + w2x + · · · + wM x = wj x (1) Xj=0 ◮ M is the polynomial order, x j is x raised to the power of j ◮ Polynomial coefficients w0,..., wM are collected
    [Show full text]
  • Introduction to Radial Basis Function Networks
    Intro duction to Radial Basis Function Networks Mark J L Orr Centre for Cognitive Science University of Edinburgh Buccleuch Place Edinburgh EH LW Scotland April Abstract This do cumentisanintro duction to radial basis function RBF networks a typ e of articial neural network for application to problems of sup ervised learning eg regression classication and time series prediction It is now only available in PostScript an older and now unsupp orted hyp ertext ver sion maybeavailable for a while longer The do cumentwas rst published in along with a package of Matlab functions implementing the metho ds describ ed In a new do cument Recent Advances in Radial Basis Function Networks b ecame available with a second and improved version of the Matlab package mjoancedacuk wwwancedacukmjopapersintrops wwwancedacukmjointrointrohtml wwwancedacukmjosoftwarerbfzip wwwancedacukmjopapersrecadps wwwancedacukmjosoftwarerbfzip Contents Intro duction Sup ervised Learning Nonparametric Regression Classication and Time Series Prediction Linear Mo dels Radial Functions Radial Basis Function Networks Least Squares The Optimal WeightVector The Pro jection Matrix Incremental Op erations The Eective NumberofParameters Example Mo del Selection Criteria CrossValidation Generalised
    [Show full text]
  • Linear Models for Regression
    Machine Learning Srihari Linear Models for Regression Sargur Srihari [email protected] 1 Machine Learning Srihari Topics in Linear Regression • What is regression? – Polynomial Curve Fitting with Scalar input – Linear Basis Function Models • Maximum Likelihood and Least Squares • Stochastic Gradient Descent • Regularized Least Squares 2 Machine Learning Srihari The regression task • It is a supervised learning task • Goal of regression: – predict value of one or more target variables t – given d-dimensional vector x of input variables – With dataset of known inputs and outputs • (x1,t1), ..(xN,tN) • Where xi is an input (possibly a vector) known as the predictor • ti is the target output (or response) for case i which is real-valued – Goal is to predict t from x for some future test case • We are not trying to model the distribution of x – We dont expect predictor to be a linear function of x • So ordinary linear regression of inputs will not work • We need to allow for a nonlinear function of x • We don’t have a theory of what form this function to take 3 Machine Learning Srihari An example problem • Fifty points generated (one-dimensional problem) – With x uniform from (0,1) – y generated from formula y=sin(1+x2)+noise • Where noise has N(0,0.032) distribution • Noise-free true function and data points are as shown 4 Machine Learning Srihari Applications of Regression 1. Expected claim amount an insured person will make (used to set insurance premiums) or prediction of future prices of securities 2. Also used for algorithmic
    [Show full text]
  • Radial Basis Functions
    Acta Numerica (2000), pp. 1–38 c Cambridge University Press, 2000 Radial basis functions M. D. Buhmann Mathematical Institute, Justus Liebig University, 35392 Giessen, Germany E-mail: [email protected] Radial basis function methods are modern ways to approximate multivariate functions, especially in the absence of grid data. They have been known, tested and analysed for several years now and many positive properties have been identified. This paper gives a selective but up-to-date survey of several recent developments that explains their usefulness from the theoretical point of view and contributes useful new classes of radial basis function. We consider particularly the new results on convergence rates of interpolation with radial basis functions, as well as some of the various achievements on approximation on spheres, and the efficient numerical computation of interpolants for very large sets of data. Several examples of useful applications are stated at the end of the paper. CONTENTS 1 Introduction 1 2 Convergence rates 5 3 Compact support 11 4 Iterative methods for implementation 16 5 Interpolation on spheres 25 6 Applications 28 References 34 1. Introduction There is a multitude of ways to approximate a function of many variables: multivariate polynomials, splines, tensor product methods, local methods and global methods. All of these approaches have many advantages and some disadvantages, but if the dimensionality of the problem (the number of variables) is large, which is often the case in many applications from stat- istics to neural networks, our choice of methods is greatly reduced, unless 2 M. D. Buhmann we resort solely to tensor product methods.
    [Show full text]
  • Basis Functions
    Basis Functions Volker Tresp Summer 2017 1 Nonlinear Mappings and Nonlinear Classifiers • Regression: { Linearity is often a good assumption when many inputs influence the output { Some natural laws are (approximately) linear F = ma { But in general, it is rather unlikely that a true function is linear • Classification: { Linear classifiers also often work well when many inputs influence the output { But also for classifiers, it is often not reasonable to assume that the classification boundaries are linear hyper planes 2 Trick • We simply transform the input into a high-dimensional space where the regressi- on/classification is again linear! • Other view: let's define appropriate features • Other view: let's define appropriate basis functions • XOR-type problem with patterns 0 0 ! +1 1 0 ! −1 0 1 ! −1 1 1 ! +1 3 XOR is not linearly separable 4 Trick: Let's Add Basis Functions • Linear Model: input vector: 1; x1; x2 • Let's consider x1x2 in addition • The interaction term x1x2 couples two inputs nonlinearly 5 With a Third Input z3 = x1x2 the XOR Becomes Linearly Separable f(x) = 1 − 2x1 − 2x2 + 4x1x2 = φ1(x) − 2φ2(x) − 2φ3(x) + 4φ4(x) with φ1(x) = 1; φ2(x) = x1; φ3(x) = x2; φ4(x) = x1x2 6 f(x) = 1 − 2x1 − 2x2 + 4x1x2 7 Separating Planes 8 A Nonlinear Function 9 f(x) = x − 0:3x3 2 3 Basis functions φ1(x) = 1; φ2(x) = x; φ3(x) = x ; φ4(x) = x und w = (0; 1; 0; −0:3) 10 Basic Idea • The simple idea: in addition to the original inputs, we add inputs that are calculated as deterministic functions of the existing inputs, and treat them as additional inputs
    [Show full text]
  • Lecture 6 – Orthonormal Wavelet Bases
    Lecture 6 – Orthonormal Wavelet Bases David Walnut Department of Mathematical Sciences George Mason University Fairfax, VA USA Chapman Lectures, Chapman University, Orange, CA 6-10 November 2017 Walnut (GMU) Lecture 6 – Orthonormal Wavelet Bases Outline Wavelet systems Example 1: The Haar Wavelet basis Characterizations of wavelet bases Example 2: The Shannon Wavelet basis Example 3: The Meyer Wavelet basis Walnut (GMU) Lecture 6 – Orthonormal Wavelet Bases Wavelet systems Definition A wavelet system in L2(R) is a collection of functions of the form j/2 j D2j Tk j,k Z = 2 (2 x k) j,k Z = j,k j,k Z { } 2 { − } 2 { } 2 where L2(R) is a fixed function sometimes called the 2 mother wavelet. A wavelet system that forms an orthonormal basis for L2(R) is called a wavelet orthonormal basis for L2(R). Walnut (GMU) Lecture 6 – Orthonormal Wavelet Bases If the mother wavelet (x) is concentrated around 0 then j j,k (x) is concentrated around 2− k. If (x) is essentially supported on an interval of length L, then j,k (x) is essentially j supported on an interval of length 2− L. Walnut (GMU) Lecture 6 – Orthonormal Wavelet Bases Since (D j T ) (γ)=D j M (γ) it follows that if is 2 k ^ 2− k concentrated on the interval I then j,k is concentrated on the interval 2j I. b b d Walnut (GMU) Lecture 6 – Orthonormal Wavelet Bases Dyadic time-frequency tiling Walnut (GMU) Lecture 6 – Orthonormal Wavelet Bases Example 1: The Haar System This is historically the first orthonormal wavelet basis, described by A.
    [Show full text]
  • Finite Element Methods
    Part I Finite Element Methods Chapter 1 Approximation of Functions 1.1 Approximation of Functions Many successful numerical methods for differential equations aim at approx- imating the unknown function by a sum N u(x)= ciϕi(x), (1.1) i=0 X where ϕi(x) are prescribed functions and ci, i = 0,...,N, are unknown coffi- cients to be determined. Solution methods for differential equations utilizing (1.1) must have a principle for constructing N + 1 equations to determine c0,...,cN . Then there is a machinery regarding the actual constructions of the equations for c0,...,cN in a particular problem. Finally, there is a solve phase for computing solution c0,...,cN of the N + 1 equations. Especially in the finite element method, the machinery for constructing the equations is quite comprehensive, with many mathematical and imple- mentational details entering the scene at the same time. From a pedagogical point of view it can therefore be wise to introduce the computational ma- chinery for a trivial equation, namely u = f. Solving this equation with f given and u on the form (1.1) means that we seek an approximation u to f. This approximation problem has the advantage of introducing most of the finite element toolbox, but with postponing variational forms, integration by parts, boundary conditions, and coordinate mappings. It is therefore from a pedagogical point of view advantageous to become familiar with finite ele- ment approximation before addressing finite element methods for differential equations. First, we refresh some linear algebra concepts about approximating vec- tors in vector spaces. Second, we extend these concepts to approximating functions in function spaces, using the same principles and the same nota- tion.
    [Show full text]
  • Basis Functions
    Basis Functions Volker Tresp Summer 2015 1 I am an AI optimist. We've got a lot of work in machine learning, which is sort of the polite term for AI nowadays because it got so broad that it's not that well defined. Bill Gates (Scientific American Interview, 2004) \If you invent a breakthrough in artificial intelligence, so machines can learn," Mr. Gates responded,\that is worth 10 Microsofts."(Quoted in NY Times, Monday March 3, 2004) 2 Nonlinear Mappings and Nonlinear Classifiers • Regression: { Linearity is often a good assumption when many inputs influence the output { Some natural laws are (approximately) linear F = ma { But in general, it is rather unlikely that a true function is linear • Classification: { Similarly, it is often not reasonable to assume that the classification boundaries are linear hyper planes 3 Trick • We simply transform the input into a high-dimensional space where the regressi- on/classification is again linear! • Other view: let's define appropriate features • Other view: let's define appropriate basis functions 4 XOR is not linearly separable 5 Trick: Let's Add Basis Functions • Linear Model: input vector: 1; x1; x2 • Let's consider x1x2 in addition • The interaction term x1x2 couples two inputs nonlinearly 6 With a Third Input z3 = x1x2 the XOR Becomes Linearly Separable f(x) = 1 − 2x1 − 2x2 + 4x1x2 = φ1(x) − 2φ2(x) − 2φ3(x) + 4φ4(x) with φ1(x) = 1; φ2(x) = x1; φ3(x) = x2; φ4(x) = x1x2 7 f(x) = 1 − 2x1 − 2x2 + 4x1x2 8 Separating Planes 9 A Nonlinear Function 10 f(x) = x − 0:3x3 2 3 Basis functions φ1(x) = 1; φ2(x)
    [Show full text]
  • Choosing Basis Functions and Shape Parameters for Radial Basis Function Methods
    Choosing Basis Functions and Shape Parameters for Radial Basis Function Methods Michael Mongillo October 25, 2011 Abstract Radial basis function (RBF) methods have broad applications in numerical analysis and statistics. They have found uses in the numerical solution of PDEs, data mining, machine learning, and kriging methods in statistics. This work examines the use of radial basis func- tions in scattered data approximation. In particular, the experiments in this paper test the properties of shape parameters in RBF methods, as well as methods for finding an optimal shape parameter. Locating an optimal shape parameter is a difficult problem and a topic of current research. Some experiments also consider whether the same methods can be applied to the more general problem of selecting basis functions. 1 Introduction Radial basis function (RBF) methods are an active area of mathematical research. The initial motivation for RBF methods came from geodesy, mapping, and meteorology. They have since found applications in other areas, such as the numerical solution of PDEs, machine learning, and statistics. In the 1970s, Rolland Hardy suggested what he called the multiquadric method for ap- plications in cartography because he was not satisfied with the results of polynomial interpolation. His new method for fitting data could handle unevenly distributed data sites with greater consis- tency than previous methods [Har90]. The method of RBF interpolation used in this paper is a generalization of Hardy’s multiquadric and inverse multiquadric methods. Many RBFs are defined by a constant called the shape parameter. The choice of basis function and shape parameter have a significant impact on the accuracy of an RBF method.
    [Show full text]