Given a default \(\dfrac{A:B}{C},\) if A is known and if it is consistent to assume B then conclude C.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Default Logic: Finite Injury Priority Method

  • Wei Li,
  • Yuefei Sui

摘要

Given a default \(\dfrac{A:B}{C},\) if A is known and if it is consistent to assume B then conclude C.