Re: Planning under Description Logic ?--an obstacle towards WSAC

> Basically, inference-rules are like operators except that they don't
> occur in the final plan.

I suddently find that there is a problem when treating inference-rules 
as operators. If we teat them as operators, they are such special
operators with the following characteristics:
(1) As you mention, they don't occur in the final plan
(2) They must be "executed" whenever their can be apply. It is
not like other operators, which will never be excuted if you don't
choose it in your plan.

This will add unexpected complexity in planning algorithm.
Considerting the following situation (sorry for not being able to 
provide a pratical example):
(1) inference rule: x:ClassA and x:ClassB -> x:Complementof(ClassC)
     Precondition: x:ClassC
     Effect: x:ClassA
     Precondition: x:ClassC
     Effect: x:ClassB
     Precondition: x:ClassC and x:ClassA
     Effect: x:ClassD
initial: a: ClassC 
goal: a:ClassB and a:ClassD

If we don't consider the characteristic (2), the generated plan would
probably be: action-1, action-2, action-3, while the proper plan 
should be action-1, action-3, action-2. How to take these inference
rules into consideration when planning is really a problem.

Best regards!
Manshan Lin (林满山)
Affiliation: School of Computer Science and Engineering, the South
China University of Technology
Phone: (+86)13711287277

Received on Friday, 10 December 2004 08:41:32 UTC