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

What do you mean by program counter, Q. What do you mean by Program Counter...

Q. What do you mean by Program Counter? Program Counter (PC): It determines the instruction that is to be executed next which means after the execution of an on-going instructi

Pulse train, brief explanation on pulse train

brief explanation on pulse train

What is thread, What is Thread? A thread, sometimes termed a lightweigh...

What is Thread? A thread, sometimes termed a lightweight process (LWP), is a fundamental unit of CPU utilization; this comprises a thread ID, a register set, a program counter

Determine the level of state decomposition, Determine the level of state de...

Determine the level of state decomposition The level of state decomposition must be determined by judgement. A too fine grained model is unsuitable, such as, modelling all poss

Calculate the shortest distance using minimum spanning tree, Does the minim...

Does the minimum spanning tree of a graph give the shortest distance between any 2 specified nodes? No. The Minimal spanning tree makes sure that the total weight of the tree i

What are the fundamental steps in program development, What are the fundame...

What are the fundamental steps in program development The basic steps in program development are as follows: a. Program coding, design and documentation. b. Preparation o

What is pure virtual function, A class is made abstract by declaring one or...

A class is made abstract by declaring one or more of its virtual functions to be pure. A pure virtual function is one with an initializer of = 0 in its declaration

Define rules for evaluating the boolean expression, Define Rules For Evalua...

Define Rules For Evaluating the Boolean Expression? Generally, the following rules must always be followed when evaluating the Boolean expression: Primary, perform all in

By which MTU is specified, MTU is specified by? MTU is specified by har...

MTU is specified by? MTU is specified by hardware technology.

Differences between internal and external fragmentation, Explain the differ...

Explain the differences between Internal and external fragmentation. Internal and external fragmentation (1) While memory allocated to a process is a little larger than th

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