المساق
arXiv 2004-09-24 1 مشاهدة

A TCSP-like decidable constraint language generalising existing cardinal direction relations

Isli, Amar

Artificial Intelligence Logic in Computer Science I.2 (I.2.3; I.2.4; I.2.m)

الأصل · EN

We define a quantitative constraint language subsuming two calculi well-known in QSR (Qualitative Spatial Reasoning): Frank's cone-shaped and projection-based calculi of cardinal direction relations. We show how to solve a CSP (Constraint Satisfaction Problem) expressed in the language.

الترجمة العربية

لا توجد ترجمة عربية لهذا البحث بعد. كن أوّل من يطلبها: تستغرق ثوانيَ معدودة، وتُحفظ النتيجة لكل قارئ قادم.

تحقّق أمني

اكتب الأحرف الظاهرة أعلاه

حتى 10 ترجمات لكل شخص يومياً.

اقرأ على arXiv