|
توسعه حساب کیفی خط سیر بر اساس مفهوم دسترسی اشیاء متحرک در مسیرها
|
محمد حسن وحیدنیا*   |
|
|
|
چکیده: (1873 مشاهده) |
ارائه و استدلال مکانی کیفی از جمله قابلیت های پر اهمیت در هوشمندسازی سیستم های اطلاعات مکانی می باشند. در این مقاله بکارگیری و توسعه چارچوب مطرح حساب کیفی خط سیر (Qualitative Trajectory Calculus) برای نمایش و استدلال پیرامون نقاط متحرک در داده های شبکه راه های GIS با مد نظر قرار دادن مفهوم دسترسی، ارائه می گردد. توسعه QTC و شیوه استدلالی مذکور بر مبنای روابط پایه ای چون حرکت یک شیء به سوی شیء دیگر، دور شدن یک شیء از یک شیء دیگر، حرکت به دنبال شیء دیگر و موارد مشابه به آن با در نظر گرفتن امکان دسترسی یک شیء به شیء دیگر در طول یک مسیر مشخص صورت می پذیرد. ویژگی های شیوه توسعه یافته با بررسی همسایگی مفهومی (Conceptual Neighborhood) میان روابط، و معرفی و اثبات تعدادی از روابط استنتاجی (inference rules) بحث گردید. قواعد بدست آمده که عمدتاً در قالب یک جدول ترکیبی (Composition Table) قابل ارائه می باشند، توانستند یک پایگاه دانش برای استنتاج منطقی را شکل دهند. همچنین برخی روابط استخراج شده ویژگی هایی چون معکوس (inverse) و تقارن (symmetry) و تعدی (transitive) نشان دادند. به منظور اجرای عملی، نمونه هایی از استنتاج و پرس و جو با ورود قواعد منطقی و حقایق (facts) به زبان Prolog مورد آزمایش قرار گرفته و با مقایسه نتایج پرس و جوها از شیوه مذکور با پرس و جوی معمولی از پایگاه داده کارآمدی شیوه توسعه یافته مشخص شد. |
|
| واژه‌های کلیدی: استنتاج کیفی مکانی، اشیاء متحرک، منطق مرتبه اول، سیستم استنتاج منطقی |
|
|
متن کامل [PDF 973 kb]
(1058 دریافت)
|
نوع مطالعه: پژوهشي |
موضوع مقاله:
سامانه های اطلاعات مکانی
دریافت: 1398/8/11
|
|
|
|
|
|
|
| ارسال پیام به نویسنده مسئول |
|
|
|
| ارسال نظر درباره این مقاله |
|
|
|
