Towards a New Programming Language for Embedded Systems
This talk will present ongoing work on a new procedural programming language
for embedded systems. Recent work in AI and robotics has suggested new
programming methodologies for computer applications embedded in the real world.
A reputable number of applications has demonstrated the importance of a handful
of generic principles, including uncertainty in information processing,
learning, and any-time computation. This project seeks to integrate these
principles into a language like C. We provide new datatypes for uncertain
information with probabilistic semantics. Built-in support for teaching/
learning enables programmers to "train" their programs. Thoughts will be
discussed for the development of an any-time runtime execution system. Videos
will be shown of robots in actions that benefit, or could benefit, from such a
This is joint work with Frank Pfenning.
November 18, 1998