Spatial Working Memory
Your browser does not support the HTML5 canvas tag. Your browser does not support the HTML5 canvas tag. Your browser does not support the HTML5 canvas tag. Your browser does not support the HTML5 canvas tag.
Problem Input
Add Mobility Attributes
Object Mobility
i

Optional Object Mobility

You can specify an order of the objects' mobility by using the symbols < and =.

obj1 < obj2 will give obj2 a higher mobility than obj1.
obj1 = obj2 will give both objects the same mobility.

You can only use each object name once in your specification.
The program will assign a mobility of 1 to the smallest objects and a mobility of +1 for each bigger group of objects.

For example: Your premises contain the objects A, B, C and D and you order the objects in the following way:

A < B = C < D

Then the assignement is: A = 1, B = 2, C = 2 and D = 3

The mobility of objects influence the revision process in case of inconsistent premises.

Conclusion
i

Conclusion

A conclusion is a spatial statement (like the premises) about two objects. This conclusion may logically follow from the premises. You, as the user, can specify such a putative conclusion. Another possibility is that PRISM generates a possible relation (and a conclusion).
PRISM simulates the answer of a human reasoner and evaluates its logical correctness.

Add Additional Fact
Additional Fact
i

Additional Premise

Here you can provide additional information by adding a spatial statement that will be processed after the previous step (conclusion). This can be as well an inconsistent statement. After pressing recheck button PRISM integrates the new information as well an inconsistent fact into the current model.