Abstract: Software systems are becoming an integral part of all walks of life. This aggravates the need for an artificial intelligent perspective for requirements engineering, which allows for modeling and analysing requirements formally, rapidly and automatically, avoiding mistakes made by misunderstanding between engineers and users, and saving lots of time and manpower. For exacting software requirement specification automatically, we applied intelligent planning and machine learning methods to convert software reduirement into an incomplete planning domain, and proposed an algo- rithm AMI_CP to learn action models with indeterminate effects. Furthermore, we obtained a complete planning domain by applying this algorithm and converted it into software requirement specification.

Key words: Intelligent planning, Machine learning,Software requirement,Knowledge acduisition