閉世界仮説
closed-world assumption
開世界仮説
非単調論理
サーカムスクリプション
失敗による否定
デフォルトロジック
https://ja.wikipedia.org/wiki/閉世界仮説