If we are to take the notion of speech act seriously, we must be able to treat speech acts as acts. In what follows, I will try to model changes brought about by various acts of commanding in terms of a variant of update logic. I will combine a multi-agent variant of the language of monadic deontic logic with a dynamic language to talk about the situations before and after the issuance of comma...

This paper introduces a new technique to synthesize dexterous manipulation of cloth. Given a simple description of the desired cloth motion, our algorithm computes appropriate joint torques for physically simulated hands, such that, via contact forces, the result of cloth simulation follows the desired motion. Instead of optimizing the hand control forces directly, we formulate an optimization ...

We demonstrated integrated technology for multiple crew and robots to work together in a planetary surface exploration scenario. Highlights include dynamic replanning, “many to many” rover commanding, efficient human-system interaction and workflows, single cycle instrument placement, and data management.

In the highly dynamic and information rich environment of military submarine operations, the Commanding Officer must make split second decisions that could ultimately result in the destruction or survival of ownship or the accomplishment of its designated mission. Despite extensive training and expertise, the fog of war often shadows real world encounters. Pieces of the tactical puzzle may be s...

This paper discusses a proof-of-concept prototype for ground-based automatic generation of validated rover command sequences from high-level science and engineering activities. This prototype is based on ASPEN, the Automated Scheduling and Planning Environment. This Artificial Intelligence (AI) based planning and scheduling system will automatically generate a command sequence that will execute...

This paper discusses a proof-of-concept prototype for ground-based automatic generation of validated rover command sequences from high-level science and engineering activities. This prototype is based on ASPEN, the Automated Scheduling and Planning Environment. This Artificial Intelligence (AI) based planning and scheduling system will automatically generate a command sequence that will execute...

This paper will discuss a proof-of-concept prototype for automatic generation of validated rover command sequences from high-level science and engineering activities. This prototype is based on ASPEN, the Automated Scheduling and Planning Environment. This AI-based planning and scheduling system will automatically generate a command sequence that will execute within resource constraints and sat...