Embodiments of the present invention relate to robotics and, more specifically, to early prediction of an intention of a user's actions.
Human intention inference is a natural step in achieving safety in human-robot collaboration. With intention inference, the robot can have knowledge of how the user will likely move. As a result, the robot can plan its own movements accordingly, so as not to collide with the user and so as not to perform redundant actions. Studies in psychology show that when two humans interact with each other, each one infers the intended actions of the other and decides based on this inference what proactive actions could be taken for safe interaction and collaboration. Thus, to enable robots to work more effectively with humans, improved human intention inference can be helpful.
According to an embodiment of this disclosure, a computer-implemented method includes recording, with a three-dimensional camera, one or more demonstrations of a user performing one or more reaching tasks. Training data is computed to describe the one or more demonstrations. One or more weights of a neural network are learned based on the training data, where the neural network is configured to estimate a goal location of the one or more reaching tasks. A partial trajectory of a new reaching task is recorded. An estimated goal location is computed, by a computer processor, by applying the neural network to the partial trajectory of the new reaching task.
In another embodiment, a system includes a memory having computer readable instructions and one or more processors for executing the computer readable instructions. The computer readable instructions include recording, with a three-dimensional camera, one or more demonstrations of a user performing one or more reaching tasks. Further according to the computer readable instructions, training data is computed to describe the one or more demonstrations. One or more weights of a neural network are learned based on the training data, where the neural network is configured to estimate a goal location of the one or more reaching tasks. A partial trajectory of a new reaching task is recorded. An estimated goal location is computed, by applying the neural network to the partial trajectory of the new reaching task.
In yet another embodiment, a computer program product for inferring an intention includes a computer readable storage medium having program instructions embodied therewith. The program instructions are executable by a processor to cause the processor to perform a method. The method includes recording, with a three-dimensional camera, one or more demonstrations of a user performing one or more reaching tasks. Further according to the method, training data is computed to describe the one or more demonstrations. One or more weights of a neural network are learned based on the training data, where the neural network is configured to estimate a goal location of the one or more reaching tasks. A partial trajectory of a new reaching task is recorded. An estimated goal location is computed, by applying the neural network to the partial trajectory of the new reaching task.
Additional features and advantages are realized through the techniques of the present invention. Other embodiments and aspects of the invention are described in detail herein and are considered a part of the claimed invention. For a better understanding of the invention with the advantages and the features, refer to the description and to the drawings.
The subject matter regarded as the invention is particularly pointed out and distinctly claimed in the claims at the conclusion of the specification. The foregoing and other features and advantages of the invention are apparent from the following detailed description taken in conjunction with the accompanying drawings in which:
Embodiments of a learning system described herein infer the intention of a user's movements, such as arm movements, based on observations from a three-dimensional (3D) camera. In some embodiments, the intention that is inferred is a goal, or future, location of an arm reaching task in 3D space.
In some embodiments, the learning system models nonlinear motion dynamics of a user's arm using a nonlinear function, with intentions represented as parameters. A model for the motion may be learned through use of a neural network (NN). This model may be a state-space model, where the NN may be used to represent state propagation. Joint positions and velocities of a human skeletal structure of the user may be used as states, while intentions may be parameters of the state-space model.
Based on the learned model, an approximate expectation-maximization (E-M) algorithm may be developed to infer human intentions. More specifically, by using a NN, intention inference may be solved as a parameter inference problem using an approximate expectation-maximization (EM) algorithm. The intention inference problem may handle three sources of uncertainty: uncertain system dynamics, sensor measurement noise, and unknown human intent. Further, in some embodiments, an identifier-based online model learning algorithm may adapt to variations in the motion dynamics, motion trajectory, goal locations, and initial conditions of varying human users.
The learning system 100 may include a training unit 150 and an online learning unit 160, both of which may be hardware, software, or a combination of hardware and software. Generally, the training unit 150 may train a neural network (NN) 170 based on training data derived from one or more user demonstrations of reaching tasks; and the online learning unit 160 may predict intentions for new reaching tasks and may also update the NN 170 based on test data derived from these new reaching tasks.
In some embodiments, the learning system 100 may be implemented on a computer system and may execute a training algorithm and an online learning algorithm, executed respectively by the training unit 150 and the online learning unit 160, as described below. Further, the learning system 100 may be in communication with a camera 180, such as Microsoft Kinect® for Windows® or some other camera capable of capturing data in three dimensions, which may record demonstrations of reaching tasks as well as new reaching tasks after initial training of the NN 170.
For the purpose of this disclosure, there may be a set of intentions G={g1, g2, . . . , g3}, where each gi ∈ 3 represents a goal location, which may be a location in 3D space of an object in the workspace. Each reaching task performed may be associated with an intention g ∈ G, which may be a location at which the reaching task culminates. For example, and not by way of limitation, G may represent a set of finite locations on a table. Although it is assumed throughout this disclosure that G includes a set of finite values, it will be understood that some embodiments may be extended to cover a continuous G.
In some embodiments, a state xt may represent the various positions and velocities of selected points on a user's arm. For instance, xt ∈ 24 may represent the positions and velocities of four points on the arm, specifically the shoulder, elbow, wrist, and palm, where these points describe overall movement of the arm at a given time step t. The variable zt ∈ 24 may represent measurements obtained from the camera 180 at the time step t, where xt may be derived based in part on zt, as will be described further below. Evolution of the state xt over time may depend on both a previous value of the state (i.e., at a previous time step) as well as an estimated intention g.
As shown, at block 205, the learning system 100 may record one or more demonstrations of a user performing reaching tasks. In some embodiments, each demonstration may include culmination of the reaching task at a corresponding goal location. Thus, each such demonstration may be associated with a corresponding goal location. As will be discussed further below, the NN 170 may be trained based on these demonstrations of reaching actions.
At block 210, the learning system 100 obtain estimates of joint positions, velocities, and accelerations for the one or more demonstrations. Specifically, in some embodiments, the joint positions, velocities, and accelerations may be estimated by applying a Kalman filter to the data recorded at block 205, as described further below. Together, these estimates and the goal locations may be used as training data for the NN 170.
In some embodiments, the joint positions may be recorded by the camera 180 in block 205, and may thus be obtained in the camera's frame of reference. Where pc=(xc, yc, zc)T is a point in the camera's reference frame, and pr=(xr, yr, zr)T is a point in the robot's reference frame, the points pc and pr are related by pc=Rrcpr+Trc (hereinafter “Formula 1”). In Formula 1, Rrc ∈ SO(3) and Trc ∈ 3 are, respectively, a rotation matrix and a translation vector.
The camera 180 may measure 3D positions of the user's joints, which may be used as raw positions. These raw positions may be input into a Kalman filter to obtain the velocity and acceleration estimates of the joints.
In some embodiments, a measurement model may be represented in the generic form yt=h(xt)+vt, where measurement function h(xt)=Hx
At block 215, the learning system 100 may generate training data based on the joint positions, velocities, and accelerations. For instance, in the training data, the joint positions, velocities, and accelerations for each reaching task may be associated with the corresponding goal location of that reaching task.
At block 220, the learning system may learn the NN 170, based on the one or more demonstrations, specifically, based on the training data derived from the demonstrations. More specifically, learning the NN 170 may include learning the weights of the NN 170, as described in detail below.
In some embodiments, a state transition model describes evolution of the state of the robot 120 over time. The state transition model may be described by the equation {dot over (x)}32 fc*(xt, g)+ωt (hereinafter “Formula 2”). In this equation, {ωt}˜N(0, Qc) ∈ 24 is a non-zero Gaussian random process with a covariance matrix Qc ∈ 24×24; and fc*(xt, g): z,2524 ×3→24 is assumed to be an analytical function.
The nonlinear function fc*(xt, g), of Formula 2, may be modeled using the NN 170 given by fc*(xt, g)=Wtσ(UTst)+∈(st), where st=[[xtT, gT], 1]T) ∈ z,2528 is a vector input to the NN 170;
is a vector-sigmoid activation function; and (UTst)i is the ith element of the vector (UTst); U ∈ 28×n
The learning system 100 may train the NN using Bayesian regularization, a robust algorithm suitable for applications where training data is noisy and the sample size is small, as may be the case in some embodiments. In some embodiments, the NN 170 may be trained using Bayesian regularization with the objective function J(U, W)=KαED+KβEW, where ED=Σi(yi−ai)2 is a sum of squared errors; yi is the target location; ai is the NN's output; EW is a sum of the squares of weights of the NN 170; and α and β are parameters of regularization that can be used, respectively to change emphasis between reducing reconstruction errors and reducing weight sizes.
At block 325, the learning system 100 may record new measurements of a new reaching task being performed by a user. The user may or may not be a user who demonstrated reaching tasks incorporated into the training data. The new reaching task may be unfinished and may thus form only a partial trajectory toward the user's intended goal location. In some embodiments, these new measurements may be recorded by the camera 180.
At block 330, the learning system 100 may generate new data from the recorded measurements, and that new data may include estimates of joint positions, velocities, and accelerations of the new reaching task. Again, the generation of this data may be performed through application of a Kalman filter, this time with respect to the new measurements. However, unlike the training data, this new data may exclude actual goal locations. This new data may be used as the value of ZT in the formulas presented below, where ZT refers to a set of measurements from an initial time instance to a current time t.
At block 335, the learning system 100 may initialize various parameters and variables to be used in updating the NN 170 and in estimating an intention (i.e., an intended goal location) of the new reaching task. For example, and not by way of limitation, this may include initializing {circumflex over (x)}0, {circumflex over (P)}0, {circumflex over (x)}id
At block 340, an iterative loop begins for determining the intention g of the new reaching task.
The learning system 100 may iteratively infer an intention g of the new reaching task, as the new measurements become available. In other words, the intention may be generated repeatedly, thus becoming more refined. In some embodiments, the EM algorithm requires the state transition model to be in discrete form. As such, the state transition model defined in Formula 2 may be discretized using first-order Euler approximation, yielding xt=f(xt−1,g)+ωtTs (hereinafter “Formula 3”), where f(xt−1,g)=xt−1+Wtσ(UTSt−1)Ts and Ts is the sampling period.
To infer intention, the learning system 100 may aim to maximize the posterior probability of ZT, the new data, given the intention g, using a maximum-likelihood (ML) criterion, where ZT=z1:T is a set of observations from time t=1 to t=T, and where T can differ between the training data and the new data. In other words, ZT refers to a set of measurements from an initial time instance to the time T, while each zt refers to an isolated measurement at time t. Process noise of the discretized system in Formula 3 may be given by Q=Ts2Qc. The log-likelihood function of the intention g, l(g), may be l(g)=log p(ZT|g) (hereinafter “Formula 4”), which can be obtained by marginalizing the joint distribution l(g)=log∫p(XT, ZT|g)dXT (hereinafter “Formula 5”). In Formula 5, XT=x1:T may be a collective representation of states from time t=1 to t=T.
In some embodiments, the learning system 100 may use an approximate EM algorithm with modifications for handling state transition models trained using the NN 170. Using the fact that EX
In the above Formulas 6 and 7, where EX
As described in more detail below, the learning system 100 may compute the auxiliary function Q(g, ĝt) given the observations ZT and a current estimate of the intention ĝt. The learning system 100 may also compute the next intention estimate ĝt+1, after the current intention estimate, by finding a value of g that maximizes Q(g, ĝt).
At block 345, the learning system 100 may read a current measurement zt of the new reaching task.
At block 350, based on the current NN 170 and the previous intention estimate ĝt−1, the learning system 100 may compute {circumflex over (x)}t, {circumflex over (P)}t, and {circumflex over (P)}t,t−1, respectively a state estimate, the covariance of the state estimate, and the cross covariance of the state estimates at times t and t−1. This computation may be performed by using an extended Kalman function (EKF). This may be performed by computing the auxiliary function Q(g, ĝt) given the observations ZT and a current estimate of the intention ĝt.
To this end, the learning system 100 may evaluate the expectation of the complete data log-likelihood given by Q(g, ĝt)=EX
In Formula 9, log [p(zt|xt, g)] is replaced by log [p(zt|xt)]. This is because, for the intention inference problem, the measurement zt need not depend on the intention g. When attempting to optimize Formula 9, a difficulty arises due to the nonlinearity of the state transition model. Thus, in some embodiments, the nonlinear state transition model may be represented by the NN. In order to compute the expectation of the log-likelihood in Formula 10, the expression inside the curly brackets of Formula 10 may be linearized about
Where
The derivatives of
It is noted that
is the sub-matrix of the Jacobian of the NN that can be obtained by ignoring the matrix rows pertaining to
can be derived by taking the first n columns of
where n is the number of states (i.e., the dimension of the state vector xt). The Hessian
can be derived in a similar fashion.
Using Formulas 11 through 16, the expectation in Formula 8 can be written as
In the above, {circumflex over (x)}t and {circumflex over (P)}t may be the state estimate and its covariance, respectively, while {circumflex over (x)}0 and {circumflex over (P)}0 may be their respective initial values; and {circumflex over (P)}t,t−1 may be the cross covariance of the state estimates at times t and t−1. The state estimate {circumflex over (x)}t and the covariances {circumflex over (P)}t and {circumflex over (P)}t,t−1 may be obtained using an EKF. To linearize the transition model for the EKF at a current time t, the learning system 100 may use the state estimate {circumflex over (x)}t−1 from a previous time as a point of linearization. Formula 17 can be written in an iterative form to calculate the value of the Q function at every iteration. Thus, Formula 17 may be solved iteratively, with one iteration performed at each time step, such that an estimate of the goal location may be obtained at each time step.
At block 355, the learning system 100 may compute the intention estimate ĝt, such as by finding a value of g that maximizes Q(g, ĝt). In some embodiments, the learning system 100 may optimize Q(g, ĝt) over g as described by ĝt+1=arg maxgQ(g, ĝt). This may be executed in various ways, such as by numerical optimization or direct evaluation as described below.
When using numerical evaluation of the Q function, Q(g, ĝt), the learning system 100 may attempt to maximize the Q function through the use of a GradEM algorithm, where the first few iterations of the algorithm are used for this purpose. This technique may include optimizing the Q function over 3. An update equation for ĝt, through GradEM algorithm, may be given by ĝk+1=ĝk−(Q)−1Δ(Q) (hereinafter “Formula 18”), where ĝk may be an estimate of g at the kth iteration of the optimization algorithm (Q) and Δ(Q) are respectively the Hessian and Gradient of the Q function.
In some embodiments, numerical optimization may be performed at each time step of the EM algorithm, where each time step is a point in time at which the intention is reevaluated based on available new data for the new reaching task. Further, in some embodiments, the number of iterations for the optimization in Formula 18 may be chosen based on computational capabilities, and the Hessian of the Q function may be numerically approximated.
In contrast, when using direct evaluation of the Q function, the learning system 100 may infer g by evaluating the Q function for all possible gi (i.e., all possible goal locations) in G, so as to obtain ĝt+1 as described by ĝt+1=arg maxg∈GQ(g, ĝt). This technique of evaluating the Q function may be executable if all possible goal locations gi are known a priori and are finite. This need not an unusual case in the context of the described problem scenario. For instance, the learning system 100 may use the camera 180 along with image processing algorithms to detect objects on the workbench, and to extract the 3D positions of those objects. The learning system 100 may then assume that each reaching task has a goal location equivalent to one of these 3D positions.
At block 360, instructions may be given to the robot 120, based in part on the estimated intention ĝt, so as to enable the robot 120 to interact with the user performing the new reaching task. It will be understood that the robot's activities in interacting with the user may vary widely, depending on the task being performed by the robot 120, the user, or both. Thus, these instructions may be of various types, designed to perform these activities effectively. For example, and not by way of limitation, it may be determined that the estimated intention is a location that is the same as a position of the particular object in the workspace. In that case, the instructions to the robot 120 may avoid collision with a trajectory of the user's arm moving toward that particular object.
At block 365, using the intention estimate ĝt, computed at block 350, the learning system may compute a state identifier {circumflex over ({dot over (x)})}id
In some embodiments, the learning system 100 may continue to update the NN 170 in real time, while predictions of goal locations are being made, by way of an online learning algorithm. The online learning algorithm may be used to update the weights of the NN 170. In some embodiments, this online learning of the NN weights may make inferences of g robust to variations in starting arm positions and various motion trajectories taken by different people. In other words, the learning system 100 may continue to generate good results regardless of which user is performing a reaching task, and regardless of an initial arm position of that user.
Through application of the online learning algorithm, the NN weights may be updated iteratively as new data about the new reaching task becomes available. To this end, a state identifier may be used to compute an estimate of the state derivative based on current state estimates obtained from the EKF and the current NN weights. The learning system 100 may compute an error in the state identifier, based on the state estimate and measurement of the state. The error may be used to update the NN weights at the next time step. The state identifier may use a feedback term such as the robust integral of the sign of the error (RISE) to obtain asymptotic convergence of the state estimates and their derivatives to their true values.
Equations used to update the NN weights may use Lyapunov-based stability analysis. For instance, the state identifier is given by {circumflex over ({dot over (x)})}idt=ŴtTσ(ÛtTŝt)+μt (hereinafter “Formula 19”), where Ût ∈ 28×n
The learning system 100 may use weight update equations given by {circumflex over ({dot over (W)})}t=proj(Ŵt, Γw{circumflex over (σ)}′Ûx
is a projection operator where
In some embodiments, the projection operator ensures that the estimate {circumflex over (θ)} ∈ Ωδ ∀t≧0, where Ωδ={{circumflex over (θ)}|θ−δ≦{circumflex over (θ)}≦
At block 370, the learning system 100 may update the NN 170 by changing the weights, such as according to Formula 20, which appears above. In some embodiments, the method 300 may then return to block 340 to begin calculation of a new estimated intention ĝt at a new time step where the time step t is incremented. This iterative loop may continue as long as an estimated intention is desired for the new reaching task.
At block 425, the learning system 100 may record new measurements of a new reaching task being performed by a user. At block 430, the learning system 100 may generate new data from the recorded measurements, and that new data may include estimates of joint positions, velocities, and accelerations of the new reaching task. At block 435, the learning system 100 may identify the number of goal locations and create a model for each goal location. At block 440, the learning system 100 may initialize one or more parameters and variables used to estimate intentions. At block 445, an iterative loop may begin for determining an intention of a new reaching task. At block 450, the learning system 100 may read a current measurement of the new reaching task. At block 455, the learning system may compute one or more mixing probabilities and may mix state estimates from previous iterations of the loop or, if this is the first iteration, from default parameters. At block 460, the learning system 100 may compute state estimates and covariances of the state estimates, and may model likelihoods based on values of the state estimates and covariances from previous iterations or, if this is the first iteration, from default parameters. At block 465, the learning system 100 may compute model probabilities and an estimate for the intention.
At block 470, the learning system 100 may instruct the robot 120 based on the intention estimate. In some embodiments, the method 400 may then return to block 445 to begin calculation of a new estimated intention ĝt at a new time step where the time step t is incremented. This iterative loop may continue as long as an estimated intention is desired for the new reaching task. Below follows a more detailed description of this method 400.
Given a state variable x ∈ n, a set of D demonstrations {Di}i=1D are solutions to an underlying dynamics model governed by the following first-order differential equation {dot over (x)}(t)=f(x(t))+w(t) (hereinafter “Formula 21”), where f: n→n is a nonlinear, continuous, and continuously differentiable function, and w˜(0, Qc) is a zero-mean Gaussian process with covariance Qc. Each demonstration may be associated with trajectories of a state {x(t)}t=0t=T and trajectories of the state derivative {{dot over (x)}(t)}t=0t=T from time t=0 to t=T. The nonlinear function f may be modeled using an artificial neural network (ANN), specifically f(x(t))=WTσ(UTs(t))+∈(s(t)). In this ANN description, s(t)=[x(t)T, 1]T ∈ n+1 is the input vector to the ANN;
is a vector-sigmoid activation function; (UTs(t))i is the ith element of the vector (UTs(t)); U ∈ n+1×n
The learning system 100 may solve the following unconstrained optimization problem to train the ANN: {Ŵ, Û}=arg minw,u{αED+βEw} (hereinafter “Formula 22”). In the above, ED=Σi=1D[yi−ai]T [yi−ai] is the sum of the squared error; yi ∈ n and ai ∈ n respectively represent the target and the network's output of the ith demonstration; Ew is the sum of the squares of the ANN weights; α, β ∈ are scalar parameters of regularization.
Technical effects and benefits of one or more embodiments include the ability to model human arm motion dynamics using a NN 170 and to infer human intentions using a NN-based approximate EM algorithm. Technical effects and benefits may further include the ability to use online learning to adapt to various initial arm configurations and to various users.
In some embodiments, as shown in
The I/O devices 540, 545 may further include devices that communicate both inputs and outputs, for instance disk and tape storage, a network interface card (NIC) or modulator/demodulator (for accessing other files, devices, systems, or a network), a radio frequency (RF) or other transceiver, a telephonic interface, a bridge, a router, and the like.
The processor 505 is a hardware device for executing hardware instructions or software, particularly those stored in memory 510. The processor 505 may be a custom made or commercially available processor, a central processing unit (CPU), an auxiliary processor among several processors associated with the computer system 500, a semiconductor based microprocessor (in the form of a microchip or chip set), a microprocessor, or other device for executing instructions. The processor 505 includes a cache 570, which may include, but is not limited to, an instruction cache to speed up executable instruction fetch, a data cache to speed up data fetch and store, and a translation lookaside buffer (TLB) used to speed up virtual-to-physical address translation for both executable instructions and data. The cache 570 may be organized as a hierarchy of more cache levels (L1, L2, etc.).
The memory 510 may include one or combinations of volatile memory elements (e.g., random access memory, RAM, such as DRAM, SRAM, SDRAM, etc.) and nonvolatile memory elements (e.g., ROM, erasable programmable read only memory (EPROM), electronically erasable programmable read only memory (EEPROM), programmable read only memory (PROM), tape, compact disc read only memory (CD-ROM), disk, diskette, cartridge, cassette or the like, etc.). Moreover, the memory 510 may incorporate electronic, magnetic, optical, or other types of storage media. Note that the memory 510 may have a distributed architecture, where various components are situated remote from one another but may be accessed by the processor 505.
The instructions in memory 510 may include one or more separate programs, each of which comprises an ordered listing of executable instructions for implementing logical functions. In the example of
Additional data, including, for example, instructions for the processor 505 or other retrievable information, may be stored in storage 520, which may be a storage device such as a hard disk drive or solid-state drive. The stored instructions in memory 510 or in storage 520 may include those enabling the processor to execute one or more aspects of the learning systems 100 and methods of this disclosure.
The computer system 500 may further include a display controller 525 coupled to a display 530. In some embodiments, the computer system 500 may further include a network interface 560 for coupling to a network 565. The network 565 may be an IP-based network for communication between the computer system 500 and an external server, client and the like via a broadband connection. The network 565 transmits and receives data between the computer system 500 and external systems. In some embodiments, the network 565 may be a managed IP network administered by a service provider. The network 565 may be implemented in a wireless fashion, e.g., using wireless protocols and technologies, such as WiFi, WiMax, etc. The network 565 may also be a packet-switched network such as a local area network, wide area network, metropolitan area network, the Internet, or other similar type of network environment. The network 565 may be a fixed wireless network, a wireless local area network (LAN), a wireless wide area network (WAN) a personal area network (PAN), a virtual private network (VPN), intranet or other suitable network system and may include equipment for receiving and transmitting signals.
Learning systems 100 and methods according to this disclosure may be embodied, in whole or in part, in computer program products or in computer systems 500, such as that illustrated in
The present application claims priority to U.S. Provisional Application No. 62/366,663, filed on Jul. 26, 2016, the contents of which are incorporated by reference herein in their entirety.
Number | Date | Country | |
---|---|---|---|
62366663 | Jul 2016 | US |