A Knowledge Module: Buying and Selling (2006)
This note shows how to formalize a small set of general facts about buying and selling. We begin with summarizing properties of buying/selling informally in English, and give examples of consequences of these assumptions. Then we formalize our assumptions in action language C with additive fluents and actions and test the adequacy of the proposed formalization using the Causal Calculator.
In Working Notes of the AAAI Symposium on Formalizing Background Knowledge 2006.

Joohyung Lee Ph.D. Alumni joolee [at] asu edu
Vladimir Lifschitz Faculty vl [at] cs utexas edu