Describes Motivated Action Theory, a non-monotonic temporal theory that handles the Yale Shooting Problem and related issues. MAT is based on the principle that models are preferred if they contain events that happen for a reason. Both prediction and hypothetical reasoning are needed for good planning theories. This paper presents an ontology known as relativized branching time that can handle both. Click here for the dvi version.
Much commonsense reasoning requires that agents reason about the ways in which other agents reason.
Click here for the dvi version. How formal logic can be used to specify the workings of a business. Click here for the dvi version. Click here for the dvi version.