<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:st1="urn:schemas-microsoft-com:office:smarttags" xmlns="http://www.w3.org/TR/REC-html40"> <head> <meta http-equiv=Content-Type content="text/html; charset=us-ascii"> <meta name=Generator content="Microsoft Word 11 (filtered medium)"> <o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags" name="place"/> <o:SmartTagType namespaceuri="urn:schemas-microsoft-com:office:smarttags" name="City"/>  <style>  </style>  </head> <body lang=EN-US link=blue vlink=purple> <div class=Section1> Tobias,<o:p></o:p> <o:p> </o:p> I intended this to be a single quick question and then a general one but it snowballed into numerous ACE Wiki questions. I’ve<o:p></o:p> ended up with diverse questions on ACE grammar, capabilities for representing plans, time, and space, and possible extensions<o:p></o:p> for additional punctuation and APIs to signal ACE Wiki events to an application program using it.<o:p></o:p> <o:p> </o:p> Anyway, here goes...<o:p></o:p> <o:p> </o:p> 1. I cannot seem to enter a name like A/1-75 Ranger Company since the “/” character is not allowed in names. Could it be added<o:p></o:p> or would that cause a clash somewhere else? Then I tried 1-75 Rangers, A Company and got caught again as “,” isn’t allowed in<o:p></o:p> names. And... Rangers (A/1-75) which also fails. Could one or more of slash, comma, or both parentheses be added?<o:p></o:p> <o:p> </o:p> 2. I would like to represent a plan in ACE. Suppose I use a STRIPS-like representation where each operator has preconditions and<o:p></o:p> postconditions. Now suppose I have a simple three-step plan P, e.g.,<o:p></o:p> <o:p> </o:p>      OP-1 OP-2 OP-3<o:p></o:p> <o:p> </o:p> where each OP-i is an operator that is a plan step in plan P:<o:p></o:p> <o:p> </o:p>     OP-1 is an operator.<o:p></o:p>     OP-2 is an operator.<o:p></o:p>     OP-3 is an operator.<o:p></o:p> <o:p> </o:p> and add a new verb “assume” for each precondition...<o:p></o:p> <o:p> </o:p>    OP-1 assumes resource X is available.<o:p></o:p>    OP-2 assumes resource Y is available.<o:p></o:p>    OP-3 assumes resource Z is available.<o:p></o:p> <o:p> </o:p> and then add a rule like this<o:p></o:p> <o:p> </o:p>    If a plan step O assumes a resource J is available and resource J is not available<o:p></o:p>    then plan step O fails.<o:p></o:p> <o:p> </o:p> and overall rules so that any step of the plan failing causes the whole plan<o:p></o:p> to fail...<o:p></o:p> <o:p> </o:p>   If a plan K has a plan step that fails then plan K fails.<o:p></o:p>   If there is no plan step of K that fails then plan K succeeds.<o:p></o:p> <o:p> </o:p> I don’t know if this is the right approach and would like other suggestions.<o:p></o:p> <o:p> </o:p> The first problem I run into is trying to represent the availability of resources:<o:p></o:p> <o:p> </o:p>    Resource X is available for OP-1.<o:p></o:p> <o:p> </o:p> The best I could come up with are these two statements (rules):<o:p></o:p>  <img width=608 height=119 id="_x0000_i1035" src="cid:image001.png@01CA50D5.63877BC0"><o:p></o:p> where X would be a plan step and Y the overall plan and Z some resource required for plan step X.<o:p></o:p> <o:p> </o:p> Do you have any better suggestions? If I stay with this will SWRL rules be produced when I export<o:p></o:p> the code or do I have to handcode them?<o:p></o:p> <o:p> </o:p> 3. How do I make statements that describe things? E.g., “Ranger Company A is available.”<o:p></o:p> It would seem that “available” is a non-transitive adjective and I don’t see how to enter that as a new word.<o:p></o:p> It seems only adjectives between nouns can be entered so I ended up with “available for” above.<o:p></o:p> <o:p> </o:p> But sometimes it would seem you’d simply need to save <noun> is <adjective>, e.g., “the<o:p></o:p> terrain is rough” or “the input is even”. How do you do that in ACE Wiki?<o:p></o:p> <o:p> </o:p> 4. Similarly, how do I enter standalone (intransitive) verbs? E.g., “OP-1 fails” and “Plan P fails.”<o:p></o:p> <o:p> </o:p> 5. I’m wondering how to use ACE grammar to represent events in time and space:<o:p></o:p> <o:p> </o:p> Does ACE allow describing the location and time of events, and what is the best way to<o:p></o:p> do this? I’d like to be able to have two statements such as “Ranger Company A is at <st1:City w:st="on"><st1:place w:st="on">Kandahar</st1:place></st1:City><o:p></o:p> at time T” and “Ranger Company A is at <st1:place w:st="on"><st1:City w:st="on">Melbourne</st1:City></st1:place> at time T” and conclude there is a contradiction.<o:p></o:p> <o:p> </o:p> But I fear these kind of statements would not be in the ACE grammar and in general I’d need a constraint checker<o:p></o:p> to see if two locations are too far apart for the unit to move between in the time specified. Something<o:p></o:p> like a tie-in to CHR would be nice.<o:p></o:p> <o:p> </o:p> 6. Is there a way I can tie into the ACE Wiki API so that when a contradiction is signaled I can run<o:p></o:p> some code of my own? It seems wherever you decide to display contradictions in red you could also<o:p></o:p> dispatch to user code via an ACE Wiki hook and that would be very useful. In my case I’d record<o:p></o:p> the contradiction, attempt to have it resolved in dialog with the user, and then try to withdraw the<o:p></o:p> contradictory statement or add a new plan.<o:p></o:p> <o:p> </o:p> Thanks for all the help. I know it’s a lot of questions but at least we’ve moved on from installation! :)<o:p></o:p> <o:p> </o:p> --Thanks,<o:p></o:p>            Bill<o:p></o:p> <o:p> </o:p> <o:p> </o:p> </div> </body> </html>