A First-Order Conditional Logic for Prototypical Properties

An approach for representing knowledge about defaults and prototyptcal properties is presented Thts is accomphshed by adding to first-order logw a "variable conditional" operator to express relations between entities and prototyptcal properties of such entities. Truth conditions for this operator are based on a posstble-worlds semantws, a proof theory is… CONTINUE READING