The FaCT System. A result of my research into optimising tableaux subsumption algorithms has been the development of the FaCT system
Three guests check into a hotel room. The clerk says the bill is $30, so each guest pays $10. Later the clerk realizes the bill should only be $25. To rectify this, he gives the bellhop $5 to return to the guests. On the way to the room, the bellhop realizes that he cannot divide the money equally. As the guests didn't know the total of the revised bill, the bellhop decides to just give each guest $1 and keep $2 for himself. Now that each of the guests has been given $1 back, each has paid $9, bringing the total paid to $27. The bellhop has $2. If the guests originally handed over $30, what happened to the remaining $1?
If the bill was $25 then each guest has approximately 66 cents more. So the remaining $1 is split between the three guests.
The initial payment of $30 is accounted for as the clerk takes $25, the bellhop takes $2, and the guests get a $3 refund. It adds up. After the refund has been applied, we only have to account for a payment of $27. Again, the clerk keeps $25 and the bellhop gets $2. This also adds up. There is no reason to add the $2 and $27 – the $2 is contained within the $27 already. Thus the addition is meaningless. Instead the $2 should be subtracted from the $27 to get the revised bill of $25.
I once wrote into Blue Peter to tell them that I had lost my badge. They kindly sent a 9 year old boy, who was actually 28, a replacement. I was the envy of all my Army mates. I also got a signed photo of Ed the Duck Sadly, so called Army mates threw the badge away as they said I got it under false pretences. Do still have the signed photo though
