Proceedings:
Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering
Volume
Issue:
Papers from the 2006 AAAI Spring Symposium
Track:
Contents
Downloads:
Abstract:
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.
Spring
Papers from the 2006 AAAI Spring Symposium