abductive logic programming
信息科技

        一種高級知識表示框架,可用于以溯因推理為基礎求解問題。它允許一些謂詞不完全定義,將其聲明為可溯因的謂詞,從而擴展了普通的邏輯程序設計。......（本文共 75 字）     [閱讀本文] >>