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

Show the internet protocols, A communication protocol is an agreement which... A communication protocol is an agreement which specifies a common language two computers use to exchange messages. For instance, a protocol specifies exact format and meaning of ev

Define rules for reducing karnaugh maps, Define Rules for Reducing Karnaugh... Define Rules for Reducing Karnaugh Maps? The rules for reducing Karnaugh Maps (k- maps) are as follows: All of the 1's in the Karnaugh Map are called as minterms. The

What is pattern, What is pattern? A pattern is a proven solution to a g... What is pattern? A pattern is a proven solution to a general problem. Lots of patterns are used. There are patterns for analysis, architecture, design and execution. Patterns c

Illustrate cache dram, Q. Illustrate Cache DRAM? Cache DRAM (CDRAM) wh... Q. Illustrate Cache DRAM? Cache DRAM (CDRAM) which is developed by Mitsubishi integrates a tiny SRAM cache (16Kb) on a generic DRAM chip. SRAM on the CDRAM can be used in two

Explain various steps for analysing an algorithm, Explain various steps for... Explain various steps for analysing an algorithm.  The several steps involved in analysis of an algorithm are: 1. For any algorithm, the first step should be to show that it

Programming in c, Write a program to find the area under the curve y = f(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

Evaluation functions, Evaluation Functions: Evaluation functions calcu... Evaluation Functions: Evaluation functions calculate approximately the score which can be prove of guaranteed if a particular world state is reached. Same like in chess, evalu

How does the internet work, Every computer connected to Internet has a uniq... Every computer connected to Internet has a unique address. Let's just say your IP address is 1.2.3.4 and you want to send a message to computer with IP address 5.6.7.8. Message you

Show the shared programming using library routines, Q. Show the Shared Prog... Q. Show the Shared Programming Using Library Routines? The mainly well-liked of them is use of combo function known as fork() and join(). Fork() function is used to initialize

How is secure sockets layer relied on the certificates, How is Secure Socke... How is Secure Sockets Layer relied on the certificates? The Secure Sockets Layer standard is not a single protocol, but quite a set of accepted data transfer routines which a