And-Elimination-Introduction rule - Artificial intelligence:

And-Elimination

In English, this says that "if you know that many things are all true, then you know that any 1 of them is also true". It means that you can make a simple conjunction by just taking 1 of the conjuncts (in effect, eliminating the   s).

A1 ∧  A2 ...∧ An /Ai

Note that 1 ≤ i ≤ n.

And-Introduction

In English language, this says that "if we know that many things are true, then we know that the conjunction of all of them is true", so we may introduce conjunction ('and') symbols.

A1,   A2,  ...,   An/ A1 ∧ A2  ∧ ...  ∧ An

This cannot seem to be saying much. Though, lets that at our knowledge base we are working with very different sentences at different places, and we know some of them are true.  Then we may make a bigger sentence out of them by conjoining the smaller ones.

Posted Date: 10/2/2012 8:17:05 AM | Location : United States

Ask an Expert

Related Discussions:- And-elimination-introduction rule - artificial intelligence, Assignment Help, Ask Question on And-elimination-introduction rule - artificial intelligence, Get Answer, Expert's Help, And-elimination-introduction rule - artificial intelligence Discussions

Write discussion on And-elimination-introduction rule - artificial intelligence
Your posts are moderated

Write your message here..

Related Questions

Describe buffer of receiving process, Q. Describe buffer of receiving proce... Q. Describe buffer of receiving process? MPI_Gather (Sendaddr, Scount, Sdatatype, Receiveaddr, Rcount, Rdatatype,Rank, Comm): 'Using this function process with rank' rank

Flowchart, flow chart for ''sin x'' as sum of serie flow chart for ''sin x'' as sum of serie

What is memory mapped i/o, What is memory mapped I/O? When the I/O devi... What is memory mapped I/O? When the I/O devices share the similar address space, the arrangement is known as memory mapped I/O.

Example of time division multiplexing, Two computers using TDM take up turn... Two computers using TDM take up turns to send 100-bytes packet over a shared channel that operates at 64000 bits per second. The hardware takes 100 microseconds after one computer

Illustrate arithmetic shifts with example, Q. Illustrate Arithmetic shifts ... Q. Illustrate Arithmetic shifts with example? Arithmetic shifts ARITHMETIC SHIFT LEFT and ARITHMETIC SHIFT RIGHT are same as LOGICAL SHIFT LEFT and LOGICAL SHIFT RIGHTexcept th

Dfd, dfd for big bazaar dfd for big bazaar

Define wait protocol, Q. Define Wait protocol? The wait protocol is use... Q. Define Wait protocol? The wait protocol is used for resolving conflicts that arise due to some multiprocessors requiring same resource. There are 2 kinds of wait protocols:

Answer, Write a program to find the area under the curve y = f(x) between x... Write a program to find the area under the curve y = f(x) between x = a and x = b, integrate y = f(x) between the limits of a and b. The area under a curve between two points can b

What is a pointer, What is a pointer? The register or memory location t... What is a pointer? The register or memory location that having the address of an operand is known as a pointer.

What is a symbolic constant, What is a symbolic constant? How it is defined... What is a symbolic constant? How it is defined ? Symbolic constants are constants of any type declared by using the #define compiler directive. It is a preprocessor directive.