کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
379490 | 659307 | 2007 | 19 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A framework in prolog for computing structural relationships
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
We present a low-level Prolog framework for computing structural relationships in finite models of General Extensional Mereology (GEM), which is probably the most prominent predicate logic theory of parthood. Based on a minimal amount of structural input knowledge about a domain the framework generates a consistent model of parthood and other structural relations and functions on the entities of that domain. Although some of its algorithms have exponential time complexity, the framework may contribute to the generation of consistent models of structural knowledge in various domains.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Data & Knowledge Engineering - Volume 62, Issue 2, August 2007, Pages 308–326
Journal: Data & Knowledge Engineering - Volume 62, Issue 2, August 2007, Pages 308–326
نویسندگان
Carsten Pontow, Florian Dazinger, Rainer Schubert,