Reasoning about Action: An Argumentation - Theoretic Approach

We present a uniform non-monotonic solution to the problems of reasoning about action on the basis of an argumentation-theoretic approach. Our theory is provably correct relative to a sensible minimisation policy introduced on top of a temporal propositional logic. Sophisticated problem domains can be formalised in our framework. As much attention of researchers in the field has been paid to the traditional and basic problems in reasoning about actions such as the frame, the qualification and the ramification problems, approaches to these problems within our formalisation lie at heart of the expositions presented in this paper

Action Stories for Counter Terrorism (extended abstract)

Due to the raised terrorist threat worldwide, there is an urgent need to research that assists security and police services to protect the public and key assets and to prevent attacks from taking place. Successful protection and prevention may require potential and known suspects to be monitored or arrested. These operations are high risk because inappropriate surveillance, interview or arrest may have damaging political, public relations and intelligence effects. In addition to better tracking information on which to base suspicions, the security and police services need to have confidence that operations will yield evidence that can demonstrate conclusively that a deceptive activity such as a terrorist attack was in the process of being planned or executed before an operation takes place

A Guide to Motion and Newton\u27s Laws for General Science

This project provides activities in motion and Newton\u27s Laws of motion. Besides instructions on how to perform the activity, a list of student selfassessment questions is provided to encourage further inquiry. The activities are also aligned with the Essential Academic Learning Requirements for the State of Washington. These activities are designed to supplement curriculum already being taught

From metaphysical principles to dynamical laws

My thesis in this paper is: the modern concept of laws of motion—qua dynamical laws—emerges in 18th-century mechanics. The driving factor for it was the need to extend mechanics beyond the centroid theories of the late-1600s. The enabling result behind it was the rise of differential equations. In consequence, by the mid-1700s we see a deep shift in the form and status of laws of motion. The shift is among the critical inflection points where early modern mechanics turns into classical mechanics as we know it. Previously, laws of motion had been channels for truth and reference into mechanics. By 1750, the laws lose these features. Instead, now they just assert equalities between functions; and serve just to entail (differential) equations of motion for particular mechanical setups. This creates two philosophical problems. First, it’s unclear what counts as evidence for the laws of motion in the Enlightenment. Second, it’s a mystery whether these laws retain any notion of causality. That subverts the early-modern dictum that physics is a science of causes

Minimum-fuel Attitude Control of a Rigid Body in Orbit by an Extended Method of Steepest-descent

Minimum fuel control of spacecraft in orbit using extended method of steepest descen