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

Fetching a word from memory: CPU transfers the address of the needed information word to the memory address register (MAR). Address of the needed word is transferred to the pr

1. Write the function makegrid. This function accepts a width and height and creates a grid/matrix of cells. The width gives the number of columns and the height the number of rows

COGNITIONS Mr. X exhibits a generally high-quality level of cognitive and intellectual functioning, as evidenced by his performance on the MMSE-2 and WAIS-IV. His one weakness w

Discuss the advantages of Electronics Data Exchange (EDI). Advantages of EDI: Electronics Data Exchange's saves needless re-capture of data. It leads to faster transfer of d

Vector-Memory Instructions When vector operations with memory M are carried out then these are vector-memory instructions. These instructions are referred with the subsequent f

Discuss about Translation table encryption technique to ensure secured transactions onto the net? Translation table: In this process each chunk of data is used like an of

How can we decrement and increment  operations We  can  implement decrement  and increment  operations  by  using  a  combinational circuit  or  binary  down/up counters.  In

Why The JavaScript Validation Not Run on the Asp.Net? The Asp.Net Button Is post backed on the server & not yet Submit & when it goes to the server its states is lost so if we