Tutorials on cram_designator

asked 2012-11-22 01:31:39 -0600

93 ●16 ●21 ●24

updated 2012-11-22 01:51:44 -0600

Hi, are there better tutorials on how to use designators with cram_designator?

I have checked http://ros.org/wiki/cram_designators but the following part is really unclear for me

(def-fact-group navigation-action-designator (action-desig)
  (<- (action-desig ?designator ?goal)
    (desig-prop ?designator (type navigation))
    (desig-prop ?designator (goal ?goal))))

How do I interpret these codes?

What are those things with question mark? Are they temporal variables?
What is action-desig? In this case I think it is an action-designator type input instead of a function. So what does (action-desig ?designator ?goal) means?
In cram_pr2 process module, I can find even more definitions like these but quite hard to understand the meaning. Do I need to learn some prolog?

Looking forward to reply!

edit retag flag offensive close merge delete

add a comment

1

answered 2012-11-22 02:19:04 -0600

Lorenz

22731 ●129 ●202 ●316 http://ias.in.tum.de/p...

The code above is Prolog code for the Lisp-based Prolog interpreter CRAM uses. Have a look at cram_reasoning for more information.

All symbols prefixed with a questionmark are variables in the Lisp-Prolog-interpreter. That's actually pretty common syntax in most Lisp-based reasoning systems.

The code you pasted defines a predicate that holds for all designators that contain the properties (type navigation) and (goal <some goal>) and binds a variable to the actual goal.

action-desig? is a predicate that holds only for action designators. The predicate action-desig on the other hand is used by the method reference to resolve the designator.

If you want to use designators and maybe even implement your own, you will definitely have to learn some Prolog.

edit flag offensive delete link

add a comment

1

answered 2012-11-22 01:39:51 -0600

makokal

1295 ●14 ●20 ●32 http://www.makokal.com/

The question marks are part of Lisp syntax, perhaps you could start by going over the basics of CRAM to understand what designators mean. A good starting point is http://ros.org/wiki/cram_language, and http://www.ros.org/wiki/cram_pl/InternalTutorials

edit flag offensive delete link

Comments

Note that the internal tutorials might be pretty outdated and wrong at some points.

Lorenz ( 2012-11-22 02:12:12 -0600 )edit

Could you give some pointers as to which (parts of the) tutorials are outdated?

Loy ( 2012-11-22 08:35:16 -0600 )edit

add a comment

Tutorials on cram_designator

2 Answers

Comments

Question Tools

Stats

Related questions

Tutorials on cram_designator edit

2 Answers

Comments

Question Tools

Stats

Related questions

Tutorials on cram_designator