And-elimination-introduction rule - artificial intelligence, Computer Engineering

Assignment Help:

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.


Related Discussions:- And-elimination-introduction rule - artificial intelligence

Difference between visual check and parity check, Difference between Visual...

Difference between Visual check and Parity check Visual check This is checking for errors by comparing entered data with original document (NOTE: this is not the same as

Hardware interrupts - computer architecture, Hardware interrupts: Har...

Hardware interrupts: Hardware interrupts -from I/O devices, processor, memory Software interrupts-produced by a program. Direct Memory Access (DMA)  Interrupt or Poll

Sites are useful to the target audience members, Normal 0 false...

Normal 0 false false false EN-IN X-NONE X-NONE MicrosoftInternetExplorer4 Select a range of a

Explain the isa and hasa class relationships, How would you implement each ...

How would you implement each in a class design? Ans) A specialized class "is" a specialization of another class and, thus, has the ISA relationship with the other class. An Em

Micrography technology, Micrography: Micrographic technology is an out...

Micrography: Micrographic technology is an outgrowth of photographic technology. Since this technology is being increasingly used to supplement computer systems, strong electr

Define smtp, SMTP Simple Mail Transfer Protocol, a protocol for sending...

SMTP Simple Mail Transfer Protocol, a protocol for sending e-mail messages among servers. Most e-mail systems that send mail over the Internet use SMTP to send messages from si

Determine by which final selector is connected, The final selector is conne...

The final selector is connected to the (A) calling subscriber.                     (B) switching network. (C) called subscriber.                      (D) li

What is looping, What is looping Loop is a control structure used to do...

What is looping Loop is a control structure used to do repetitive operation. Some programs include repeating a set of instruction either a particular number of times or until a

Maximum number of nodes in a binary tree, The maximum number of nodes in a ...

The maximum number of nodes in a binary tree of depth 5 is 31 is the maximum number of nodes in a binary tree

Write Your Message!

Captcha
Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd