•expressivity - limits of what
knowledge a logic can express
•tractability - limits of what
can be reasoned within computational constraints
•fundamental tradeoff between
expressivity and tractability
•knowledge acquisition - the
difficulty of expressing and codifying human knowledge
