:::
- 小提醒：請務必輸入聲調做結束
- 輸入完畢後請點選 音讀檢索 進行搜尋
|
聲母
|
|
|
韻母
|
|
教育部國語辭典簡編本
教育部重編國語辭典修訂本
國家教育研究院辭書
基本資料
| 英文： | unification |
| 日期： | 2003年6月 |
| 出處： | 資訊與通信術語辭典 |
辭書內容
|
名詞解釋： (一)在人工智能領域的謂詞邏輯方法中，用歸結原理進行定理證明時，要不斷地在待歸結的子句集合中，尋求能夠進行歸結的子句對，這一匹配過程稱為「統一」，它通常包括搜索、模式匹配和實例化。 (二)為計算語言學和現代語法理論的專門術語，概念來源於謂詞演算，是作用於複雜特徵集的一種基本運算。當兩個較小的語言成分組合成一個較大的語言成分時，通過統一運算，可以把每個成分的複雜特徵集所承載的資訊，累加組合成大成分的複雜特徵集。在統一運算中，資訊只增不減，這一點符合自然語言的合成性假設。 (一)在人工智能領域的謂詞邏輯方法中，用歸結原理進行定理證明時，要不斷地在待歸結的子句集合中，尋求能夠進行歸結的子句對，這一匹配過程稱為「統一」，它通常包括搜索、模式匹配和實例化。 (二)為計算語言學和現代語法理論的專門術語，概念來源於謂詞演算，是作用於複雜特徵集的一種基本運算。當兩個較小的語言成分組合成一個較大的語言成分時，通過統一運算，可以把每個成分的複雜特徵集所承載的資訊，累加組合成大成分的複雜特徵集。在統一運算中，資訊只增不減，這一點符合自然語言的合成性假設。 |
|
| 資料來源： | 國家教育研究院_統一 |
| 授權資訊： | 資料採「 創用CC-姓名標示- 禁止改作 臺灣3.0版授權條款」釋出 |
教育部臺灣客語辭典
| 屬性： | 動 |
| 四縣音 |
|
| 海陸音 |
|
| 大埔音 |
|
| 饒平音 |
|
| 詔安音 |
|
| 南四縣 |
|
|
釋義： |
|
| 對應華語： | 統一 |
| 詞條來源： | 教育部臺灣客語辭典_統一 |
| 授權資訊： | 資料採「 創用CC-姓名標示-非商業性-禁止改作 臺灣3.0版授權條款」釋出 |
貓頭鷹博士
貓頭鷹博士