Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Мазмұны
Кіріспе
Американдық компьютер ғалымы Чарльз Л. Форги (12 желтоқсан 1949 жылы Техас штатында туған) – американдық компьютер ғалымы, ол OPS5 және басқа да өндірістік жүйе тілдерінде қолданылатын Rete алгоритмін жасауымен белгілі.
American computer scientist
Charles L. Forgy (born December 12, 1949, in Texas) is an American computer scientist, known for developing the Rete algorithm used in his OPS5 and other production system languages used to build expert systems.
Ерте өмір және білім
Форги Даластағы Вудро Вильсон орта мектебінде оқыды, содан кейін Арлингтон мемлекеттік колледжіне (қазіргі Арлингтондағы Техас университеті немесе UTA) 1972 жылы математика мамандығы бойынша бітірді. Одан кейін ол Питтсбургтегі Карнеги технология институтына (кейін Карнеги-Меллон университеті) – жасанды интеллектті зерттеудің танымал орталығына оқуға түсті. Карнегиде оқып жүргенде ол болашақ әйелі Дианамен танысып, 1977 жылы үйленді.
Forgy attended Woodrow Wilson High School in Dallas, Texas, and then advanced to Arlington State College (now University of Texas at Arlington, or UTA) graduating with a degree in mathematics in 1972. From there he went to Carnegie Institute of Technology (later Carnegie Mellon University) in Pittsburgh, a renowned center for study of artificial intelligence. While studying at Carnegie he met his future wife, Diana, whom he married in 1977.
Рет
Аллен Ньюэллдің шәкірті ретінде ол 1979 жылы Rete алгоритмі негізінде философия докторы ғылымын қорғады. Forgy 1970-ші жылдардың соңы мен 1980-ші жылдардың басында DEC үшін компьютерлерді конфигурациялау мәселесі бойынша, яғни DEC XCON AI жобасында тікелей жұмыс істемегенімен, Rete алгоритмі кейіннен жүйеге жылдамдық үшін енгізілді. XCON OPS (Ресми өндіріс жүйесі) жүйесінің OPS2 және кейін OPS5 нұсқаларын қолданды. DEC компаниясы XCON арқасында жылына кемінде 1 миллион АҚШ долларын үнемдегенін мәлімдеді. Джон Макдермот басқарған XCON жобасы кейіннен DEC бағдарламашыларына берілді және ақырында 10 мыңнан астам ережеден құралды. Rete (латын тілінен "желі" деп аударады) алгоритмі сол кезде жүйелердің 3000 есе жылдам жұмыс істеуіне мүмкіндік берді. Алғашқы Rete алгоритмі Қорғаныс министрлігінің гранты бойынша жасалды және авторлық құқығы жоқ, яғни жалпыға қолжетімді.
As a student of Allen Newell, he received his Ph. D. in 1979 based on the Rete algorithm. Even though Forgy did not work directly on the DEC XCON AI problem of configuring computers for DEC in the late 1970s and early 1980s, the Rete algorithm was later incorporated into the system for more speed. The XCON used the early versions of OPS (Official Production System) that migrated to OPS2 and later OPS5. DEC reported that XCON saved at least $1M USD per year. XCON, a project headed up by John McDermott and later transferred to DEC programmers, was eventually composed of over 10K rules. The Rete (Latin for "network") algorithm allowed systems to run as much as 3,000 times faster in those days. The original Rete algorithm was developed under a Department of Defence grant and, as such, is public domain.
II және III рете
Форги Карнеги Меллон университетінде бітіргеннен кейін де қалды және OPS5 бағдарламасын одан әрі жетілдірумен айналысты. 1983 жылы ол ережелерге негізделген бағдарламалық құралды жасау және сату үшін Production Systems Technologies атты компания құрды, онда ол Rete-нің тиімді жалғасы болып табылатын "Rete II" бағдарламасын жасады. Rete II ережелер мен нысандардың күрделілігіне байланысты бастапқы Rete алгоритміне қарағанда ережелерге негізделген бағдарламаларды 50-ден 100 есе жылдам орындауға мүмкіндік берді. (Қаншалықты күрделі болса, салыстырмалы нәтижелер соншалықты жылдам болады.) Rete II CLIPS/R2, OPSJ және FICO Blaze Advisor құрамына енгізілген. Форги 2002 жылы құрылған және Бостон қаласында орналасқан жұмыс ағынын басқару компаниясы Rules Power-тің негізін қалаушысы және бас ғалымы болды. Сол кезде Форги Rete II-ді Реляциялық логикалық технологиямен біріктірді, осылайша ол "Rete III" деп аталды. Rete II және Rete III-нің өнімділігі шамамен бірдей, бірақ Rete III-те Реляциялық логикалық технологиямен тиімді жұмыс істеуге мүмкіндік беретін бірнеше кеңейтімдер бар, бірақ бұл оның стандарттық сынақтардағы жылдамдығын төмендетіп жібереді.
Forgy remained at Carnegie Mellon post graduation and worked on further improvements to OPS5; in 1983 he formed a company called Production Systems Technologies to develop and sell rule based software, where he developed "Rete II", a more efficient successor to Rete. Rete II enabled rule based programs to run between 50 and 100 times faster than the original Rete algorithm, depending on the complexity of the rules and objects. (The more complex, the faster the comparative results.) Rete II is incorporated in CLIPS/R2, OPSJ and FICO's Blaze Advisor. Forgy was a founder and chief scientist for Rules Power, a Work Flow Management company founded in 2002 and based in Boston. During that time, Forgy incorporated Rete II with Relational Logic Technology, which became named "Rete III". The performance of Rete II and Rete III are virtually the same but Rete III has some extensions that allow it to work more efficiently with Relational Logic Technology but slows it down on benchmarks.
Rete-NT
Forgy жаңа буын алгоритмін жасады, ол Rete NT деп аталды және орындалу жылдамдығын тағы бір есеге арттырды. Бүгінгі күнге дейін Sparkling Logic SMARTS – бұл алгоритмді пайдаланатын жалғыз BRMS өнімі.
Forgy developed a next generation algorithm, called Rete NT, that has improved the execution speed by another order of magnitude. To this date Sparkling Logic SMARTS is the only BRMS product that uses this algorithm.
Қазіргі заман
2005 жылы RulesPower компаниясын Fair Isaac Corporation сатып алды, олар Rete III-ді Blaze Advisor-ға, өздерінің бизнес ережелері өніміне енгізуге лицензия алды. Форджи Rete II-ге зияткерлік меншік құқығын сақтап қалды және оның жеке компаниясы Production Systems Technology әлі күнге дейін OPSJ және Rete II алгоритмін қолданатын басқа да жүйелерді сатады. Техас штатындағы тәуелсіз консалтингтік компания KnowledgeBased Systems Corporation көптеген BRMS және ережелерге негізделген жүйелер үшін Rete және Rete II алгоритмдерінің тиімділігін көрсететін кең ауқымды сынақтар жинағын ұстап тұрады. Форги PST-ді BRMS құралдарын сатушы емес, зерттеуге бағытталған компания ретінде жиі сипаттаған, бірақ ол PST арқылы түрлі ережелерге негізделген құралдарды сатады. Форги 2010 жылы FICO-мен байланысын үзді және Sparkling Logic компаниясына инвестор және стратегиялық кеңесші ретінде қосылды. Ол өзінің соңғы алгоритмі Rete NT-ті Sparkling Logic SMARTS өніміне қосты.
In 2005, RulesPower was acquired by Fair Isaac Corporation, who obtained a license to integrate Rete III into Blaze Advisor, their own business rules product. Forgy retained the intellectual property rights to Rete II and his personal company, Production Systems Technology, still sells OPSJ and other systems that incorporate the Rete II algorithm. KnowledgeBased Systems Corporation, an independent consulting company in Texas, maintains an extensive set of benchmarks for most BRMS and rule based systems that demonstrate the effectiveness of the Rete and Rete II algorithms. Forgy has often described PST as a research oriented company rather than a vendor of BRMS tools, but he does sell various rule based tools via PST. Forgy terminated his relationship with FICO in 2010 and joined Sparkling Logic as investor and strategic advisor. He has contributed his latest algorithm, Rete NT, to the Sparkling Logic SMARTS product.
Таңдалған шығармалар
Чарльз Форги, "Өндірістік жүйелер үшін желілік сәйкестік алгоритмі". Жұмыс қағазы, 1974 жыл. Чарльз Форги, "Өндірістік жүйелерді тиімді жүзеге асыру туралы". PhD диссертациясы, Карнеги-Меллон университеті, 1979 жыл.
Charles Forgy, "A network match routine for production systems." Working Paper, 1974. Charles Forgy, ""On the efficient implementation of production systems." Ph. D. Thesis, Carnegie Mellon University, 1979.