LOOM (ontology)
لوم ایک علم کی نمائندگی کی زبان ہے جسے یونیورسٹی آف سدرن کیلیفورنیا کے انفارمیشن سائنسز انسٹی ٹیوٹ میں مصنوعی ذہانت کے تحقیقی گروپ کے محققین نے تیار کیا ہے۔ لوم پروجیکٹ کے رہنما اور لوم کے بنیادی معمار رابرٹ میک گریگور تھے۔ اس تحقیق کو بنیادی طور پر ڈیفنس ایڈوانسڈ ریسرچ پروجیکٹس ایجنسی (ڈی اے آر پی اے) نے اسپانسر کیا تھا۔ لوم KL-ONE کی روایت میں فریم پر مبنی زبان ہے۔ کے ایل-ون کی طرح، لوم میں بھی ایک رسمی سیمنٹکس ہے جو لوم میں اعلانات کو سیٹ تھیوری اور فرسٹ آرڈر لاجک کے بیانات سے جوڑتا ہے۔ یہ رسمی سیمنٹکس ایک قسم کے تھیوریم پروور انجن کو قابل بناتا ہے جسے درجہ بندی کہا جاتا ہے۔ درجہ بندی کرنے والا لوم ماڈلز کا تجزیہ کر سکتا ہے (جسے آنٹولوجیز کہا جاتا ہے) اور ماڈل کے بارے میں مختلف چیزوں کا اندازہ لگا سکتا ہے۔ مثال کے طور پر، درجہ بندی کرنے والا نئی کلاسیں دریافت کر سکتا ہے یا ماڈل میں ذیلی کلاس/سپر کلاس کے تعلقات کو تبدیل کر سکتا ہے۔ درجہ بندی کرنے والا ماڈل کے اعلامیے میں تضادات کا بھی پتہ لگا سکتا ہے۔ یہ ایک بہت طاقتور اور کافی حد تک غیر معمولی صلاحیت ہے جس میں یہ آنٹولوجی کی سطح پر تجزیہ کرنے کی صلاحیت رکھتی ہے، نفاذ کی سطح کے بجائے اعلانات کی سطح جیسا کہ زیادہ تر انفریشن انجن کرتے ہیں۔ لوم پروجیکٹ کا مقصد مصنوعی ذہانت میں علم کی نمائندگی اور استدلال کے لیے جدید ٹولز کی ترقی اور فیلڈنگ ہے۔ خاص طور پر درست ڈومین ماڈلز سے کوڈ تیار کرنے کے قابل بنانے کے لیے۔ لوم ذہین ایپلی کیشنز کی تعمیر کے لیے ایک زبان اور ماحول ہے۔ اس کے مرکز میں ایک علمی نمائندگی اور استدلال کا نظام ہے جو فریم پر مبنی زبان کو خودکار درجہ بندی کرنے والے انجن کے ساتھ جوڑتا ہے۔ لوم میں اعلانیہ علم تعریفیں، قواعد، حقائق اور ڈیفالٹ قواعد پر مشتمل ہوتا ہے۔ کلاسیفائر نامی ایک کٹوتی انجن فارورڈ چیننگ، سیمنٹک یونیفیکیشن، اور آبجیکٹ پر مبنی سچائی کی دیکھ بھال کی ٹیکنالوجیز کا استعمال کرتا ہے تاکہ ڈیکلیریٹو علم کو نیٹ ورک میں مرتب کیا جا سکے جو آن لائن کٹوتی کے استفسار کی پروسیسنگ کو مؤثر طریقے سے سپورٹ کرنے کے لیے ڈیزائن کیا گیا ہے۔ لوم سسٹم منطق پر مبنی پیٹرن میچر کو لاگو کرتا ہے جو پروڈکشن رول کی سہولت اور پیٹرن سے چلنے والے طریقہ کار کو بھیجنے کی سہولت کو چلاتا ہے جو آبجیکٹ پر مبنی طریقوں کی تعریف کی حمایت کرتا ہے۔ لوم کے اعلانیہ اور طریقہ کار کے اجزاء کے درمیان اعلی درجے کا انضمام پروگرامرز کو ایک ہی ایپلی کیشن میں منطق پروگرامنگ، پروڈکشن رول، اور آبجیکٹ پر مبنی پروگرامنگ کے نمونوں کو استعمال کرنے کی اجازت دیتا ہے۔ لوم کو ایک کٹوتی پرت کے طور پر بھی استعمال کیا جا سکتا ہے جو ایک عام CLOS (کامن Lisp آبجیکٹ سسٹم) نیٹ ورک کو اوورلے کرتی ہے۔ اس موڈ میں، صارفین اپنے سی ایل او ایس پر مبنی ایپلی کیشنز کے فنکشن یا کارکردگی کو متاثر کیے بغیر لوم کے استعمال کے بہت سے فوائد حاصل کر سکتے ہیں۔ لوم کی جگہ حال ہی میں پاور لوم نے لی ہے۔ حوالہ جات بیرونی روابط لوم پاور لوم علم کی نمائندگی اور استدلال نظام علم کی نمائندگی زبانیں اعلانیہ پروگرامنگ زبانیں عام Lisp (پروگرامنگ زبان) سافٹ ویئر آنٹولوجی (انفارمیشن سائنس)