An algebraic model for implementing expert systems based on the knowledge of different experts

هدف از این مقاله، ارائه یک مدل جبری اصلی برای مدیریت دانش توسط افراد مختلف متخصص در هنگام ایجاد سیستم های متخصص است. این مدل به عنوان فرمت منطق گزاره های کلاسیک در نظر گرفته می شود که هر گزاره با مجموعه ای از کارشناسان انسانی همراه است که با آن موافق هستند. در مدل ما، مفاهیم منطقی نتیجه و توالی تواریخ یک مجموعه ای از فرمول ها با توجه به معیارها و دانش کارشناسان مختلف اصلاح می شوند. هسته مقاله مربوط به کشف یک رابطه قابل توجه بین این مفاهیم منطقی تعریف شده با محاسبه پایگاه های گروبرنر در ایده آل چند جمله ای است.