Alert icon
We're changing our privacy policy. This stuff matters.  Learn more  Dismiss

Deductive planning for an autonomous helicopter robot

Loading...

Sign in or sign up now!
2,705
Loading...
Alert icon
Sign in or sign up now!
Alert icon

Uploaded by on Dec 16, 2007

PARADOCS is a planning and reasoning framework based on deduction. Through an integration with a temporal constraint solver it implements a novel threat resolution that enables minimal commitment partial order planning. The video demonstrates setting up, planning, and executing a logistics mission for a robotic helicopter, and the use of automatically generated execution monitoring constraints to recover from execution failures.

Link to this comment:

Share to:

Uploader Comments (MartinMagnusson)

  • The Prolog code is actually published in my Licentiate Thesis "Deductive Planning and Composite Actions in Temporal Action Logic", online at my web page.

see all

All Comments (3)

Sign In or Sign Up now to post a comment!
  • how can I get this software????

  • nice..am showing this vid to my AI class as an example of the planning application

  • is the RMAX

Loading...

0 / 00Unsaved Playlist Return to active list
    1. Your queue is empty. Add videos to your queue using this button:
      or sign in to load a different list.
    Loading...Loading...Saving...
    • Clear all videos from this list
    • Learn more