Press the right key for the next slide (or swipe left)

also ...

Press the left key to go backwards (or swipe right)

Press n to toggle whether notes are shown (no equivalent if you don't have a keyboard)

Press m or double tap to see a menu of slides

 

Creating Your Own Exercises

In zoxiy, an exercise is a url. You can set exercises just by creating a list of urls.

An exercise is a url

To ask a question use ‘/ex/q/...’:

You can replace the text after ‘/q/’ with whatever question you want to ask. For this type of exercise, the student will be given a text box to fill in the answer.
Here’s what it looks like.
What if you want to grade this exercise?

To grade answers:

Just add ‘/grade’ to the end of any url starting with ‘/ex/’ and you will see all the answers that students have submitted to you.
Here you can mark the answer correct or incorrect and add a comment if you like.
After you grade one answer, anyone who gives a relevantly similar answer will get the same grade and comment.
Which students’ answers will you see here? All those who currently specify the email you registered on zoxiy with as the email of their tutor. So you would typically expect to whip through a lot of answers at once.
Questions like this aren’t really interesting because the machine can’t do much to help you grading. Let’s look at other examples ...

An exercise is a url

To set a proof use ‘/ex/proof/from/...|...|.../to/...’:

How about asking students to write proofs? In zoxiy, an exercise is a url. The url for a proof starts ‘/ex/proof’ Then you add ‘/from/ [premise] | [premise] | ... | [premise]’ for the premises and ‘/to/ [conclusion]’ for the conclusion.
The premises and conclusion need to be sentences of awFOL. You can write these using symbols (‘∀y ∃x Loves(x,y)’) but you don’t have to. It’s usually quicker to write in words (‘exists x all y Loves(x,y)’).
Regardless of how you use words or symbols, and of how you use brackets, the sentences will be represented in a canonical way.
Proofs will be automatically graded.
As with all exercises, you can see what your students wrote by adding ‘/grade’ to the url. This allows you to add comments and suggestions when the student doesn’t succeed.

Separate multiple premises with |

An exercise is a url

To require a counterexample use ‘/ex/create/from/.../to/...’:

As with proofs, the premises and conclusion need to be sentences of awFOL. You can write these using symbols but you don’t have to.
As with proofs, multiple premises may be separated by |
Note that zoxiy treats exercises as identical exactly if their urls are identical. So whether you use words or symbols doesn’t affect what your students see, but changing a symbol to a word will cause zoxiy to treat the url as a different exercise.
Counterexamples will be automatically graded.

variation

Avoid revealing whether an argument is valid.

Use ‘/ex/create/orValid/...’

Using ‘/ex/create/orValid’ means that students can duck giving a counterexample by saying that the argument is not valid.
zoxiy will still grade counterexamples automatically, but you have to tell it whether or not the argument is valid by grading an submitted exercise which says that the argument is valid.

For proofs,

Use ‘/ex/proof/orInvalid/...’

make n sentences true

To require a possible situation in which one or more sentences are true

use ‘/ex/create/qq/...’

This works in much the way that counterexamples work. Exercises are automatically graded.

To avoid revealling whether the sentences are consistent

use ‘/ex/create/qq/orInconsistent/...’

truth tables

An exercise is a url

To require truthtables for sentences use ‘/ex/tt/qq/...’:

As with proofs, multiple premises may be separated by |
Note that zoxiy treats exercises as identical exactly if their urls are identical. So whether you use words or symbols doesn’t affect what your students see, but changing a symbol to a word will cause zoxiy to treat the url as a different exercise.
Truth tables will be automatically graded.
Note that, in addition to the truth tables, there are standard questions. The exact questions depends on whether there are 1 or 2 sentences for which truth tables are required. (There are no quesitons when truth tables for 3 or more sentences are required.)

To ask for just the truth table (no questions)

use ‘/ex/tt/noQ/...’

To ask for truth tables for an argument

use ‘/ex/tt/from/.../to/...’

translation to and from awFOL

To require a translation

use ‘/ex/trans/domain/.../names/.../predicates/.../sentence/...’

Translations into awFOL are not automatically graded, but once you grade one, the answer is converted to PNF, ordered and simplified. Any matching answer will receive the same grade and comments.
Let me explain the components of the url for translations

/domain/Ayesha|Beatrice

OR: /domain/3things

There are two ways you can specify the domain; either list the things you want, or just specify the number of things you want to be in it.

/names/a=Ayesha|b=Beatrice|...

OR: /names/-/ [for no names]

Specify names for domain objects, separating them with ‘|’. If you don’t want any names, use ‘/names/-/’

/predicates/Happy1|LeftOf2|...

OR: /predicates/Happy1-x-is-happy|Musician1-x-is-a-musician|...

The second, longer format for predicates allows you to specify the interpretation (otherwise it will be automatically generated in a crude way).

/sentence/exists x Happy(x)

OR: /sentence/Someone is happy

When your sentence can be parsed as an expression of awFOL, zoxiy will expect a natural language answer; otherwise it will expect the answer to be a sentence of awFOL and anything which is not a sentence of awFOL will automatically be graded as incorrect.

true or false questions

Set questions about combinations of arguments, truth table rows and pictorially represented possible situations.

e.g.

The questions will be marked automatically if they are either sentences of awFOL that can be evaluated in the row specified, and also if are probably asking about whether the row is a counterexample to the argument.
You can write any sentences you like (whether English or awFOL); if the sentences are English, you’ll have to grade answers yourself.
But once you have graded one answer as correct, all future submitted answers will be automatically graded as correct or incorrect.
This is an example with a possible situation and no argument.
The url is: /ex/TorF/from/Happy(a) or Happy(b)|Happy(a)/to/not Happy(b)/world/[{"x":9,"y":0,"w":2,"h":2,"n":"a","c":"white","f":["}:","^","D"]},{"x":0,"y":0,"w":2,"h":2,"n":"b","c":"pink","f":[":'","-","D"]},{"x":4,"y":0,"w":2,"h":2,"n":"","c":"purple","f":[":'","-","("]}]/qq/Happy(a) or Happy(b)|Happy(a)|not Happy(b)|The possible situation is a counterexample to the argument
The code for specifying the world (‘[{"x":9,"y":0, ...’) can be generated by creating a possible situation graphically (use any /ex/create/... exercise) and then executing `JSON.stringify(ix.getAnswer().world)` in the web console.
Sometimes the code for creating a possible situation isn’t valid in a url (it depends on the situation). In that case, use the command `encodeURIComponent(JSON.stringify(ix.getAnswer().world))`. (This will give you a longer string. You don’t need to do this if you are creating an ExerciseSet in zoxiy rather than writing your own page of urls.)
Here you have just a set of one or more questions (no argument or possible situation).
This is an exercise with questions about an argument. Other variation: a possible situation and an argument.

more examples

/course/UK_W20_PH126/exerciseSet/normal-normal

more types?

It’s not difficult to add new types of exercise. Ask me if there’s something you need (no promises), or contribute the code yourself.
If you know some code you could also contribute enhancements to the core of zoxiy (which is fairly modular). The core of zoxiy is the expression and proof parsers, the specification for expressing rules of proof, and the proof checker. (This is all maintained separately from the web interface and the bits for tracking students’ progress.)