FINALEXAM
Answers
CIS548 May 8, 2008
Name_KEY_
Theanswersto#1to#73arefoundintheAnswerBank.Givetheletterofthe
correctanswer.AllanswersgoontheAnswerSheet.
TextbookConcepts
1.In robotics a _ provides guiding principles and constraints for
organizing a robots
MidTerm Review
Topics&SubTopics
NLP
Motivation:
Communication
Knowledge processing
Translation
Ambiguity & its cousins
Memory & Computation
The Chomsky Hierarchy of Automata
FSM
Regular grammars
Finite State Machine: Takes on a finite number of states.
MidTermExam
Answers
CIS548 March 6, 2008
Name_KEY_
Theanswersto#1to#91arefoundintheAnswerBank.Givetheletterofthe
correctanswer.AllanswersgoontheAnswerSheet.
1.In robotics a _ provides guiding principles and constraints for
organizing a robots control syst
MidTermExam
Answers
CIS548 November 10, 2009
Name_KEY_
AnswerBankQuestions
Theanswersto#1to#49arefoundintheAnswerBank.Givetheletterofthe
correctanswer.AllanswersgoontheAnswerSheet.
(1-7) Match these descriptions with the people listed in the Answer Bank.
Exam Study Notes
CIS548
Textbook
1.Review all the material covered in the Midterm Exam.
ClassNotes
1. Dartmouth Conference founding of A.I.
1956
in attendance:
John McCarthy, developer of Lisp
Allen Newell & Herbert Simon : Logic Theorist (proved
theo
MidTermExam
CIS548 March 6, 2008
Name_
Theanswersto#1to#91arefoundintheAnswerBank.Givetheletterofthe
correctanswer.AllanswersgoontheAnswerSheet.
1.In robotics a _ provides guiding principles and constraints for
organizing a robots control system.
2-3.In a
MidTermExam
CIS548 November 10, 2009
Name_
AnswerBankQuestions
Theanswersto#1to#49arefoundintheAnswerBank.Givetheletterofthe
correctanswer.AllanswersgoontheAnswerSheet.
(1-7) Match these descriptions with the people listed in the Answer Bank.
1.Had a tree
Basic Logic
CSC548
Logical Equivalences
Identity Laws
pT p
pF p
Domination Laws
pTT
pFF
Idempotent Laws
pp p
ppp
Double Negation Law
(p) p
Commutative Laws
pqqp
pqqp
Associative Laws
(p q) r p (q r)
(p q) r p (q r)
Distributive Laws
p (q r) (p q) (p r)
p
CSC 548 : September 17
Fall2009
ReviewHW
FSMforPIESrules
Parsing&expertsysteminferenceengines
Top down vs. bottom up
Forward vs. backward chaining
Futurereferencereadingmaterial
Assignment:
1.
PIES rules FSM mini-project
2.
Extra Credit: In what grammar c
Semantic Tableaux
CSC548 - Fall2009
Introduction:
Semantic tableaux is a proof method that, in many cases, lends an elegant
simplicity to proofs in symbolic logic.
BasicIdea:
This proof method is based on the fact that the negation of a tautology is an
in
Rules of Inference
CSC548
1. Modus ponens
p
pq
q
2. Modus tollens
q
pq
p
3. Hypothetical syllogism
pq
qr
p r
4. Disjunctive syllogism
p q
p .
q
5. Addition
p
.
p q
6. Simplification
p q
p
7. Conjunction
p
q
p q
8. Resolution
p q
p r
q r
9. Universal insta
CSC 548 : September 1
Fall2009
Welcome
1.
Welcome to class
2.
Syllabus
3.
First major topic - natural language processing
NLPOverview
Motivation:
Communication
Automation of
with agents
among agents
Knowledge processing
storage
retrieval
Internet "mining"
MidTerm Review
CSC 548 : September 1
Fall2009
Welcome
1.
Welcome to class
2.
Syllabus
3.
First major topic - natural language processing
NLPOverview
Motivation:
Communication
Automation of
with agents
among agents
Knowledge processing
storage
retrieval
In