MGTP 上の高度推論機能

1. 仮説推論
   (hypothetical reasoning on the MGTP)
   ボトムアップ定理証明システム上で仮説推論の枠組みを取り扱う 方法について。
   
   
2. 探索制御
   (introducing search control algorithm (such as branch-and-bound) into the MGTP)
   探索問題としての、探索ポイントの制御、探索戦略の導入方法について。
   
   
3. 動的ルール優先
   (introducing dynamic rule preference mechanizm on the MGTP)
   法的推論に代表されるような不確実なルールをもとに推論を行う際には、 相矛盾するルール間の優先関係を取り扱える必要がある。
   
   
4. 区間制約処理
   (introducing interval/extraval constraints into the MGTP)