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.

PS

In Working Notes of the AAAI Symposium on Formalizing Background Knowledge 2006.

@Inproceedings{lee05b, title={A Knowledge Module: Buying and Selling}, author={Joohyung Lee and Vladimir Lifschitz}, booktitle={Working Notes of the AAAI Symposium on Formalizing Background Knowledge}, url="http://www.cs.utexas.edu/users/ai-lab?lee05b", year={2006} }