Assertion: order logic | /r/CapableOf | represent state
Facets:
Source sentences:
text: The frame problem is a basic problem that must be overcome when using first-order logic to represent the goals and state of an artificial intelligence agent.