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
What are the two independent mechanisms for controlling interrupt request? At the device end, an interrupt enable bit in a control register verifies whether the device is permi

Describe the term- Systems Analysis A systems analysis team is every so often brought in to improve on an existing system. Often this involves moving from a paper-based filing

The use of distributed shared memory in parallel computer architecture however the use of distributed shared memory has the problem of accessing the remote memory that results in l

The success of a system relies on the approach of building it. If development approach is right then system will work successfully. Figure below portrays a System Development Life

State the advantages Off-the-shelf -  tends to be less expensive as development costs can be spread over many users -  can be more sophisticated as large sales bring in c

Two-dimensional array is represented in memory in following two ways: 1.  Row major representation: To attain this linear representation, the first row of the array is kept in

Complementary metal oxide semiconductor (CMOS) refers to a chip inside your computer that saves your BIOS settings. As a result, the terms CMOS & BIOS are sometimes used interchang

Define ABAP/4 layer? The ABAP/4 layer defines the data formats used by the ABAP/4 processor.


Q. What are the main functions of sound cards? Sound card (The card is frequently directly built into motherboards these days) is a board that has digital to analog sound conve