Charles University Faculty of Mathematics and Physics

Master in Computer Science - Artificial Intelligence

卒業生は、数理論理学と確率論を用いた複雑システムの知識モデリングと形式モデリング、自動問題解決、計画とスケジューリング、自律エージェント（仮想エージェントと物理エージェントの両方）の制御、機械学習、データマイニングなど、知能システムの設計に必要な技術を応用・発展させることができます。また、複雑な意思決定問題を分析し、形式的にモデル化し、適切な解決手法を提案・実装することも可能です。

卒業生は、論理的推論、分析機能、アルゴリズムアプローチ、およびコンピュータサイエンスの最新の方法（宣言的で自然に触発されたプログラミング）の活用を必要とするあらゆる立場で、学界または業界の研究開発に取り組むことができます。