Discrete Event Calculus Reasoner

離散イベント微積分ミニッツ-常識的な推論機能をプログラムに追加するプログラマことができます。控除/時空間投影、拉致/計画、不均質、およびモデルを見つけることをサポートしています。精神状態および領域、変更アクションについてデフォルト推論をことができます。それはイベントの微積分、包括的かつ非常に使いやすい論理に基づく定式化に基づいています。アプリケーションの世界を理解する推論、予期せぬ状況に適応しより柔軟に役立ちます。