Data processing: artificial intelligence – Knowledge processing system – Knowledge representation and reasoning technique
Reexamination Certificate
2006-09-28
2010-02-23
Vincent, David R (Department: 2129)
Data processing: artificial intelligence
Knowledge processing system
Knowledge representation and reasoning technique
C717S100000
Reexamination Certificate
active
07668796
ABSTRACT:
Systems, methods and apparatus are provided through which in some embodiments, automata learning algorithms and techniques are implemented to generate a more complete set of scenarios for requirements based programming. More specifically, a CSP-based, syntax-oriented model construction, which requires the support of a theorem prover, is complemented by model extrapolation, via automata learning. This may support the systematic completion of the requirements, the nature of the requirement being partial, which provides focus on the most prominent scenarios. This may generalize requirement skeletons by extrapolation and may indicate by way of automatically generated traces where the requirement specification is too loose and additional information is required.
REFERENCES:
Püschel et al., “Spiral: A Generator for Platform-Adapted Libraries of Signal Processing Alogorithms”, 2004.
Hinchey Michael G.
Margaria Tiziana
Rash James L.
Rouff Christopher A.
Steffen Bernard
Brown, Jr. Nathan H
Goo Heather
The United States of America as represented by the Administrator
Vincent David R
LandOfFree
Automata learning algorithms and processes for providing... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Automata learning algorithms and processes for providing..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Automata learning algorithms and processes for providing... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4202705