Loading ...
Sorry, an error occurred while loading the content.

Categories and xor

Expand Messages
  • David Faden
    Hi, On page 231 of AIMA, the authors write, One can even have categories of categories of categories, but they are not much use. If DomesticatedSpecies was
    Message 1 of 1 , Oct 28, 2002
    • 0 Attachment
      Hi,

      On page 231 of AIMA, the authors write, "One can even have categories
      of categories of categories, but they are not much use." If
      DomesticatedSpecies was of Species, wouldn't this make Species a
      category of categories of categories? If so, why wouldn't it be useful?

      On page 238 of AIMA, the authors write, "T(p _V_ q, e) <=> T(p, e) V
      T(q, e)." From the text I got the impression that "_V_" represents
      exclusive or. Is it supposed to be exclusive or? Then, should it be
      "T(p _V_ q, e) <=> T(p, e) _V_ T(q, e)" instead of what's written?

      Thank you.

      David
    Your message has been successfully submitted and would be delivered to recipients shortly.