knowledge representation semantic logic artificial ai intelligence theory reasoning predicates general conceptual objects rules predicate logical concepts set action