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

Logical user-centered interactive design methodology, Question: Logical...

Question: Logical User-Centered Interactive Design Methodology is a methodology that identifies six clear stages to help in software development while keeping the user in mind.

Five design principles, Visibility. Controls should be clearly visible, so ...

Visibility. Controls should be clearly visible, so users can see the controls that are available to them. Visual feedback should also be clearly visible, so users can understand wh

Define top-down parsing techniques, Define Top-down parsing Techniques ...

Define Top-down parsing Techniques Top-down parsing can be observed as an attempt to find left-most derivations of an input-stream through searching for parse trees using a top

Describe about the desk top publishing, Desk Top Publishing (DTP) As wo...

Desk Top Publishing (DTP) As word processors develop increasingly more sophisticated features, differences with desk top publishing (DTP) packages becomes more and more blurred

Baic electrical, Ask question #Minimumstate and explain thevenins theorem a...

Ask question #Minimumstate and explain thevenins theorem as applicable to electrical circuits 100 words accepted#

Define processor clock, Define processor clock. Processor clock is expl...

Define processor clock. Processor clock is explained as the time periods in which all operations and data transfer within the processor take place.

Predicates in propositional model, Predicates in propositional model: ...

Predicates in propositional model: The predicates take a number of arguments in which for now we assume are ground terms and represent a relationship between those arguments t

Design an or to and gates combinational network, Design an OR to AND gates ...

Design an OR to AND gates combinational network and NAND only n/w for the following Boolean expression: A'BC'D + ABC'D' + A'B'CD' + A'BCD'

Determine the address when network address prefixed by 1000, A network addr...

A network address prefixed by 1000 is? A network address prefixed through 1000 is Class B address.

Sosail studies, whitch goods did the new england colonies exportto england ...

whitch goods did the new england colonies exportto england and what did they get in return

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