Vancouver Lisp Users Group meeting for July 2007 - Domain Modeling for Planning
Thursday, July 12, 2007
Gosh, it's been quite a long time since our
last lispvan meeting! Unfortunately, I've been traveling a lot in
recent months and have had a number of "minor home improvement"
projects that got out of hand, so I haven't had much free
time (well, at least that's my excuse and I'm sticking to it!).
For our July
lispvan meeting, meeting, Robert Goldman (a senior scientist at
SIFT, LLC, a small research company in Minneapolis that develops
intelligent control systems) will be giving a condensed version of
the tutorial that he will be giving at the
AAAI-07 conference here in Vancouver. His co-presenter Mark Boddy
(an internationally recognized expert in the theory and practice of
building planning and scheduling systems) may also be joining us.
Here's the "official" meeting notice:
Topic: Domain Modeling for Planning
Presenter: Robert Goldman (and, perhaps, Mark Boddy)
Date: Wednesday, July 25, 2007
Time: 7pm - 10pm (or whenever)
Venue:
Think!, 4512 West 10th Ave., Vancouver (see
map)
Summary: A condensed version of the "Domain Modeling for
Planning" tutorial that is being presented at the AAAI-07 conference
in Vancuver. Here is the
summary from the AAAI site:
"In this tutorial, we will present examples of modeling challenges drawn from a broad range of practical applications, including computer security, manufacturing, UAV control, and space operations, as well as some of the domains used in the International Planning Competition. For each of these applications, we will discuss and illustrate the pros and cons of various modeling approaches, including PDDL, various HTN schema representations (for example, SHOP2, ACT, O-Plan) logical formalisms (TAL), and constraint-based representations such as NASA's NDDL and LAAS' IxTeT input language."So, come join us for a beer, a bite to eat, an interesting presentation, and a chance to socialize with fellow lispers!
