پیاده سازى استنتاجهاى منطقى در محیط ترسیمى

از نیازهای نخستین و بسیار متداول پردازش اطلاعات مکانی ، انجام استنتاجهای منطقی میباشد. با این وجود ، بسیاری از استنتاجهای منطقی بدون روال ، در خارج از محیط GIS توسط نرم افزارهای نامرتبط و یا خردورزی خود کاربران به فرجام می رسد . در فعالیت حاضر نشان داده میشود که چگونه می توان استنتاجهای منطقی گوناگون را در یک محیط ترسیمی یا CAD انجام داد.در مقاله حاضر پس از طبقه بندی انواع استنتاجهای منطقی روی داده های مکانی ، امکان پیاده سازی خودکار آنها در یک محیط GIS به کمک نظریه گراف شرح خواهد شد. مدلهای پیشنهادی روی مثالهای عمل آزموده شده و نشان داده می شود که علاوه بر کسب سرعت و دقت، سازگاری منطقی داده های GIS را نیز ضمانت خواهد نمود.