Use the schema axioms presented in McCarthy (1980, Section 4) to create the circumscription results presented in Section 9.1.3. Create another reasoning network similar to that of Figure 9.4 and show...

Use the schema axioms presented in McCarthy (1980, Section 4) to create the circumscription results presented in Section 9.1.3.

Create another reasoning network similar to that of Figure 9.4 and show the dependency lattice for its premises, as was done in Figure 9.5.