カリキュラムモデル
分類番号 I901-005-4
| 訓練分野 | 情報・通信系（I） |
|---|---|
| 訓練コース | 論理プログラミング |
| 訓練対象者 | 人工知能、知識工学に関連した業務に従事する者で、リーダーとしての役割を担う者 |
| 訓練目標 | 述語論理型言語Ｐｒｏｌｏｇを用いて、論理プログラミングを学び、抽象的な記号処理、推論、非決定性プログラミング技術を習得する。 |
| 教科の細目 | 内容 | 訓練時間（H） |
|---|---|---|
| １．論理プログラミング | （１）知識と推論 （２）非決定性プログラミング （３）論理プログラミング |
6 |
| ２．リスト処理と再帰処理 | （１）リストの定義 （２）リスト処理 （３）再帰処理 |
6 |
| ３．応用プログラミング | （１）探索の問題 （２）エキスパートシステム （３）自然言語処理 |
6 |
| 訓練時間合計 | 18 |
| 使用器具等 | Ｐｒｏｌｏｇ処理系 |
|---|