概率邏輯程序設計：語言、語義、學習與推理

內容簡介

概率邏輯程序是在邏輯程序的基礎上增加對不確定性信息的表示。概率邏輯程序是以下兩個用途廣泛的領域交叉形成的：邏輯和概率的統一、概率程序。 邏輯用於表示實體之間的複雜關係，而概率論對構建屬性和關係的不確定性模型有幫助。統一兩個理論是一個非常活躍的研究領域。 概率邏輯程序與帶知識表示能力的邏輯語言和帶計算能力的圖靈複雜語言類似，因此，它是兩種語言的*佳組合。 由於概率邏輯程序的出現，越來越多的研究着開始關注它，並已產生了許多語言、推理和學習算法。 本書主要對該領域提供一個概要，同時介紹分佈語義下的具體語言。本書主要介紹語義、推理、學習和他們之間的關係。 本書的許多例子和代碼見網站http://cplint.eu。

書籍信息