کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6858933 1438427 2016 19 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
The distribution semantics for normal programs with function symbols
ترجمه فارسی عنوان
معانی توزیع برای برنامه های عادی با نمادهای تابع
کلمات کلیدی
ترجمه چکیده
معانی توزیع برنامه ریزی منطقی و نظریه احتمالات را با استفاده از یک رویکرد جهان ممکن ترکیب می کند. شفافیت و سادگی آن، معناشناختی برای برنامهنویسی منطقی احتمالاتی را با استفاده از برنامههای موفقیتآمیز در بسیاری از حوزهها به کار برده است. هنگامی که برنامه دارای نمادهای تابع است، معنایی برای موارد خاص تعریف شده است: هر دو برنامه باید قطعی باشد و یا پرس و جو باید تعداد محدودی از توضیحات محدود داشته باشد. در این مقاله نشان داده شده است که می توان معناشناسی را برای همه برنامه ها تعریف کرد. ما همچنین نشان می دهیم که این تعریف با ساتو و کمایا در برنامه های مثبت همخوانی دارد. علاوه بر این، ما رویکردهای احتمالی برای نتیجه گیری، دقیق و تقریبی را برجسته می کنیم.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر هوش مصنوعی
پیش نمایش مقاله
معانی توزیع برای برنامه های عادی با نمادهای تابع
چکیده انگلیسی
The distribution semantics integrates logic programming and probability theory using a possible worlds approach. Its intuitiveness and simplicity have made it the most widely used semantics for probabilistic logic programming, with successful applications in many domains. When the program has function symbols, the semantics was defined for special cases: either the program has to be definite or the queries must have a finite number of finite explanations. In this paper we show that it is possible to define the semantics for all programs. We also show that this definition coincides with that of Sato and Kameya on positive programs. Moreover, we highlight possible approaches for inference, both exact and approximate.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: International Journal of Approximate Reasoning - Volume 77, October 2016, Pages 1-19
نویسندگان
,