Requirement specification based on action model learning

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

Volumn 4681 LNCS, Issue , 2007, Pages 565-574

  Zhuo, Hankui ^a   Li, Lei ^a   Bian, Rui ^a   Wan, Hai ^a  

^a SUN YAT SEN UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; INTELLIGENT AGENTS; MODEL CHECKING; PROBLEM SOLVING; REQUIREMENTS ENGINEERING; SPECIFICATION LANGUAGES;

INTELLIGENT PLANNING; LEARNING TOOLS; REQUIREMENT SPECIFICATIONS; SOFTWARE REQUIREMENTS;

LEARNING SYSTEMS;

EID: 38049072276     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74171-8_56     Document Type: Conference Paper

References (14)

1. Yang, Q., Wu, K., Jiang, Y.: 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 (2005) 241-250
2. Benson, S.:Inductive Learning of Reactive Action Models, Proceedings of the International Conference on Machine Learning (ICML 1995), Stanford University, Stanford, CA, (1995) 47-54
3. Blythe, J., Kim, J., Ramachandran, S., Gil, Y.:An Integrated Environment for Knowledge Acquisition, Proceedings of the 2001 International Conference on Intelligent User Interfaces (IUI2001), Santa Fe, NM, (2001) 13-20
4. Gil, Y.: Learning by Experimentation: Incremental Refinement of Incomplete Planning Domains, Eleventh Intl. Conf. on Machine Learning, (1994) 87-95
5. Oates, T., Cohen, P.R.:Searching for Planning Operators with Context-dependent and Probabilistic Effects, Proceedings of the Thirteenth National Conference on AI (AAAI 1996), Portland, OR, (1996) 865C868
6. Sablon, G., Boulanger, D.: Using the Event Calculus to Integrate Planning and Learning in an Intelligent Autonomous Agent, Current Trends in AI Planning, IOS Press, (1994) 254-265
7. Shen, W.: Autonomous Learning from the Environment, Computer Science Press/W.H. Freeman and Company, (1994)
8. Wang, X.:Learning by Observation and Practice: An Incremental Approach for Planning Operator Acquisition, Proceedings of the Twelfth International Conference on Machine Learning (ICML 1995), (1995) 549-557
9. Sommerville, I.:Software Engineering[M]. [s.l.]: Addison- Wesley, (2000)
10. Wan, H., Zheng, Y., Li, L.: Software Requirement Specification based on Answer Sets Semantics and Subject-Predicate-Object. The 8th International Conference for Young Computer Scientists (ICYCS' 05), Beijing, China, Sep.(2005) 20-22
11. Fox, M., Long, D.: PDDL2.1: An Extension to pddl for Expressing Temporal Planning Domains, Journal of Artificial Intelligence Research 20(2003) 61C124
12. Borchers, B., Furman, J.: A two-phase Exact Algorithm for MAX-SAT and Weighted MAX-SAT Problems, Journal of Combinatorial Optimization 2(4) (1999) 299C306
13. http://planning.cis.strath.ac.uk/competition/
14. http://zeus.ing.unibs.it/lpg/