Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
G53KRR: Exercise on answer extraction Consider the following knowledge base (where run, nothing, now and bear
 

Summary: G53KRR: Exercise on answer extraction
Consider the following knowledge base (where run, nothing, now and bear
are constants):
S1 tx(See(t, x) Dangerous(x) BestAction(t, run))
S2 t(¬x(See(t, x) Dangerous(x)) BestAction(t, nothing))
S3 Dangerous(bear)
S4 See(now, bear)
Show using resolution that the knowledge base entails xBestAction(now, x)
and extract the answer (which action is it).
Answer
To do answer extraction, we need to add the answer predicate A to the
query: xBestAction(now, x) becomes x(BestAction(now, x) ¬A(x))
Its negation is x(¬BestAction(now, x) A(x)).
Clauses:
C1 [¬See(t, x), ¬Dangerous(x), BestAction(t, run)]
C2a [See(t, f(t)), BestAction(t, nothing)]
C2b [Dangerous(f(t)), BestAction(t, nothing)]
C3 [Dangerous(bear)]
C4 [See(now, bear)]
C5 [¬BestAction(now, x), A(x)] (this is from the negated sentence)

  

Source: Alechina, Natasha - School of Computer Science, University of Nottingham

 

Collections: Computer Technologies and Information Sciences