Rule in a single direction - equivalences rules, Computer Engineering

Assignment Help:

Rule in a single direction - equivalences rules:

Hence there the power to replace  sub expressions always allows use to prove theorems with equivalences: as given in the above example, that a theorem S[A']↔S[B'] we can use the equivalence as A≡B to  rewrite  same that theorem to the equivalent as S[A']↔ S[A'], that we know to be true. By proper given a set of equivalences we can prove or disprove that a complex theorem through rewriting it to something logically equivalent which we already know to be true or may false. 

There is the fact that we can rewrite for instances of A to instances of B is expressed in terms of the rewrite rule A => B. Evidently, now we can also rewrite Bs to As, that we could use the rewrite rule B => A instead. Moreover, it's very easy to see that having an agent use both rules is dangerous, but as it could get stuck in a loop A => B => A => B => ... and so. Thus, now we typically use atlest one of the rewrite rules for a particular equivalence that we 'orient' the rule in a single direction. But if we do use both then we use to make sure we don't get stuck in a loop.


Related Discussions:- Rule in a single direction - equivalences rules

Principles of contract law, Andrew, a 17 zear old university student decide...

Andrew, a 17 zear old university student decided to hold a post exams party for his friends. Andrew asked Kath, a family friend and the owner of 'Kath's Katerers' to supply food

Logic-based expert systems, Logic-based Expert Systems : Expert system...

Logic-based Expert Systems : Expert systems are agents that are programmed to make decisions just about real world situations are place together by utilising knowledge illicit

Future trends of microcontrollers, Currently microcontrollers are embedded ...

Currently microcontrollers are embedded within most products, typical uses are in Camera's for auto focus and display drivers, Laser printers to compute fonts and control printing.

Define class p, Define class P  The class of all sets L that can be kno...

Define class P  The class of all sets L that can be known in polynomial time by deterministic TM. The class of all decision problems that can be decided in polynomial time.

What is a piconet in a bluetooth context, Problem: (a) IEEE802.11 supp...

Problem: (a) IEEE802.11 supports two types of network architecture, describe these architectures with the support of diagrams detailing the network components. (b) The MAC

Explain the role of a bus arbiter in a multiprocessor, Explain the role of ...

Explain the role of a bus arbiter in a multiprocessor configuration. Bus arbiter: Which functions to resolve priority between bus masters and allows only one device at a time t

Which transistor is used in every cell of eprom, Floating gate Avalanche In...

Floating gate Avalanche Injection MOS (FAMOS) transistor is used in every cell of EPROM.

Discuss about charles babbage in brief, Discuss about Charles Babbagein bri...

Discuss about Charles Babbagein brief Mechanism  for  advancing  or  reversing  of  control  card  were  allowed  therefore enabling execution of any desired instruction. In ot

Contact-based keyboards, Contact-based keyboards employ switches directly. ...

Contact-based keyboards employ switches directly. Though they have a comparatively shorter life they are the most preferred type these days because of their lower cost.  Three such

Draw the logic circuit using NOR gates using K-map, Draw the logic circuit ...

Draw the logic circuit using minimizaed equation by K-map for the simplified function using NOR gates only. F (A, B, C, D) = Π M (1, 2, 3, 8, 9, 10, 11,14) ⋅ d (7, 15) Ans

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