信息智能與邏輯（第1卷）

第一部分 通論
探索信息世界的基本運動規(guī)律
泛邏輯學研究綱要
機制主義研究方法與人工智能統(tǒng)一理論
辯證思維時代與辯證邏輯
信息的定義、物理基礎及其與基本自然規(guī)律的本質(zhì)關系
第二部分 特論
從易經(jīng)邏輯到數(shù)理辯證邏輯
弗協(xié)調(diào)邏輯與人工智能
命題泛邏輯的語構理論研究
復雜系統(tǒng)的柔性邏輯控制方法研究
二層單準Pmlog與兩種定理證明器之間的關系
第三部分 論壇檔案
論壇的特別約稿信和正式邀請信
會議日程表
部分發(fā)言要點
　協(xié)調(diào)學與泛邏輯
　本體語言及其在計算機科學中的應用
　數(shù)值邏輯學
　基于動態(tài)描述邏輯的知識表示和推理
　 非單調(diào)推理的形式刻畫——非單調(diào)推演
　Flexible Interval-valued Logics and Its Algebraic Structure
　論意識的層次
　自然語言函數(shù)對知識、常識的表示與定理證明
　論康托對角線法及實數(shù)集可數(shù)性問題的相對性及相關問題
　“強化謊者”悖論的簡明消解
附錄
附錄一 部分非標準邏輯與信息科學的關系
附錄二 部分泛邏輯學研究成果