13. The method of claim 11 , further comprising: receiving, with the computational infrastructure, a set of instructions expressed in the formal language that relate to the aircraft intent of another aircraft; and comparing, with the computational infrastructure, predicted trajectories to identify conflicts in the predicted trajectories.
11. A method, implemented by a computational infrastructure, of predicting the trajectory of an aircraft, the method comprising: following a set of rules that govern the creation of valid words based on a flight segment, one or more constraints for the flight segment, and one or more objectives for the flight segment to express a flight intent of the aircraft using a formal language made up of the valid words which defines which degrees of freedom of motion of the aircraft are defined during the flight segment and which degrees of freedom of motion are not defined during the flight segment, wherein the flight segment represents an intent of changing an aircraft motion state from one state into another, the one or more constraints represent a restriction on the trajectory of the aircraft, and the one or more objectives represent a desire relating to the trajectory to maximize or minimize a certain function; for each flight segment following a set of attributes, being an effect, an execution interval, and a flight segment code that govern the creation of the valid words, the effect comprising aircraft behavior exhibited during the flight segment represented by a composite, the execution interval defining an interval during which the flight segment is active defining an initial aircraft state and a final aircraft state, and the flight segment code comprising an alphanumeric string wherein each letter or number in the alphanumeric string represents one of the degrees of freedom of the motion of the aircraft; reading data providing a description of the flight intent expressed using the formal language; obtaining further information such that an unambiguous description of the aircraft's trajectory during the flight is provided; expressing, by the computational infrastructure, the aircraft intent using the formal language to provide the unambiguous description of the aircraft's trajectory; solving, by the computational infrastructure, equations of motion in the computational infrastructure to define aircraft motion using the expression of aircraft intent and with reference to an aircraft performance model and an earth model; and transmitting, by the computational infrastructure, a description of the predicted trajectory to the aircraft, to another aircraft, or to an air traffic manager.