Difficulties
	• 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