Learning action models with quantified conditional effects for software requirement specification

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5226 LNCS, Issue , 2008, Pages 874-881

  Zhuo, Hankui ^a   Li, Lei ^a   Yang, Qiang ^b   Bian, Rui ^a  

^a SUN YAT SEN UNIVERSITY   (China)

^b HONG KONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Hong Kong)

Author keywords

Intelligent planning; PDDL; SRS

Indexed keywords

EXTRACTION; INTERACTIVE COMPUTER SYSTEMS; SOFTWARE ENGINEERING; SPECIFICATIONS; STIMULATED RAMAN SCATTERING;

ACTION MODELS; APPLICATION FIELDS; BUSINESS PROCESSES; CONDITIONAL EFFECTS; DO-MAINS; HUMAN BEINGS; INTELLIGENT PLANNING; LEARNING ACTION MODELS; PDDL; PLANNING DOMAINS; REQUIREMENT SPECIFICATIONS; SOFTWARE REQUIREMENT SPECIFICATIONS; SOFTWARE REQUIREMENTS; SRS;

REQUIREMENTS ENGINEERING;

EID: 56549098326     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87442-3_107     Document Type: Conference Paper

References (9)

1. Yang, Q., Wu, K.H., Jiang, Y.F.: Learning Action Models from Plan Examples with incomplete Knowledge, in: Proceedings of the 2005 International Conference on Automated Planning and Scheduling (ICAPS 2005), Monterey, CA, USA, June, pp. 241-250 (2005)
2. Blythe, J., Kim, J., Ramachandran, S., Gil, Y.: An Integrated Environment for Knowledge Acquisition. In: Proceedings of the 2001 International Conference on Intelligent User Interfaces (IUI 2001), Santa Fe, NM, pp. 13-20 (2001)
3. Gil, Y.: Learning by Experimentation: Incremental Refinement of Incomplete Planning Domains. In: Eleventh Intl. Conf. on Machine Learning, pp. 87-95 (1994)
4. Oates, T., Cohen, P.R.: Searching for Planning Operators with Context-dependent and Probabilistic Effects. In: Proceedings of the Thirteenth National Conference on AI (AAAI 1996), Portland, OR, pp. 865-868 (1996)
5. Sommerville, I.: Software Engineering. Addison-Wesley (2000)
6. Wan, H., Zheng, Y.X., Li, L.: Software Requirement Specification Based on Answer Sets Semantics and Subject-Predicate-Object. In: The 8th International Conference for Young Computer Scientists (ICYCS 2005), Beijing, China, September 20-22 (2005)
7. Fox, M., Long, D.: PDDL2.1: an Extension to PDDL for Expressing Temporal Planning Domains. Journal of Artificial Intelligence Research 20, 61-124 (2003)
8. Borchers, B., Furman, J.: A Two-phase Exact Algorithm for MAX-SAT and Weighted MAX-SAT Problems. Journal of Combinatorial Optimization 2(4), 299-306 (1999)
9. Zhuo, H.K., Li, L., Bian, R., Wan, H.: Requirement Specification Based on Action Model Learning. In: Huang, D.-S., Heutte, L., Loog, M. (eds.) ICIC 2007. LNCS, vol. 4681, pp. 565-574. Springer, Heidelberg (2007)