是由公共Lisp的程序語言、一套可擴展的一階邏輯理論和一個機械化的定理證明工具所組成的軟件系統。...[繼續閱讀]

    指無須經驗或先于經驗獲得的知識。通常與后驗知識相比較,后驗為需要經驗才能獲得的知識。從原因到結果的論證稱為“先驗的”,而從結果到原因的論證稱為“后驗的”。...[繼續閱讀]

    一種在多個節點的路徑圖形平面上,求出最低通過成本的算法。該算法屬于人工智能中的啟發式搜索算法,常用于游戲中的非玩家控制角色(NPC)的移動計算,或線上游戲機器人(BOT)的移動計算。...[繼續閱讀]

    同“A星算法”。...[繼續閱讀]

    在狀態空間采用A星算法進行搜索,對每一個搜索的位置進行評估,得到最好的位置,再從這個位置進行搜索直到目標。啟發式搜索對位置的評估是十分重要的,采用不同的評估可以有不同的效果,從而省略大量無謂的搜索路徑,提高了效率...[繼續閱讀]

    指為求解最短路徑最有效的直接搜索方法而構建的樹形結構,來保證找到最短路徑(最優解的)條件。...[繼續閱讀]

    一種通過科學的實驗設計、采樣樣本、流量分割與小流量測試等方式來獲得具有代表性的實驗結論,并確信該結論在推廣到全部流量可信。為同一個目標制定兩個方案,讓一部分用戶使用A方案,另一部分用戶使用B方案,記錄用戶的使用...[繼續閱讀]

    指將標準量(或參考量)為基準的模擬量轉化成二進制數字量形式的離散信號的轉換器。...[繼續閱讀]

    用來檢測數字信號與模擬信號的傳感器。...[繼續閱讀]

    指最基本的電子會議系統,A/V為audio(音頻)與video(視頻)的縮寫,該系統由麥克風、功放、音響、桌面顯示設備(例如桌面智能終端、液晶顯示器)組成,起到了傳聲、顯示、擴聲的作用。廣泛應用于監控、指揮、調度、公安、消防、軍事、...[繼續閱讀]