Functions in first-order logic sentences, Computer Engineering

Functions in first-order logic sentences - artificial intelligence:

Functions may be thought of as special predicates, where we think of all but 1 of the arguments as input and the last argument as the output. For each set of things which are classed as the input to a function, there is exactly one output to which they are related by the function.  For making it clear that we are dealing with a function, we may use an equality sign. For example, so, if we wanted to say that the cost of an omelette at the Red Lion pub is 5 pounds, normally to express it in first -order logic would probably be:

cost_of(omelette, red_lion, five_pounds)

Because, however , we know this is a function, we can make this clearer:

cost_of(omelette, red_lion) = five_pounds

Because we know that there is just one output for each set of inputs to a function, we allow ourselves to use an abbreviation when it would make things clearer.  We can talk about the output from a function without explicitly writing it down but rather replacing it with the left hand side of the equation. For example if we wanted to say that the price of omelettes at the Red Lion is less than the price of pancakes at the House of Pancakes, normally we would write something like this:

cost_of(omelette, red_lion)=X∧cost_of(pancake, house_of_pancakes)=Y ∧less_than(X,Y).

This is fairly messy and involves variables (see next subsection). However, allowing ourselves the abbreviation, we can write it like this:

less_than(cost_of(omelette, red_lion), cost_of(pancake, house_of_pancakes))

which is somewhat easier to follow.

Posted Date: 10/2/2012 4:06:14 AM | Location : United States







Related Discussions:- Functions in first-order logic sentences, Assignment Help, Ask Question on Functions in first-order logic sentences, Get Answer, Expert's Help, Functions in first-order logic sentences Discussions

Write discussion on Functions in first-order logic sentences
Your posts are moderated
Related Questions
The circle can rotate clockwise and back. By using minimum hardware build a circuit to indicate the direction of rotating? Two sensors are required to determine the direction o

In a clinic 0.15 of the patients have got the HIV virus. Assume a blood test is carried out on a patient. If the patient has got the virus the test will turn out positive with prob

Video Conferencing Video conferencing continues to grow in popularity. Why is this? Some reasons are listed below: - Communication links are now much faster thus sound quali

Define memory address map? Addressing of memory can be established by means of a table that specifies the memory address assigned to each chip. The tables, known as memory addr

Elaborate protected mode memory addressing in brief. Protected mode interrupt: In protected mode, interrupts have exactly the same assignments as in real mode though int

How will you reuse a plan? Reuse is an benefit of OO technology. Two aspects of reuse: Using existing things and making reusable new things It is simpler to reus

What are parity generator and checker? Ans: While a digital signal is transmitted, this may not be received correctly through the receiver. At the receiving end this may o

Problem 1 (a) Identify and briefly describe the possible roles of Codes of Ethics (b) Describe why is a code of ethics important to stakeholders. (c) Explain how should

for calculating simple interest

write algorithm and draw flowchart for exchange the values of two variables.