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
HOW TO WORK IN DREAMWEAVER? How and Where to open Dreamweaver? Step 1: Click on Start Step 2: Select Program Step 3: Select Macromedia Dreamweaver Step 4: Click on

Classify Process, differentiate program, process A process maybe concerned to be a program being run. A program isn't a process of itself; it's a passive Entity while the proce

Q. What is interrupt? How it is useful in controlling I/O operations. Q. Explain function of Color Graphics Adopter card and Diskette Drive Adopter Card.

stepper motor interfacing 8255

Q. Show the steps of execution of instructions? Fetch First Instruction into CPU: Step 1: Find/calculate the address of first instruction in memory. In this machine illust

List the properties which a hashing function should possess to ensure a good search performance. What approaches are adopted to handle collision? A hashing function h must poss

Flag is a flip-flop used to kept the information about the status of a processor and the status of the instruction implemented most recently A software or hardware mark that si

Event-based Simulator Digital  Logic  Simulation  method  sacrifices  performance  for  rich  functionality:  each active signal  is  calculated  for  every  device  it  propa

With the help of a neat diagram, explain the working of a weighted-resistor D/A converter. Ans Weighted Register D/A Converter:   Digital input that has 4 bits

Define the term web service with example. A web service is an application that operate over a network-typically, over the Internet. Most typically, a web service is an API that