Judge Invalidates Software Patent, Citing Bilski 252
Posted
by
kdawson
from the first-domino dept.
from the first-domino dept.
bfwebster writes "US District Court Judge Andrew Gilford (Central District of California) granted a summary judgment motion in DealerTrack v. Huber et al., finding DealerTrack's patent (US 7,181,427) — for an automated credit application processing system — invalid due to the recent In re Bilski court decision that requires a patent to either involve 'transformation' or 'a specific machine.' According to Judge Gilford's ruling, DealerTrack 'appears to concede that the claims of the '427 Patent do not meet the "transformation" prong of the Bilski test.' He then applied the 'specific machine' test and noted that, post-Bilski the Board of Patent Appeals and Interferences has ruled several times that 'claims reciting the use of general purpose processors or computers do not satisfy the [Bilski] test.' Judge Gilford analyzes the claims of the '427 patent, notes that they state that the 'machine' involved could be a 'dumb terminal' and a 'personal computer,' and then concludes: 'None of the claims of the '427 Patent require the use of a "particular machine," and the patent is thus invalid under Bilski.' DealerTrack apparently plans to appeal the ruling. Interesting times ahead."
Re:Similar to Donald Knuth's Logic (Score:3, Informative)
What is "non-mathematical software"?
There is no such thing as non-mathematical software. Even printing "Hello, World!\n" requires math. Taking math out of software is sort of akin to taking carbon out of food.
Software is equivalent to math. (Score:5, Informative)
My degree is in mathematics. There's no such thing as non-mathematical software [metamath.org]. There is mathematical proof of this. There's a nice equivalence theorem for the two, and the website linked shows the results of that equivalence.
I repeat: there's no such thing as "non-mathematical" software, because it is equivalent to math. The only people who think otherwise don't know what math is. It's like trying to claim that 1 != 1. And yes, people really do claim utter nonsense like that sometimes, especially those who don't understand the fact that infinite sequences like 0.99999[repeating] don't have a last digit by virtue of being infinitely long (if an infinite list had a last element, it would be a contradiction in terms, because part of the definition of infinite is that for every element x, there is a successor of x).
One might as well claim that pi is exactly 3.
Double Edge (Score:2, Informative)
Re:And so, it begins. (Score:3, Informative)
Done. From Bitlaw [bitlaw.com] (emphasis mine):
Section 101 of the U.S. Patent Act sets forth the general requirements for a utility patent:
Whoever invents or discovers any new and useful process, machine, manufacture, or composition of matter, or any new and useful improvements thereof, may obtain a patent, subject to the conditions and requirements of this title.
In other words, for an invention to be patentable it must:
1. be statutory,
2. be new,
3. be useful, and
4. be nonobvious.
Re:Similar to Donald Knuth's Logic (Score:5, Informative)
If fifty years ago I came up with a way to manufacture ball bearings - independently of an existing, patented method - would I not be sued by the patent holder of the bearing production process if I brought a product to market using my bearings?
Only if your method was identical (or very similar) to his method.
Despite modern corruptions, particularly in software patents, most patents are not, and should not be, of the form "A patent on making type of object X". They are and should be "A patent on a method for making type of object X."
In the patent, the entire method is clearly spelled out—it is made "patent," or obvious—and from the patent, anyone in the field and with the requisite equipment/money could produce the same object X by the same method. This, too, is missing from software patents, because to truly match a regular patent in this, the software patent would need to include the source code.
Dan Aris
Decision Text Here (Score:5, Informative)
Re:Babies and bathwater (Score:5, Informative)
But if the bath water is going to include such notorious crap patents as 1-Click, Desire2Learn, NTP, and many others, then I would have to say that the bathwater is so rank and disgusting that it's not too high a price to pay to lose a handful of babies, as Bilski does.
But can't we do better? Can't we find an "obviousness" test that works?
Bilski wasn't about obviousness - Bilski was about patentability of certain types of inventions. For obviousness, you want to look at KSR v. Teleflex, where the Supreme Court laid out 9 different ways to find something obvious.
Re:Similar to Donald Knuth's Logic (Score:4, Informative)
The C definition, same token on both sides. (Score:5, Informative)
I wasn't logged in before, GP anon was me. Anyhow, the period was the end of the sentence, not some attempt to make it into a float/string/boolean/whatever and I certainly didn't use the Python operators. It's supposed to be the same token (1) on both sides. But that's why we use formal languages that are picky about syntax and which can be checked automatically to avoid people finding weird ambiguities to question.
The theorem I was mentioning above is called Curry-Howard-Lambek correspondence [haskell.org] (it took me a while to find all the links):
(Wiki links added because most people are too lazy to Google the terms they don't understand. Especially if they don't realize that they don't actually understand them.)
So even if you find some crazy language where they define != to be an equality operator or something equally unusual, software is still equivalent to math. Metamath [metamath.org] wouldn't be possible otherwise. And as you can see, they're doing just fine.
The case (Score:3, Informative)
It is actually Judge Guilford (not "gilford") of the Central District Court of California.
The case number is 2:06-cv-02335-AG-FMO.
Full text of the order granting summary judgment below:
---
UNITED STATES DISTRICT COURT
FOR THE CENTRAL DISTRICT OF CALIFORNIA
DEALERTRACK, INC., ) CASE NO. CV 06-2335 AG (FMOx)
)
Plaintiff, )
) ORDER GRANTING MOTION FOR
v. ) SUMMARY JUDGMENT OF
) INVALIDITY OF '427 PATENT
DAVID L. HUBER; FINANCE )
EXPRESS, LLC; JOHN DOE )
DEALERS, )
)
Defendants. )
)
Defendants Finance Express, LLC ("Finance Express") and RouteOne, LLC ("RouteOne") (collectively, "Defendants") have filed a Motion for Summary Judgment of Invalidity as to U.S. Patent 7,181,427 ("Motion"). Because the Court finds that the '427 Patent is directed to unpatentable subject matter under 35 U.S.C. 101 and the recent case of In re Bilski, 545 F.3d 943 (Fed. Cir. 2008), Defendants' Motion is GRANTED.
BACKGROUND
Plaintiff DealerTrack, Inc. ("DealerTrack") asserts that Finance Express and RouteOne
have infringed three of DealerTrack's patents, including U.S. Patent 7,181,427 (the "'427 Patent"). The '427 Patent, which was issued on February 20, 2007, is entitled "Automated Credit Application System." According to the Abstract, the patent is directed to a "computer based credit application processing system [that] provides a graphical user interface, automatic software update downloading, lender to lender routing of credit applications, and integration with in-house finance and insurance systems and third party data entry facilities, among other features." The background section of the patent explains that before the '427 Patent, most processes for obtaining credit and financing of major consumer purchases had been done manually. (Hadley Decl. Ex. 1 at 1:23-25.) With the invention of the '427 Patent, the "entire indirect loan application processing, routing, and funding" is placed in an environment with graphical user interfaces. (Id. at 1:48-2:56.)
DealerTrack asserts that Defendants have infringed on claims 1, 3, and 4 of the '427 Patent. Claim 1, an independent claim, recites a "computer aided method" of managing a credit application, consisting of the following steps:
[A] receiving credit application data from a remote application entry and display device;
[B] selectively forwarding the credit application data to remote
funding source terminal devices;
[C] forwarding funding decision data from at least one of the remote funding source terminal devices to the remote application entry and display device;
[D] wherein the selectively forwarding the credit application data step further comprises:
[E] sending at least a portion of a credit application to more than
one of said remote funding sources substantially at the same time;
[F] sending at least a portion of a credit application to more than
one of said remote funding sources sequentially until a finding [sic] source returns a positive funding decision; .
[G] sending . . . a credit application . . . after a predetermined time . . . ; or;
[H] sending the credit application from a first remote funding source to a second remote finding [sic] source . . .
Claim 3 recites the method of Claim 1, with the additional steps of "aggregating data for a dealer having a plurality of dealerships located at different locations" and "providing the dealer with a consolidated report using the aggregated data." Claim 4 recites the method of Claim 1, with the additional step of "obtaining credit report data from at least one remote credit bureau terminal device."
Defendants now seek summary judgment that the '427 Patent is invalid based on a recent Federal Circuit decision.
LEGAL STANDARD
Claims of an issued United States patent are presumed valid. 35 U.S.C. 282. "A party seeking to establish that particular claims are invalid must overcome the presumption of validity in 35
Re:Software is equivalent to math. (Score:4, Informative)
> There's no such thing as non-mathematical software
Which is great and all, but has absolutely nothing to do with the patent process.
Patentability has nothing to do with the implementation, and everything to do with the intent. If the intent of the program is to control a loom in a new way, that's (theoretically) patentable because the purpose of the program is not to solve a mathematical problem, but a real-world one. If the intent of my program is to run Newton's Method, it's not patentable, because the intent of the program is to solve a mathematical algorithm. It is the _intent_that_is_encoded_, not the form of the encoding, that is the only concern in terms of _theoretical_ patentability - there's other rules that govern whether or not you'll actually GET a patent.
The basic issue that the new caselaw concerns is the concept of "transformation" in a patent. The original intent of the system was to grant protect to novel devices, either improvements on existing concepts (disk brakes vs. drum), or to totally new devices. But then what is a "device"? Is a deck of cards a device? A new book? The law defined it as something that tranforms something. A machine for freeze-drying coffee to produce Nescafe transforms hot coffee into a powder, which can be re-constituted into something similar to the original. Something is actually "being done", and it's THAT that the patent covers, not the machine itself. You can invent a better freeze drying machine, and get a patent on it, but you'll still have to license the actual concept of freeze-drying coffee.
This is good, and worked for a long time. Then the CS wags came along. In the 1970s there were a couple of cases where it was argued that a program is literally a collection of instructions that transform one number into another. Thus every program is transformative, and patentable. Once that got into caselaw, then someone pointed out that that _purpose_ of the program is to run an algorithm, so why does it have to be in a program? Why not any process that does any processing? And thus we got into the mess we have today.
The new caselaw basically noted that something got lost in the 1970s rulings - that the transformation has to _produce_something_patentable_. So consider these cases:
1) I make a machine called the wingnut that produces gazzezas
- patentable, gazzezas are a new product
2) I make a machine called the gizifa that produces gazzezas
- patentable, but I'll need to license gazzezas, or wait for it's patent to run out. Additionally, someone else is free to make a different machine that makes gazzezas.
3) I make a machine that runs Newton's Method
- treated like (2), because - critically - the product is not patentable
In essence, all patents had to flow from (1). Basically, there had to be a product somewhere. Prior to Bilski, caselaw stated that programs are transforming inputs into outputs, so there is a "product". Oddly, (2) didn't really exist, because they noted that a program can run across a wide variety of machines, so the idea of a "specific machine" (or implementation) was difficult because patents on (1) were automatically so broad.
The judge in the Bilski case noted that while it is true that all algorithms are transformative, the patent in question failed to actually make a "product" that was patentable, like case (3). Risk hedging is not a product you can patent, so then the only patent you might be able to get would be like (2). So this business practice moved from (1) to (3) - or similar to (2). He then noted that the patent application itself stated that it could be run using any number of different methods, it couldn't be a (2), by definition. So the patent was invalid.
Bilski was about a business practice, which generally don't produce anything. So now it appears some enormous subset of these are invalid. But what about software?
DealerTrack shows that the same principal applies. The patent in question did not produce a patentable