Results 1 to 2 of 2

Math Help - How do you define 'Inference Rules' to define the Predicates?

  1. #1
    Newbie
    Joined
    Feb 2010
    Posts
    6

    How do you define 'Inference Rules' to define the Predicates?

    My question is -
    In the 'Knowledge Based' there are '3 large birds' and '1 small bird'. How do you define this in 'Inference Rule'?

    # bird (a,b) to mean that birds a and b have similar sizes.

    Please help I am totally lost!

    Thanks,
    Oz
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,536
    Thanks
    778
    How do you define this in 'Inference Rule'?
    What is "this"? The following line, which starts with #?

    What does it mean to define something in inference rules? Can you give an example?
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Define each of the following.
    Posted in the Algebra Forum
    Replies: 1
    Last Post: March 8th 2013, 03:19 PM
  2. define x ~ y
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: November 30th 2011, 01:10 PM
  3. [SOLVED] {a_n}\to A and define {b_n}
    Posted in the Differential Geometry Forum
    Replies: 6
    Last Post: June 19th 2011, 07:12 PM
  4. Define gcd(a,b,c)
    Posted in the Number Theory Forum
    Replies: 1
    Last Post: March 18th 2009, 06:00 AM
  5. define a map
    Posted in the Calculus Forum
    Replies: 3
    Last Post: January 27th 2008, 03:37 PM

Search Tags


/mathhelpforum @mathhelpforum