1. Giới thiệu
Đỏnh giỏ thiết kế giải thuật trong bài toỏn lập trỡnh là cụng việc phức tạp, khú hỡnh thức húa và khú giải quyết một cỏch tự động. Để giải quyết bài toỏn, chỳng tụi đề xuất một cỏch giải quyết bài toỏn này sử dụng lập luận theo kinh nghiệm (Case-Based Reasoning – CBR). Theo cỏch tiếp cận này, đỏnh giỏ một thiết kế giải thuật mới sẽ được xõy dựng và hiệu chỉnh từ tập cỏc đỏnh giỏ thiết kế giải thuật đó cú một độ tương tự nhất định với thiết kế giải thuật mới.
2. Cơ sở lý thuyết
Lập luận theo tỡnh huống (CBR) là một cỏch tiếp cận tương đối mới trong việc xõy dựng hệ chuyờn gia và cú một số ưu điểm so với cỏc cỏch tiếp cận truyền thống khỏc. Đõy là phương phỏp tỡm lời giải bài toỏn trờn cơ sở hiệu chỉnh lời giải của cỏc bài toỏn khỏc đó cú. Đơn vị biểu diễn tri thức trong hệ CBR là ca lập luận mẫu được tạo nờn bởi hai thành phần là mụ tả bài toỏn và lời giải mẫu tương ứng. Cỏc bước trong quỏ trỡnh lập luận theo tỡnh huống bao gồm: thu thập cỏc ca lập luận mẫu tương tự (tỡm kiếm), hiệu chỉnh lời giải, xem xột lại lời giải và lưu lời giải mẫu.
Phương phỏp này tương đối phự hợp với cỏc bài toỏn cỏc bài toỏn cú miền rộng, khụng thể đặc tả tường minh hoặc cỏc bài toỏn gặp khú khăn trong việc xõy dựng cơ sở tri thức biểu diễn bằng luật [1, 2].
3. Hệ chuyờn gia đỏnh giỏ năng lực thiết kế giải thuật cho cỏc bài toỏn lập trỡnh toỏn lập trỡnh
Giải phỏp được tụi lựa chọn để giải quyết bài toỏn đỏnh giỏ năng lực thiết kế giải thuật cho cỏc bài toỏn lập trỡnh một cỏch tự động là sử dụng lập
luận theo kinh nghiệm. Cơ sở tri thức gồm cỏc ca lập luận mẫu. Mỗi ca lập luận mẫu được biểu diễn bởi ba phần: Đặc tả bài toỏn lập trỡnh,Bản thiết kế giải thuật và Nhận xột và đỏnh giỏ. Cơ sở tri thức cũng cú thể chứa cỏc luật phục vụ hiệu chỉnh nhận xột, đỏnh giỏ.
Để thuận tiện cho việc biểu diễn và xử lý bản thiết kế giải thuật, chỳng tụi đề xuất một ngụn ngữ giả lập trỡnh mở rộng. Ngụn ngữ này hỗ trợ mụ tả cỏc cõu lệnh thuộc ba cấu trỳc điều khiển trong lập trỡnh, đồng thời hỗ trợ mụ tả cõu lệnh bằng ngụn ngữ tự nhiờn.