SMODELS là một hệ thống lập trình tính tập câu trả lời cài đặt dựa trên ngữ nghĩa mô hình bền vững của chương trình logic thông thường. Ý tưởng nền của ASP là mã hóa các ràng buộc của bài toán dưới dạng một chương trình logic và các tập trả lời (các mô hình bền vững) cho các chương trình này tương ứng với các kết quả của bài toán. Vì vậy, ta có thể giải quyết bài toán bằng cách cho một chương trình logic để tìm ra tập câu trả lời của chương trình. Hệ thống SMODELS cung cấp công cụ như vậy để tính tập câu trả lời. Nó mở rộng lớp của chương trình logic với bản số và trọng số với các hàm xây dựng trong.
Hệ thống SMODELS bao gồm hai thành phần riêng biệt là SMODELS và Lparse, cả hai đều được cài đặt trong C++. SMODELS dùng tìm mô hình bền vững cho chương trình logic. Lparse là một front-end có thể chuyển đổi chương trình người dùng sang hình thức mà SMODELS hiểu được. SMODELS được phát triển trong phòng thí nghiệm thuyết khoa học máy tính tại Đại học kỹ thuật Helsinki - Phần Lan bởi Patrik Simons và Lparse được viết bởi Tommi Syrjänen [9].
Phiên bản mới nhất của smodels, lparse và các tài liệu liên quan có thể tham khảo theo địa chỉ http://www.tcs.hut.fi/Software/smodels/.
Đây là phần mềm miễn phí, được cài đặt trên các hệ điều hành Unix/Linux hoặc Windows. Trong luận văn, hệ thống SMODELS được cài đặt trên hệ điều hành Windows.
Cú pháp để gọi SMODELS
với file là tập tin văn bản chứa chương trình logic. Ngoài ra ta có các tùy chọn cho lparse và smodels.
lparse -help và lparse | smodels –help
Hình 3.6. Kiến trúc hệ thống SMODELS