" Statistical" First Order Conditionals Conference Paper uri icon


  • Abstract A first-order conditional logic is defined in which conditionals such as a—> 0 are interpreted as saying that most/normal/typical objects which satisfy a satisfy 0 as well. This qualitative statistical interpretation is achieved by imposing additional structure on the domain of a single first-order model in the form of an ordering over domain elements and tuples, a—¥ 0 then holds if all objects with property a whose ranking is minimal satisfy 0 as well. These minimally ranked objects represent the typical or common objects having the …

publication date

  • November 5, 1996

presented at event

  • KR  Conference