Certain answer
ڈیٹا بیس تھیوری اور علم کی نمائندگی میں، مخصوص جوابات میں سے ایک دیئے گئے استفسار کے جوابات کا مجموعہ ہے جو تمام مکمل ڈیٹا بیس کے چوراہے پر مشتمل ہوتا ہے جو کسی دی گئی علمی بنیاد سے مطابقت رکھتا ہے۔ 1970 کی دہائی سے ڈیٹا بیس تھیوری میں تحقیق شدہ مخصوص جواب کے تصور کی تعریف درحقیقت کھلی دنیا کے مفروضے کے تناظر میں کی گئی ہے، جہاں دی گئی علمی بنیاد کو نامکمل سمجھا جاتا ہے۔ بدیہی طور پر، کچھ جوابات وہ جوابات ہوتے ہیں جو کسی دی گئی علمی بنیاد سے استفسار کرتے وقت ہمیشہ واپس کیے جاتے ہیں، دونوں توسیعی علم پر غور کرتے ہوئے کہ ممکنہ مضمرات کا اندازہ خودکار استدلال سے لگایا جاتا ہے، قطع نظر مخصوص تشریح سے۔ تعریف ادب میں، بعض جوابات کے سیٹ کی تعریف عام طور پر اس طرح کی جاتی ہے: جہاں: ایک استفسار ایک نامکمل ڈیٹا بیس ہے کوئی بھی مکمل ڈیٹا بیس ہے جو اس کے الفاظ سے مطابقت رکھتا ہے۔ تفصیل کے منطق میں، اس طرح کے سیٹ کی تعریف اسی طرح کی جا سکتی ہے: ایک آنٹولوجی اور ایک استفسار کو دیکھتے ہوئے، ٹپل کا مجموعہ اس طرح ہے کہ، کے ہر ماڈل کے لیے، ہمارے پاس وہ ہے۔ کہاں: اور بالترتیب ایک ٹی باکس اور ایک ایبوکس ہیں ؛ آنٹولوجی کے مستقل (افراد یا اقدار) کا حروف تہجی ہے ؛ تمام آزاد متغیرات کو مستقل کے ساتھ تبدیل کرکے حاصل کیا جاتا ہے۔ یہ بھی دیکھیں کہ کھلی دنیا کا مفروضہ بند دنیا کا مفروضہ مکمل (علم کی بنیادیں) حوالہ جات مزید پڑھنے والی علم کی نمائندگی