Visualization of a finite first order logic model
Sammanfattning
Creating visualizations of nite rst order logic models can be very bene cial
for users studying the models as it provides an additional aid for the user
and makes it easier for the user to understand and comprehend the model.
This thesis describes methods on how to visualize the di erent parts of the
model, the domain, functions and predicates, and then combining them into
a drawing for the user to look at. We will also provide methods on how to
reduce a model using function and predicate properties in order to simplify
the drawings we make of a model.
Examinationsnivå
Student essay