The complexity of Bayesian networks specified by propositional and relational languages

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