Computer-Based Techniques for the Representation of Automatic Problem-Solving in Archaeology