On 2008-01-29, Timothy Normand Miller wrote: > All AI is about search, just different spaces and different > techniques. VLSI synthesis is about search for a good placement and > routing. With abduction, we're typically searching for a best > explanation for some observation. It's like deduction in reverse. > Deduction tells you that if something is a dog, then it barks. > Abduction tells you that if you hear barking, that's evidence for the > presence of a dog. Abduction subsumes induction. How can we describe > a logic gate placement as the best explanation for a given set of > unplaced gates? :)
I think I'd turn that statement around a bit. In the case of dog, the story is that we had a factual situation and an observation of it. With VLSI synthesis I think the situation would be the full result of the synthesis, which is still unknown and thus we have no observation yet. Let's pick observables that matters, say the number of gates used in the design and the maximum propagation delay. Then manufacture an observation "There exists a design with less than 58 gates which has a max propagation delay of 10 ns.". A logic placement with these properties or better is now an explanation to support this statement. Not that this is necessarily a useful way to formulate the problem. _______________________________________________ Open-graphics mailing list [email protected] http://lists.duskglow.com/mailman/listinfo/open-graphics List service provided by Duskglow Consulting, LLC (www.duskglow.com)
