Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionLast revisionBoth sides next revision | ||
cram [2014/03/07 13:51] – gkazhoya | cram [2022/03/01 22:40] – [Acknowledgements] added K4R gkazhoya | ||
---|---|---|---|
Line 1: | Line 1: | ||
====== CRAM: Cognitive Robot Abstract Machine ====== | ====== CRAM: Cognitive Robot Abstract Machine ====== | ||
- | CRAM stands | + | CRAM is a toolbox |
+ | software | ||
+ | tools and libraries for aiding in robot software development as | ||
+ | well as geometric reasoning and fast simulation mechanisms to | ||
+ | develop cognition-enabled control programs that achieve high levels | ||
+ | for introspection that enable the robots to reason about their past | ||
+ | executions and improve by autonomously optimizing their plans. | ||
- | Currently | + | < |
+ | CRAM is a software toolbox for the design, implementation and deployment of cognition-enabled plan execution on autonomous robots. CRAM equips autonomous robots with lightweight reasoning mechanisms that can infer control decisions rather than requiring the decisions to be preprogrammed. This way CRAM-programmed autonomous robots are more flexible and general than control programs that lack such cognitive capabilities. CRAM does not require the whole reasoning domain to be stated explicitly in an abstract knowledge base. Rather, | ||
- | * [[doc/ | + | CRAM's domain-specific reactive concurrent language |
- | * [[doc/package/cram_reasoning|cram_reasoning]] contains an implementation of a Prolog like interpreter and the RETE algorithm for performing symbolic reasoning. | + | --></html> |
- | * [[doc/package/cram_designators|cram_designators]] | + | |
- | * [[doc/package/ | + | |
+ | The core packages of CRAM are implemented in Common Lisp (with a little bit of C/C++) with support to the ROS middleware infrastructure. | ||
Line 17: | Line 23: | ||
This project received funding from several funding agencies in different research projects. We would like to acknowledge the support from | This project received funding from several funding agencies in different research projects. We would like to acknowledge the support from | ||
- | * DFG Excellence Initiative research cluster //Cognition for Technical Systems ([[http://www.cotesys.org|CoTeSys]])// | + | * BMWK project |
- | * EU FP7 project [[http:// | + | * EU H2020 project [[http:// |
- | * EU FP7 project [[http://robohow.eu|RoboHow]] (grant agreement #288533) | + | * DFG Project PIPE (project |
- | * EU FP7 project | + | * DFG Collaborative Research Centre |
- | * EU FP7 project | + | * EU FP7 project SHERPA (grant agreement #600958) |
- | * [[https:// | + | * EU FP7 project RoboHow |
+ | * EU FP7 project Saphari (grant agreement #287513) | ||
+ | * EU FP7 project | ||
+ | * DFG Excellence Initiative research cluster CoTeSys -- Cognition for Technical Systems | ||
+ | * Willow Garage as part of the PR2 Beta Program | ||
+ | |||
+ | ===== Publications ===== | ||
+ | |||
+ | Please see the relevant publications [[publications|here]]. |