A knowledge module: Buying and selling

Joohyung Lee, Vladimir Lifschitz

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations


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.

Original languageEnglish (US)
Title of host publicationFormalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering - Papers from the AAAI Spring Symposium, Technical Report
Number of pages5
StatePublished - Aug 21 2006
Event2006 AAAI Spring Symposium - Stanford, CA, United States
Duration: Mar 27 2006Mar 29 2006

Publication series

NameAAAI Spring Symposium - Technical Report


Other2006 AAAI Spring Symposium
Country/TerritoryUnited States
CityStanford, CA

ASJC Scopus subject areas

  • Engineering(all)


Dive into the research topics of 'A knowledge module: Buying and selling'. Together they form a unique fingerprint.

Cite this