最佳答案

• 

  課程顧問-小管家 2023-04-24 23:45:58

  立即咨詢

  我們可以輔導英國自動推理和驗證Automated Reasoning and Verification的課程。

  同學是英國曼徹斯特大學的軟件工程專業(yè)吧，我們是可以輔導自動推理和驗證的知識點的，同學學習這門課程的時候，一定要多看老師的課件，課前可以多預習一下課程會好很多。

  自動化推理在計算機科學中起著重要作用，因為令人難以置信的一系列問題可以表示為可滿足性測試或結果查詢。

  意味著諸如分析，軟件和硬件的驗證和安全性，知識工程，人工智能和計算數(shù)學等領域需要自動化推理工具的支持。例如，被用于大型軟件和硬件公司，例如Microsoft和Intel，用于軟件和硬件分析，綜合和驗證。系統(tǒng)開發(fā)過程的重要部分涉及對系統(tǒng)行為的推理，以驗證行為的正確性。

  同樣，在Web和代理技術中，自動推理方法用于大型本體的智能處理，基于結構化數(shù)據(jù)知識庫的決策以及Web服務的正式規(guī)范和驗證。本課程的動機是介紹和研究當今使用的最重要的方法，技術和工具的子集。這些包括SAT求解器，理論推理器(SMT)和一階推理器。

  

  教學大綱

  以下列出了本課程要涵蓋的主題。教學日將包括講座，示例課，有監(jiān)督的實驗室和自學的混合課程。每個主題的講座數(shù)在括號中給出。

  *簡介(1)

  *命題推理

  +命題邏輯，語義，真值表的語言(1)

  +可滿足性，有效性，等效性，可判定性(1)

  +普通格式，CNF，條款(1)

  +命題解決，消除冗余(1)

  + DPLL和SAT解決(1)

  +邏輯建模(1)

  +使用SAT / SMT求解器(演示和實驗)

  *一般一階推理

  +一階邏輯語言，建模(2)

  +替代，語義(1)

  +普通形式，條款(2)

  + Herbrand的解釋(1)

  +健全性，原義和從句排序，飽和度(1)

  +模型構建(1)

  +統(tǒng)一決議(1)

  +基本的一般分辨率，訂購和選擇優(yōu)化(2)

  * 確認

  +推理模理論(SMT)：相等性，數(shù)據(jù)結構(2)

  +驗證，安全協(xié)議的自動分析(2)

  +使用SPASS(演示和實驗)

  以上是自動推理和驗證的課程大綱，同學如果需要以上專業(yè)的知識點內(nèi)容輔導，可以直接聯(lián)系我們客服老師咨詢或者直接添加下方客服微信備注官網(wǎng)咨詢。

其他答案