We clevelop a qualitative framework for temporal reasoning with incomplete information that features a modeling language based on rules and a semantics based on infinitesimal probabilities. The framework relates logical and probabilistical models, and accommodates in a natural way features that, have been found problematic in other models like nondeterminism, action qualifications, parallel act...

We present a distantly supervised system for extracting the temporal bounds of fluents (relations which only hold during certain times, such as attends school). Unlike previous pipelined approaches, our model does not assume independence between each fluent or even between named entities with known connections (parent, spouse, employer, etc.). Instead, we model what makes timelines of fluents c...

The phenomenon of movement arises whenever the same object occupies different positions in space at different times. Therefore a theory of movement must contain theories of time, space, objects, and position. We provide a theoretical basis for describing movement events in terms of the conditions for their occurrence, which refer to the holding or not holding of various positional fluents at di...

General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on the other hand, have been developed to represent static knowledge with the help of decidable subsets of first order logic. In this paper, we show how to use Description Logic as the basis for a decidable yet still exp...

The TM-LPSAT planner can construct plans in domains containing atomic actions and durative actions; events and processes; discrete, real-valued, and interval-valued fluents; reusable resources, both numeric and interval-valued; and continuous linear change to quantities. It works in three stages. In the first stage, a representation of the domain and problem in an extended version of PDDL+ is c...

In this paper, we investigate bounded action theories in the situation calculus. A bounded action theory is one which entails that, in every situation, the number of object tuples in the extension of fluents is bounded by a given constant, although such extensions are in general different across the infinitely many situations. We argue that such theories are common in applications, either becau...

Abstract Thrust eccentricity refers to the phenomenon that thrust vector deviates from axis of symmetry. This will produce lateral force and torque around aircraft, which affects normal flight increases required control torque, reduces density uncontrolled rockets. There are three sources eccentricity: mass eccentricity, geometric aerodynamic eccentricity. The is caused by asymmetrical flow com...