برای استىتاج توزیع شده در منطق order-sorted در این مقاله برای رفع مشکل استنتاج توزیع شده اقدام شده است. الگوریتم مورد نیاز ارایه شده و نتایج اجرایی گزارش ده است

عاملهای هوشمند بعنوان وسایل برجستهای در راستای تحقق بخشیدن به نگرش وب معنایی در نظر گرفته میشوند. این عاملها با

یکپارچهسازی آنتولوژیها و قوانین در وب معنایی، میتوانند با یکدیگر تعامل و همکاری داشته باشند. اما یک ...