Connectives in first-order logic sentences, Computer Engineering

Connectives in first-order logic sentences - Artificial intelligence

We may string predicates together into a sentence in the same way by utilising connectives that we did for propositional logic. We call a set of predicates strung together in the definite way a sentence. Notice that a particular predicate may be thought of as a sentence.

There are 5 connectives in first order logic. Firstly, we have "and", which we write ∧, and "or", which we write ∨. In the obvious ways these connect predicates together. So that if we wanted to say that "Simon lectures Artificial Intelligence and Simon lectures bioinformatics", we could write down:

lectures_ai(simon) ∧ lectures_bioinformatics(simon)

Notice also that now we are talking regarding different lectures, it must be a good idea to change our option of predicates, and make ai and bioinformatics constants:

lectures(simon, ai) ∧ lectures(simon, bioinformatics)

The other connectives existing to us in first-order logic are (a) "not", written that negates the truth of a predicate (b) "implies", written which may be used to say that 1 sentence being true follows from another sentence being true, and (c) "if and only if" (also known as "equivalence"), written ->, which may be used to state that the truth of 1 sentence is always the same as the truth of another sentence.

For example, if we want to say that "if Simon isn't lecturing Artificial Intelligence, then Bob might be lecturing AI", we could write it thus:

 ¬ lectures(simon, ai) -> lectures(bob, ai)

The things that predicates regard are terms: these may be variables, constants or the output from functions.

Posted Date: 10/2/2012 4:03:23 AM | Location : United States







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

Write discussion on Connectives in first-order logic sentences
Your posts are moderated
Related Questions

A class is made abstract by declaring one or more of its virtual functions to be pure. A pure virtual function is one with an initializer of = 0 in its declaration

Q. Show the instruction execution by using the micro-operations? A simple instruction can require: Instruction fetch: fetching instructions from the memory. Instruc

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

1) Identify the software needs of each PC and whether or not anything needs to change. a. State the changes that you would make (and why) b. If no "change" needs to be made b

The mercantile process model consists of which of the pahase(s): The pre-purchase phase. Purchase consummation phase. Post-purchase Interaction phase.

Define the node of object oriented modeling A node is a physical element which exists at runtime and represents a computational resource usually having a large memory and often

It speeds execution of distributed applications. It runs on dissimilar platforms. It time independent. No loss for msg delivery i.e. guarantee delivery.

In a time multiplexed space switching system, one speech sample appears every? One speech sample shows every 125 micro sec, in a time multiplexed space switching system.

Learning Weights in Perceptrons In detail we will look at the learning method for weights in multi-layer networks next chapter. The following description of learning in percept