通用解难器

通用解难器（英語：General Problem Solver，简称 G.P.S.，又稱一般性問題解決程式）是由赫伯特·亚历山大·西蒙、约翰·克里夫·肖（英语：John Clifford Shaw）和艾伦·纽厄尔三人于1957年编写的電腦程式，旨在作为解決通用問題的機器。任何可以表示为良式公式（WFFs）或霍恩子句，并構成一個以上源點（source，即公理）或匯點（sink，即期望結論）的有向图问题，原则上可以透過通用解难器來解决。谓词逻辑和欧几里德几何问题空间中的证明，是通用解难器適用領域的主要例子。通用解难器是基于西蒙和纽厄尔关于逻辑机器的理论工作，也是首先將問題知识（將規則表示為輸入數據）與問題解決策略（通用求解器引擎）分離開來的電腦程式。通用解难器是以三階編程語言「資訊處理語言」（IPL）來實現。

虽然通用解难器能够解決一些诸如河内塔等可被充分形式化的簡單問題，但無法用來解決現實世界中的問題，這是因为搜索很容易在组合爆炸（英语：Combinatorial explosion）中丢失。換句話說，透過推斷有向圖的「走訪」次數在計算上變得难以为继。（在实践中，即使像河内塔這樣直截了當的狀態空間搜索，在計算上也可能變得不可行，雖然透過像 A *和IDA *這樣基礎的人工智慧技術，仍可以對狀態空間進行明智的修剪）

用戶定義的對象、可在對象執行的操作，以及通用解难器可透過均值-端點分析生成启发式算法來解決問題。它著重於可用的操作，找出哪些輸入是可接受的，以及生成了哪些輸出。然后會创建子目标，以便越來越靠近目标。

通用解难器范式後來演变为人工智慧的Soar架構。


基本解决方案的规则

  1. 一个对象变换成另一种。
  2. 降低的两个对象之间的不同。
  3. 适用于操作者的一个对象。其中的关键要素需要透過通用解难器解决的问题是运营商差异表，指定哪些转换是可能的。

伪代码

  1. Goal 1: Transform L1 into LO
  2. Goal 2: Reduce difference between L1 and L0
  3. Goal 3: Apply R1 to L1
  4. Goal 4: Transform L1 into condition (R1)
  5. Produce L2: (-P => Q) *R
  6. Goal 5: Transform L2 into L0
  7. Goal 6: Reduce difference between left(L2) and left(L0)
  8. Goal 7: Apply R5 to left(L2)
  9. Goal 8: Transform left(L2) into condition(R5)
  10. Goal 9: Reduce difference between left(L2) and condition(R5)
  11. Rejected: No easier than Goal 6
  12. Goal 10: Apply R6 to left(L2)
  13. Goal 11: Transform left(L2) into condition(R5)
  14. Produce L3: (P \/ Q) *R
  15. Goal 12: Transform L3 into L0
  16. Goal 13: Reduce difference between left(L3) and left(L0)
  17. Goal 14: Apply R1 to left(L3)
  18. Goal 15: Transform left(L3) into condition(R1)
  19. Produce L4: (Q \/ P)*R
  20. Goal 16: Transform L4 into L0
  21. Identical, QED

外部链接

Read other articles:

Ilyas Akbar Almadani

Kontributor utama artikel ini tampaknya memiliki hubungan dekat dengan subjek. Artikel ini mungkin memerlukan perapian untuk mematuhi kebijakan konten Wikipedia, terutama dalam hal sudut pandang netral. Silakan dibahas lebih lanjut di halaman pembicaraan artikel ini. (Pelajari cara dan kapan saatnya untuk menghapus pesan templat ini)Artikel ini kemungkinan ditulis dari sudut pandang penggemar dan bukan sudut pandang netral. Mohon rapikan untuk menghasilkan standar kualitas yang lebih tinggi d...

 

Pisino

Pisinocittà(HR) Pazin Pisino – Veduta LocalizzazioneStato Croazia Regione Istria AmministrazioneSindacoRenato Krulčić TerritorioCoordinate45°14′21″N 13°56′19″E / 45.239167°N 13.938611°E45.239167; 13.938611 (Pisino)Coordinate: 45°14′21″N 13°56′19″E / 45.239167°N 13.938611°E45.239167; 13.938611 (Pisino) Altitudine277 m s.l.m. Superficie139,1 km² Abitanti8 868 (31-03-2011, censimento 2011) Densità63,...

 

Rd Mochtar

Artikel atau sebagian dari artikel ini mungkin diterjemahkan dari Rd Mochtar di en.wikipedia.org. Isinya masih belum akurat, karena bagian yang diterjemahkan masih perlu diperhalus dan disempurnakan. Jika Anda menguasai bahasa aslinya, harap pertimbangkan untuk menelusuri referensinya dan menyempurnakan terjemahan ini. Anda juga dapat ikut bergotong royong pada ProyekWiki Perbaikan Terjemahan. (Pesan ini dapat dihapus jika terjemahan dirasa sudah cukup tepat. Lihat pula: panduan penerjemahan ...

Hollande

Pour les articles homonymes, voir Hollande (homonymie). Pour l’article ayant un titre homophone, voir Holland. Ne doit pas être confondu avec les Pays-Bas. Hollande-Septentrionale et Hollande-Méridionale (en jaune) dans les Pays-Bas européens actuels. La Hollande est une ancienne province des Pays-Bas divisée en 1840 en deux provinces distinctes : la Hollande-Septentrionale et la Hollande-Méridionale. Le nom de cette région historique provient du moyen néerlandais Holtland dés...

 

Abudureheman Abulikemu

Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini.Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala.Tag ini diberikan pada November 2022. AbudurehemanInformasi pribadiNama asliئابدۇراخمان ئابلىكىمنىڭ[1]阿布都热合曼·阿不力克木Nama lengkapAbudureheman AbulikemuKewarganegaraanTiongkokLahir(1978-06-01)1 Juni 1978[2]Kota AltayMeninggal21...

 

ويكيبيديا:لمح البصر

مرحبًا بك! اعلم أنك تتحمل المسؤولية الكاملة عن أي عمل تقوم به بواسطة لمح البصر. عليك أن تعرف سياسات ويكيبيديا، وأن تتصرف وفقا لها، وإلا فقد تتعرض للمنع. اختصاراتوب:لمح Mr. Twinkly لمح البصر هي مجموعة من البرامج المكتوبة بلغة الجافا سكريبت تمنح المستخدمين المسجلين عدة إمكانيات إ�...

Thaler

Large silver coin used in 16th- to 19th-century Europe For other uses, see Thaler (disambiguation). Four thalers and one double thaler, compared to a U.S. quarter (bottom center): Clockwise from top left: Saxe-Altenburg 1616 (reverse), Saxony 1592, Austria 1701 (obverse), Saxony 1592 (obverse), Center: double thaler, Austria 1635 (obverse). A thaler or taler (/ˈtɑːlər/ TAH-lər; German: Taler [ˈtaːlɐ], previously spelled Thaler) is one of the large silver coins minted in the st...

 

Acide solide

Modèle tridimensionnel de zéolithe ZSM-5. Un acide solide est un acide qui ne se dissout pas dans le milieu réactionnel. Ils sont souvent employés en catalyse hétérogène. La plupart des acides solides sont des acides organiques tels que l'acide oxalique HOOC–COOH, l'acide malique HOOC–CH2–CHOH–COOH, l'acide tartrique HOOC–CHOH–CHOH–COOH, l'acide citrique HOOC–CH2–C(COOH)OH–CH2–COOH, etc. Parmi les acides minéraux, on trouve des aluminosilicates tels que des ...

 

Song for a Raggy Boy

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Song for a Raggy Boy – news · newspapers · books · scholar · JSTOR (June 2022) (Learn how and when to remove this message) 2003 filmSong for a Raggy BoyDVD Cover for Song for a Raggy BoyDirected byAisling WalshWritten byAisling WalshKevin Byron Murphybased on t...

Blues scale

Musical scales The term blues scale refers to several different scales with differing numbers of pitches and related characteristics. A blues scale is often formed by the addition of an out-of-key blue note to an existing scale, notably the flat fifth addition to the minor pentatonic scale. However, the heptatonic blues scale can be considered a major scale with altered intervals. Types Hexatonic The hexatonic, or six-note, blues scale consists of the minor pentatonic scale plus the ♭5...

 

سنن الدارمي

سنن الدَّارِمِي مسند الدَّارِمِي معلومات الكتاب المؤلف عبد الله بن عبد الرحمن الدَّارِمِي(181 هـ - 255 هـ) البلد سمرقند اللغة العربية السلسلة كتب الحديث التسعة الموضوع حديث المواقع ويكي مصدر سنن الدَّارِمِي  - ويكي مصدر تعديل مصدري - تعديل   سنن الدَّارِمِي، هو كتاب...

 

Petchmorakot Petchyindee Academy

Thai Muay Thai kickboxer Petchmorakot PetchyindeeBornNopadon Darouphan (1994-02-14) February 14, 1994 (age 30)Ubon Ratchathani, ThailandOther namesPhethmorakot Wor Sangprapai Petchmorakot PetchyindeeHeight180 cm (5 ft 11 in)Weight70 kg (154 lb; 11 st)DivisionFeatherweight (155 lbs) (ONE)MiddleweightLight middleweightWelterweightLight welterweightReach73 in (185 cm)StyleMuay ThaiStanceSouthpawFighting out ofBangkok, ThailandTeamPetchyindee AcademyKi...

Stazione di La Rustica U.I.R.

La Rustica U.I.R.stazione ferroviariaLa stazione di La Rustica UIR LocalizzazioneStato Italia LocalitàRoma Coordinate41°54′45.22″N 12°37′18.66″E41°54′45.22″N, 12°37′18.66″E Lineeferrovia Roma-Sulmona-Pescara StoriaStato attualeIn uso Attivazione2005 CaratteristicheTipoStazione in superficiepassante Binari2 GestoriRete Ferroviaria Italiana DintorniQuartiere La Rustica  La Rustica U.I.R. Modifica dati su Wikidata · Manuale Ferrovie LazialiLinea FL2  ...

 

KU Leuven

Catholic research university in Leuven, Belgium For the 1425–1797 university, see Old University of Leuven. For the 1817–1835 university, see State University of Leuven. For the 1834–1968 university, see Catholic University of Leuven (1834–1968). For the present-day French-speaking university, see Université catholique de Louvain. KU LeuvenKatholieke Universiteit Leuven[a]Latin: Universitas catholica LovaniensisOther nameKatholieke Universiteit te Leuven[b]MottoSedes ...

 

Jaakko Hintikka

Finnish philosopher and logician Jaakko HintikkaJaakko Hintikka in 2003BornJaakko Kaarlo Juhani Hintikka(1929-01-12)12 January 1929Helsingin maalaiskunta, FinlandDied12 August 2015(2015-08-12) (aged 86)Porvoo, FinlandNationalityFinnishEducationUniversity of Helsinki(Ph.D., 1953)Awards Library of Living Philosophers (2006) Rolf Schock Prize (2006) Era20th-century philosophyRegionWestern philosophySchoolAnalytic philosophyInstitutions Stanford University Boston University ThesisDistributiv...

Аполлон (театр)

Не следует путать с гарлемским театром Аполло. Театр «Аполлон» греч. θέατρο «Απόλλων» Основан 10 октября 1872 Здание театра Местоположение площадь Георга I, Патры, Греция Адрес Πλατεία Γεωργίου Α 31, Πάτρα 262 21 Архитектурный стиль неоклассицизм Архитектор Эрнст Циллер Руково...

 

Anticoncepción

Tenga en cuenta leer el aviso médico de Wikipedia. Anticoncepción: Cómo prevenir un embarazo no deseado. La anticoncepción, contracepción o control de la natalidad es cualquier método o dispositivo para prevenir el embarazo no deseado.[1]​ La planificación, provisión y uso de métodos anticonceptivos es llamado planificación familiar.[2]​[3]​ Los métodos anticonceptivos se han utilizado desde tiempos antiguos, en el papiro de Petri de 1850 a. C. figuraban ya l...

 

B. F. Skinner

American psychologist and social philosopher (1904–1990) B. F. SkinnerSkinner, c. 1950BornBurrhus Frederic Skinner(1904-03-20)March 20, 1904Susquehanna, Pennsylvania, U.S.DiedAugust 18, 1990(1990-08-18) (aged 86)Cambridge, Massachusetts, U.S.Alma materHamilton College (AB)Harvard University (PhD)Known forBehavior analysisOperant conditioningRadical behaviorismVerbal Behavior (1957)Spouse Yvonne (Eve) Blue ​(m. 1936)​[1]ChildrenJulie ...

Bending

Strain caused by an external load For other uses, see Bending (disambiguation). Bending of an Ɪ-beam Part of a series onContinuum mechanics J = − D d φ d x {\displaystyle J=-D{\frac {d\varphi }{dx}}} Fick's laws of diffusion Laws Conservations Mass Momentum Energy Inequalities Clausius–Duhem (entropy) Solid mechanics Deformation Elasticity linear Plasticity Hooke's law Stress Strain Finite strain Infinitesimal strain Compatibility Bending Contact mechanics frictional Materia...

 

Jacob Tremblay

Canadian actor (born 2006) Jacob TremblayTremblay in 2020Born (2006-10-05) October 5, 2006 (age 17)Vancouver, British Columbia, CanadaOccupationActorYears active2013–presentRelativesEmma Tremblay (sister) Jacob Tremblay (/ˈtrɒmbleɪ/ TROM-blay; born October 5, 2006)[1] is a Canadian actor. He became known for his role as a child born in captivity in Room (2015), for which he won the Critics' Choice Movie Award for Best Young Performer and became the youngest nominee for ...