Variables and quantifiers in first-order logic, Other Engineering

Variables and Quantifiers in First-Order Logic - Artificial intelligence:

Now suppose that we wanted to say that there is a meal at the Red Lion which costs only three pounds. If we said that cost_of(meal, red_lion) = three_pounds, then this states that a specific meal (a constant, which we've labelled meal) costs three pounds. In fact, this does not capture what we wanted to say. For starting, it implies that we know exactly which meal it is that costs three pounds, and moreover, the landlord at the Red Lion decide to give this the bizarre name of "meal".  And also, it doesn't express the fact that there may be more than 1 meal which costs three pounds.

Instead of using constants in our translation of the sentence "there is a meal at the Red Lion costing 3pounds", we should have applied variables. If we had replaced meal with something which reflects the fact that we are talking just a generic, rather than a specific meal, then things would have been clearer. When a predicate relates something that could vary (as like our meal), we call these variables and represent them using uppercase word or letter.

So, we should have begun with something like

meal(X)∧ cost_of(red_lion,X) = three_pounds,

which reflects the fact that we are talking regarding some meal at the Red Lion, rather than a specific one. However, this is not quiteenough specific.  We have to tell the reader of our translated sentence something more regarding our conviction concerning the variable X In this particular case, we have to tell the reader that we believe there exists such an X. There is a particular symbol in predicate logic which we utilize for this purpose, called the 'exists symbol'. This is written:   . If we put it around our pair of predicates,then we get a completly formed sentence in first-order logic:

∃X (meal(X) ∧cost_of(red_lion, X) = three_pounds)

This is read as "there is something called X, where X is a meal and X costs 3 pounds at the Red Lion".

But what now if we want to say that all meals at the Red Lion cost 3 pounds. In this type of case, we have to use another symbol, which we call the 'forall' symbol. This states that the predicates concerning the variable to which the symbol applies are right for every possible example of that variable. So, what would happen if we replaced exists symbol above by our new forall symbol? We would get this:

∀X (meal(X) ∧ cost_of(red_lion, X) = three_pounds)

Is this really what we wanted to say? Aren't we saying something regarding all meals in the universe? Well, we're actually saying something regarding every object in the Universe: everything is a meal which you can buy from the Red Lion. For 3 pounds! What we actually wanted to say should have been described more like this:

∀X (meal(X)-> cost_of(red_lion, X) = three_pounds)

This is read as:if X is a meal,for all objects X then it costs 3 pounds in the Red Lion. We are still not there, though. This implies that every meal can be brought at the Red Lion. May be we should throw in another predicate: serves(Meal, Pub) which states that Pub serves the Meal. We can now at last  write what we wanted to say:

∀X (meal(X) ∧ serves(red_lion, X)-> cost_of(red_lion, X) = three_pounds)

This may be read as: for_ all objects X, if X is a meal and X is served in the Red Lion, then X costs three pounds. The act of making ourselves clear regard a variable by introducing an exists or a for_ all sign is called quantifying the variable. The for_ all andexists sign are likewise called quantifiers in first-order logic.

Substituting a ground term for a variable is frequently called "grounding a variable", "performing an instantiation" and "applying a substitution" or an example of instantiation is: turning the sentence "All meals are 5 pounds" into "Spaghetti is 5 pounds" - we have grounded the value of the variable meal to the constant spaghetti to give us an instance of the sentence.

Posted Date: 10/2/2012 7:06:17 AM | Location : United States

Related Discussions:- Variables and quantifiers in first-order logic, Assignment Help, Ask Question on Variables and quantifiers in first-order logic, Get Answer, Expert's Help, Variables and quantifiers in first-order logic Discussions

Write discussion on Variables and quantifiers in first-order logic
Your posts are moderated
Related Questions
Working capital: Laurel Electronics reported the following information at its annual meetings. The company had cash and marketable securities worth $1,235,455, accounts payables wo  brings you unique solution in Electrical Engineering   How does OR gate work? An 'OR' gate is like two or more switches positioned in parallel.

Does the accelerated slipstream create more lift on part of a wing behind the propeller of a multa-engine aircraft? If so, about how much % for an Air King b200? Also the V-22 O brings you unique solution in physics Why is earth geologically active?        1- Internal Structure: -               -Core : The highest densi

Q.   What is crystal imperfection? Briefly discuss all types of point defects in crystals. Ans. The various type of crystal imperfection are as follows: (1)   Point de

x(t)=integration((Vx(t)+Vy(t))/2*cos(theta)dt) where Vx, Vy and theta is a function of t I am getting problem with how to write it down in matlab in order to get the position x.

the percolation should be visualize , and the path of the sphere also. i wanna see the relationship between the number of sphere & the percolation . change the # of sphere and show

Couplings: Because of the requirement to make maintenance tasks such as engine removal/refit, gearbox removal/refit easier, it is necessary to have a means of coupling the turb

1) An investment project requires a net investment of $100,000. The project is expected to generate annual net cash flows of $28,000 for the next 5 years. The firm''''s cost of cap