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

a) Write  the main differences among prototyping and incremental development.    b) Explain the commonality and main differences among agile approach and RUP.

Q. How the Characters used in operand data type? A common form of data is character or text strings. Characters are signified in numeric form mostly in ASCII (American Standard

Define the various actions a process might be take upon receiving a signal? There are various actions a process might be take upon receiving a signal here are three different d

The Transaction object is responsible for reading the transaction file, finding the relevant account in the array of customers and applying the transaction. To find the relevant ac

All components of computer communicate with processor by the system bus. Which means I/O devices required to be attached to system bus. But I/O devices aren't connected directly to

For each of the following variables: YEARofBIRTH transformed into a new variable called . To do this you will need to use the Command. Hint codes 9998 and 9999 are missin

What are packages? Package is a group of elements (classes, generalizations, associations and lesser packages) with a common theme. Package partitions a model making it simpler

what are the types of isoquants

I have to make a quiz machine program in in Visual Basic with the following: A menu strip that must be formed programmatically (ie NOT dragged and dropped onto the form). There