Verification & Validation of Knowledge-Based Systems
Papers from the AAAI Workshop
Robert Plant & Grigoris Antoniou, Cochairs
Technical Report WS-97-01
70 pp., $25.00
ISBN 978-1-57735-028-6
[Add to Cart] [View Cart]
Activities of validation and verification are central to modern software development. The same applies to the development of knowledge systems, and this workshop provideed a forum to discuss such issues. The workshop focused around the following topics:
- Industrial applications: lessons and challenges from industry, certified systems
- Verification and validation of agents and intelligent applications on the Internet: challenges and opportunities
- Formal methods: use of formal specifications, V&V against them