AI Glossary / Graphs and symbolic AI / Intermediate
Inverse kinematics
Definition
Inverse kinematics is the calculation of joint values that place a robot's end effector, or the end of an articulated animation chain, at a desired position and possibly orientation. It solves the geometric relationship from a target configuration back to suitable joint configurations.
What it means
Forward kinematics answers: given these joint values, where is the end effector? Inverse kinematics asks the reverse question: which joint values could put it at this target?
The reverse problem can have no solution, one solution or several solutions. An arm may reach the same point with its elbow in different places. A robot with extra freedom may have a continuous family of configurations satisfying a task.
The task must specify what matters. Reaching a point is different from reaching it with a particular tool orientation. Joint limits and obstacles can eliminate geometrically possible solutions. Inverse kinematics alone also does not specify the forces or the complete motion required to get there.
How it works
Start with a kinematic model, including link geometry, joint types and the coordinate frame in which the target is expressed. Define the position and orientation constraints that the joint values must satisfy.
For some mechanisms, geometry or algebra provides analytical solutions. More general solvers begin with an initial guess and repeatedly reduce the difference between the current end-effector configuration and the target. A Jacobian describes how small joint changes affect the endpoint, supporting local numerical updates.
An iterative result depends on tolerances, the starting guess and the mechanism's geometry. Singular configurations can make some motions difficult or unavailable locally. A returned candidate should be checked against the original target, joint bounds and any additional constraints; convergence of one numerical attempt is not a general proof that every possible solution has been found.
Three practical examples
- A robot-planning simulation calculates arm joint angles for a gripper target before checking the route to that configuration.
- An animation tool adjusts a character's arm joints so that its hand remains at a selected point.
- A workcell design study checks whether a tool can reach specified positions while maintaining the orientation required by a task.
Think of it this way
Think of choosing where to place your hand and then arranging your shoulder and elbow to reach it. Several arm postures may put the hand in roughly the same place.
The analogy explains the direction of the calculation. A robot solver needs a precise model and constraints; human intuition about reaching does not establish that a robot can move safely, exert a required force or avoid every obstacle.
Worked example
Two joint configurations for one point
Consider an ideal planar arm with two links, each one unit long. The first joint angle is theta1, measured from the horizontal. The second, theta2, is relative to the first link. Ignore joint limits and obstacles, and require only endpoint position (1, 1).
The forward equations are x = cos(theta1) + cos(theta1 + theta2) and y = sin(theta1) + sin(theta1 + theta2).
One solution is theta1 = 0 degrees and theta2 = 90 degrees. The first link extends to (1, 0), and the second extends upward, placing the endpoint at (1, 1). Substitution gives x = 1 + 0 = 1 and y = 0 + 1 = 1.
Another solution is theta1 = 90 degrees and theta2 = −90 degrees. The first link extends to (0, 1), and the second extends rightward, again reaching (1, 1). The equations now give x = 0 + 1 = 1 and y = 1 + 0 = 1.
The final link orientation differs: 90 degrees in the first solution and 0 degrees in the second. Adding a required orientation can therefore change which solution is acceptable. A target at (3, 0) is unreachable because the two links together have maximum extension two units. None of these calculations establishes an obstacle-free path from a starting posture.
Illustrative case study
The fictional Birch Robotics team evaluates a simulated arm for placing components on a fixture. Its first test checks only whether the gripper can reach each target point. Reviewers then add the orientation needed to align the component and the permitted joint ranges.
The team records position error, orientation error and constraint violations separately, then passes acceptable configurations to a motion-planning stage.
Birch also tests several initial guesses for a numerical solver rather than interpreting one failed attempt as proof of impossibility. This case distinguishes endpoint geometry from validating a complete action.
Common misconceptions and mistakes
- Every reachable point has exactly one joint solution. Multiple postures can reach the same position.
- Position and pose are interchangeable. Pose includes orientation as well as position.
- A solver's failure proves the target is unreachable. A local numerical method may fail from a poor starting guess.
- A valid final configuration guarantees a valid movement. The path, collisions, timing and physical limits need additional analysis.
Business use
Inverse kinematics helps connect task-level goals to the joint-space configurations used by robots and animated mechanisms. It is useful in simulation, reachability studies and interactive pose adjustment.
When evaluating a system, define the requested endpoint tolerances and all relevant constraints. Ask whether the solver returns one candidate or seeks alternatives, how it reports failure and how final configurations are checked. Keep endpoint accuracy separate from motion feasibility and execution performance. A convincing pose demonstration can leave unanswered whether the mechanism can reach that pose from its actual starting state under the full task conditions.
People also ask
Is inverse kinematics the same as inverse dynamics?
No. Inverse kinematics concerns geometric joint configurations; inverse dynamics concerns forces or torques associated with specified motion.
Can a robot have more joints than the task strictly needs?
Yes. This redundancy can leave multiple configurations available, allowing additional preferences or constraints to influence the choice.
Does inverse kinematics require machine learning?
No. Analytical and numerical geometric methods can solve it without a learned model.
Check your understanding
Why does requiring a horizontal final link distinguish the two worked solutions?
Answer: Both reach (1, 1), but their final link angles are theta1 + theta2. These are 90 degrees and 0 degrees respectively, so only the second meets that orientation requirement.
Related terms
- Pose
- Jacobian
- Singularity
- Motion planning
- Forward kinematics
- joint configuration
- end effector
- workspace
- inverse dynamics
Learn next
Use the two-link equations to check both solutions again, then impose a second-joint range from 0 to 120 degrees. Identify which candidate survives and explain why this restriction changes feasibility without changing the link lengths.
More in Graphs and symbolic AI
- Internal state - An internal state is information an agent maintains within itself to support decisions over time.
- Interpolation search - Interpolation search is a search algorithm for a sorted sequence of numerical keys.
- Inverse entailment - Inverse entailment is a principle used in inductive logic programming to help find a hypothesis that, together with background knowledge, entails observed...
- Isolates - Isolates are graph nodes with no incident edges: their degree is zero. In a directed graph, an isolate has neither incoming nor outgoing edges.
- Iterative deepening search - Iterative deepening search repeatedly performs depth-limited depth-first searches with increasing depth limits until it finds a goal or establishes failure.
- Iterative expansion - Iterative expansion, or IE, is a memory-bounded heuristic search algorithm developed by Stuart Russell.
Sources
Lynch and Park introduce the inverse problem and analytical examples: https://modernrobotics.northwestern.edu/nu-gm-book-resource/inverse-kinematics-of-open-chains/
Their numerical-method explanation covers iterative updates and starting-guess limitations: https://modernrobotics.northwestern.edu/nu-gm-book-resource/6-2-numerical-inverse-kinematics-part-1-of-2/
Their workspace discussion clarifies task geometry: https://modernrobotics.northwestern.edu/nu-gm-book-resource/2-5-task-space-and-workspace/
The unit-link calculations and Birch Robotics case are original illustrations under the stated assumptions.
Previous: Inverse-gamma distribution Next: Inverse mapping