On Wednesday 30 January 2008 00:02:52 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? :)
Assume I give you an OGD1, and it happens to function as a fully
functional and optimally efficient VGA adapter. How do you explain
that?
Given the design of OGD1, we must assume that the FPGA's have been
programmed in a certain way. We might have different theories as to how
exactly, and the closer a possible programme comes to exhibiting the
ideal behaviour, the better an explanation it is.
Of course, you'd need modal or even continuous temporal logic to
describe the behaviour, and you'd have to have some sort of model of
how the various parts inside the FPGA interact with one another, so
that you can reason about them ("if this signal goes high, then the LUT
it is connected to must have a 1 for the new combination of inputs, and
a 0 for the previous combination").
It sure would save an awful lot of work if you could get it to work :-).
Lourens
pgpwddG5baM6g.pgp
Description: PGP signature
_______________________________________________ Open-graphics mailing list [email protected] http://lists.duskglow.com/mailman/listinfo/open-graphics List service provided by Duskglow Consulting, LLC (www.duskglow.com)
