ثلاثة متغيرات القيمة، كحد أقصى، دقيقة، الفعلي

Question

ومنذ فترة طويلة قبل أنا وضعت النظم التي تستخدم إيجيريا لغة نظام الخبراء. وكان ميزة مفيدة حقا حيث كان المتغيرات الثلاثة القيم، ودقيقة، كحد أقصى والحالية. وبهذه الطريقة يمكن حساب احتمال قيمة معروفة جزئيا، مع النتائج حيث يصل إلى مجموعة. لا أستطيع أن أتذكر بناء الجملة، ولكنه كان شيئا من هذا القبيل: -

A.Min = 1;
A.Max = 5;
A.Current= 4;
B.Min = 2;
B.Max = 4;
B.Current= 4;


A * B = {2, 20, 16}

وسؤالي هو، ما هو هذا النهج دعا، ولا أي لغة الحالية تنفيذ ذلك؟

Answer 1

والمتغيرات المتعددة ذات القيمة مثل تلك التي تصف يمكن استخدامها في البرامج القائمة على القيد. لورقة الأخيرة نرى Radul وسوسمان، "فن وناشر ".

والسيد. عرض Radul في مؤتمر العمل الدولي 2009 الأسبوع الماضي. وأعطى مثالا على (ما يمكن للمرء أن ينظر) متغيرات متعددة القيم التي تمثل تقريب احتمالي إلى "الحقيقة". (أعتذر مقدما عن أي تحريف، ليس لدي الملاحظات.)

والنظر في النظام الذي يجب التوفيق بين قراءات من اثنين من أجهزة الاستشعار الحرارية. لنفترض أيضا أن قراءات كل أجهزة الاستشعار تأتي مع بعض درجة من عدم اليقين: استشعار ويقول درجة الحرارة ما بين A1 و A2، يقول استشعار B درجة الحرارة ما بين B1 و B2. يجب أن تفشل النظام في محاولة لحساب درجة الحرارة؟ ربما يمكن التعبير عن "الحقيقة" من حيث النطاق حيث تتداخل القراءات.

Answer 2

وهذا يبدو وكأنه، بأنه "نهج"، قد يكون نوع من غامض منطق . وخصوصا عندما كنت أصف ذلك تستخدم احتماليا.

Answer 3

والملحق C من الورقة الأصلية على ياك؛ صفت "آلة حاسبة مكتب أن لا العائمة نقطة الحساب الفاصل" (نشرت في المجلد 2 من دليل على UNIX مبرمجين لالإصدار 7 ورقة مؤرخة 1978/7/31). وهي تستخدم فترات مع التدوين "(دقيقة، كحد أقصى)" وتنفيذ العمليات الحسابية على أساس النطاق. ما تصفون هو امتداد لأنه مع القيمة "الحالية" أيضا.

Answer 4

ومعظم وجوه المنحى اللغات يمكن أن تفعل ذلك بسهولة إلى حد ما استخدام الطبقات.

في C ++، على وجه الخصوص، سيكون من السهل جدا لجعل فئة قالب أن التعامل مع هذا بالنسبة لك لأي نوع قاعدة، على سبيل المثال.

وأنا لا أعرف من أي لغة التي تدعم هذا كجزء من اللغة الأساسية، وبالرغم من ذلك.