text: In contrast to many of the past efforts that make use of heuristic rules whose development requires intense knowledge engineering , our [[ approach ]] attempts to express the << speech knowledge >> within a formal framework using well-defined mathematical tools .