يك مجموعه از قوانين اجتماعي حداقل بايد داراي دو خصيصه زير باشند
هر روزه تعدادي قوانين در مجلس تصويب مي شوند كه بايد با قوانين سالهاي گذشته و قانون اساسي سازگار باشند. همچنين بايد براي مجري (اعضاي مختلف اجتماع) قابل تصميم گيري باشند. چند منطق دان مي توانند به كمك منطق هايي چون منطق وجوب و منطق شناختي نرم افزاري كامپيوتري را فراهم كنند كه بتواند در مجلس بكار گرفته شود و از برقراري اين دو خاصيت محافظت كند.
- سازگاري (قوانين همديگر را نقض نكنند)
- تصميم پذيري (در هر وضعيتي، براي اجرا كننده، اين كه چه عملي را مطابق با قوانين بايد انجام دهد قابل تصميم گيري باشد)
هر روزه تعدادي قوانين در مجلس تصويب مي شوند كه بايد با قوانين سالهاي گذشته و قانون اساسي سازگار باشند. همچنين بايد براي مجري (اعضاي مختلف اجتماع) قابل تصميم گيري باشند. چند منطق دان مي توانند به كمك منطق هايي چون منطق وجوب و منطق شناختي نرم افزاري كامپيوتري را فراهم كنند كه بتواند در مجلس بكار گرفته شود و از برقراري اين دو خاصيت محافظت كند.
۲ نظر:
سلام
در مورد ویژگی سازگاری باید سازگاری با قوانین نانوشته ای مثل عرف و فرهنگ جامعه نیز در نظر گرفته شود.
این خیلی جالبه. ولی فکر کنم فقط knowledge base ای که از خوذ قانون‌ها بدست میاد کافی نباشه... بعد آیا این دو تا منطقی که گفتی واسه بیان جملات قوانین به اندازه کافی expressive هست؟ بعد اینکه تصمیم پذیری مگه در رابطه با مدل نیست؟
مثلا تو قوانین رانندگی ممکنه که تویه یک حالت خاص، یه سری جملات صحیح باشن که تو تصمیم‌گیری موثر باشن. یعنی میخوام بگم که آیا تعداد جمله‌های موثر تو تصمیم گیری متناهین؟
ارسال یک نظر