In: Proc. of the Fourth Conf. on Artifical Intelligence and Information-Control Systems of Robots, pages 439-440. Amsterdam: North-Holland, 1987.
Abstract: An idea of propositional calculus and first-order logic representation via interpreted Petri nets is suggested. The representation promises an effective implementation by both software and hardware.