hw2_B - \documentclasscfw_article \newcountercfw_kbc

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
\documentclass{article} \newcounter{kbc} \newenvironment{kblist} {\begin{list}{(\arabic{kbc})}{\usecounter{kbc}}}{\end{list}} \title{CS 440: Introduction to AI} \author{Homework 2 - Part B} \date{Due: September 28 11:59PM, 2010} \begin{document} \maketitle \emph{Your answers must be concise and clear. Explain sufficiently that we can easily determine what you understand. We will give more points for a brief interesting discussion with no answer than for a bluffing answer.} \section{Resolution Refutation} Consider the following English sentences. They are already translated into FOPC sentences. \begin{kblist} %(1) \item DaeHoon is a CS student. CS\_student($DaeHoon$) %(2) \item Every CS student has been to the CRCE (Campus Recreation Center). $\forall x$ (CS\_student($x$) $\Rightarrow$ Visited($x, CRCE$)) %(3) \item There is a racquetball court in CRCE. $\exists x$ (Is\_racquetball\_court($x$) $\wedge$ Located\_in($x, CRCE$)) %(4) \item No graduate student plays squash.
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 04/30/2011 for the course ECE 448 taught by Professor Levinson during the Spring '08 term at University of Illinois, Urbana Champaign.

Page1 / 2

hw2_B - \documentclasscfw_article \newcountercfw_kbc

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online