DOC PREVIEW
UCI ICS 171 - Quiz 6

This preview shows page 1-2-3 out of 9 pages.

Save
View full document
View full document
Premium Document
Do you want full access? Go Premium and unlock all 9 pages.
Access to all documents
Download any document
Ad free experience
View full document
Premium Document
Do you want full access? Go Premium and unlock all 9 pages.
Access to all documents
Download any document
Ad free experience
View full document
Premium Document
Do you want full access? Go Premium and unlock all 9 pages.
Access to all documents
Download any document
Ad free experience
Premium Document
Do you want full access? Go Premium and unlock all 9 pages.
Access to all documents
Download any document
Ad free experience

Unformatted text preview:

Quiz%6%and%7%Chapter%7%&%8%%Note%the%two%versions%A%&%B%Nov.18%2010%Exam%A:%1.%%The%sentence:%%%%%%%%%%%%%%%%%%%%(A%and%B%are%proposiEons)%is%“valid”.%%%%%a)%%True%%%b)%False%Exam%B:%1.%The%sentence%%%%%%%%%%%%%%%%%%%%%%(A%is%a%proposiEon)%is%uns aEsfiable%%%%%%%%%%%%%%%%%%%%%%% %a)%True,%%%b)%False%€ A ∨ ¬B€ A ⇒ ¬AExam%A:%2.%%%%a)%True,%%%%b)%False%Exam%B:%2.%%%%%%%a)%True,%%%b)%False%€ ¬(A ∧ ¬B) ≡ ¬A ∨ B€ ((A ∨ B) ∧ C) ≡ (A ∨ C) ∧ (B ∨ C)Exam%A:%3.%The%expression:%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%is%in%CNF%form.%%%%%%a)%True,%%%%b)%False%Exam%B:%3.%The%clau ses%in%th e%expression:%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%are%all%in%Horn%form.%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%a)%True,%%%b)%False%€ (A ∨ B) ∧ C ∧ ¬D€ (A ∨ B) ∧ ¬C ∧ ¬DExam%A:%4.%To%prove%“KB%entails%A”%it%is%sufficient%to%show%that%there%is%no%world%for%which%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%is%TRUE.%%%%a)%True,%%%%b)%False%Exam%B:%4.%To%show%entailment%it%is%sufficient%to%show%that%in%every%world%where%A%is%TRUE,%%%%KB%is%also%TRUE.%%%a)%True,%%%b)%False%€ KB ∧ ¬AExam%A:%1.%%Consi der:%the%expression%in%FOL:%Grade(Brother(Jane)).%In%this%case%“Brother(.)”%represents%a:%%%%%a)%%FuncEon%%%b)%Unary%relaEon%Exam%B:%1.%Consi der%the%following%sentence%in%FOL:%%Real(X)%%%(where%X%is%a%variable).%%%%%%%%%%%%%%%%%%%%%Is%the%syntax%of%the%expression%correct%in%FOL?%%%%%%%%%%%%%%%%%%%%%% %a)%Yes,%%%b)%No%Exam%A:%2.%Does%the%following%sentence%in%FOL%capture%the%English%meaning:%%%“all%bears%have%hair”:%%%%a)%True,%%%%b)%False%Exam%B:%2.%Does%the%following%sentence%in%FOL%capture%the%English%meaning:%%%“there%is%a%bear%that%has%white%hair”:%%%%a)%True,%%%b)%False%€ ∀x, Bear(x) ⇒ Hair(x)€ ∃x, Bear(x) ⇒ Hair(x)Exam%A:%2.%Does%the%following%sentence%in%FOL%capture%the%English%meaning:%%%“%There%is%an%anteater%that%eats%bread”:%%%%a)%True,%%%%b)%False%Exam%B:%2.%Does%the%following%sentence%in%FOL%capture%the%English%meaning:%%%“all%anteaters%eat%ants”:%%%%a)%True,%%%b)%False%€ ∃x, Anteater (x) ⇒ EatBread(x)€ ∀x, Anteaters(x) ∧ EatAnts(x)Exam%A:%2.%%%%%%%a)%True,%%%%b)%False%Exam%B:%2.%%%%%%%a)%True,%%%b)%False%€ A ∧ ¬B ∧ CB ∧ ¬D∴ A ∧ C ∧ ¬D€ (A ∨ ¬B ∨ ¬C) ≡ (B ∧ C ⇒


View Full Document

UCI ICS 171 - Quiz 6

Documents in this Course
Prolog

Prolog

16 pages

PROJECT

PROJECT

3 pages

Load more
Download Quiz 6
Our administrator received your request to download this document. We will send you the file to your email shortly.
Loading Unlocking...
Login

Join to view Quiz 6 and access 3M+ class-specific study document.

or
We will never post anything without your permission.
Don't have an account?
Sign Up

Join to view Quiz 6 2 2 and access 3M+ class-specific study document.

or

By creating an account you agree to our Privacy Policy and Terms Of Use

Already a member?