Structured Planning and Debugging: A Linguistic Theory of Design. AI Memo 387.
Uložené v:
| Názov: | Structured Planning and Debugging: A Linguistic Theory of Design. AI Memo 387. |
|---|---|
| Jazyk: | English |
| Autori: | Goldstein, Ira P., Miller, Mark L., Massachusetts Inst. of Tech., Cambridge. Artificial Intelligence Lab. |
| Peer Reviewed: | N |
| Počet strán: | 92 |
| Dátum vydania: | 1976 |
| Sponsoring Agency: | Advanced Research Projects Agency (DOD), Washington, DC. National Science Foundation, Washington, DC. |
| Druh dokumentu: | Reports - Descriptive |
| Descriptors: | Artificial Intelligence, Computer Graphics, Computer Programs, Diagrams, Linguistic Theory, Planning, Problem Solving, Programing, Task Analysis |
| Abstrakt: | A unified theory of planning and debugging is explored by designing a problem solving program called PATN. PATN uses an augmented transition network (ATN) to represent a broad range of planning techniques, including identification, decomposition, and reformulation. (The ATN is a simple yet powerful formalism which has been effectively utilized in computational linguistics.) PATN's plans may manifest "rational bugs," which result from heuristically justifiable but incorrect arc transitions in the planning ATN. This aspect of the theory is developed by designing a complementary debugging module called DAPR, which would diagnose and repair the errors in PATN's annotated plans. The investigation is incomplete as PATN has not yet been implemented, but sufficient detail is presented to provide a theoretical framework for reconceptualizing Sussman's HACKER research. Since a detailed study of planning and debugging techniques is a prerequisite for complete fulfillment of Dijkstra's objectives of program reliability, readability, portability, and so on, the theory is called "Structured Planning and Debugging" to emphasize its potential role in this enterprise. Fifty-seven references are listed. (Author/LLS) |
| Entry Date: | 1982 |
| Prístupové číslo: | ED207583 |
| Databáza: | ERIC |
| FullText | Text: Availability: 0 CustomLinks: – Url: https://eric.ed.gov/contentdelivery/servlet/ERICServlet?accno=ED207583 Name: ERIC Full Text Category: fullText Text: Full Text from ERIC |
|---|---|
| Header | DbId: eric DbLabel: ERIC An: ED207583 AccessLevel: 3 PubType: Report PubTypeId: report PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Structured Planning and Debugging: A Linguistic Theory of Design. AI Memo 387. – Name: Language Label: Language Group: Lang Data: English – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Goldstein%2C+Ira+P%2E%22">Goldstein, Ira P.</searchLink><br /><searchLink fieldCode="AR" term="%22Miller%2C+Mark+L%2E%22">Miller, Mark L.</searchLink><br /><searchLink fieldCode="AR" term="%22Massachusetts+Inst%2E+of+Tech%2E%2C+Cambridge%2E+Artificial+Intelligence+Lab%2E%22">Massachusetts Inst. of Tech., Cambridge. Artificial Intelligence Lab.</searchLink> – Name: PeerReviewed Label: Peer Reviewed Group: SrcInfo Data: N – Name: Pages Label: Page Count Group: Src Data: 92 – Name: DatePubCY Label: Publication Date Group: Date Data: 1976 – Name: SourceSuprt Label: Sponsoring Agency Group: SrcSuprt Data: Advanced Research Projects Agency (DOD), Washington, DC.<br />National Science Foundation, Washington, DC. – Name: TypeDocument Label: Document Type Group: TypDoc Data: Reports - Descriptive – Name: Subject Label: Descriptors Group: Su Data: <searchLink fieldCode="DE" term="%22Artificial+Intelligence%22">Artificial Intelligence</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+Graphics%22">Computer Graphics</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+Programs%22">Computer Programs</searchLink><br /><searchLink fieldCode="DE" term="%22Diagrams%22">Diagrams</searchLink><br /><searchLink fieldCode="DE" term="%22Linguistic+Theory%22">Linguistic Theory</searchLink><br /><searchLink fieldCode="DE" term="%22Planning%22">Planning</searchLink><br /><searchLink fieldCode="DE" term="%22Problem+Solving%22">Problem Solving</searchLink><br /><searchLink fieldCode="DE" term="%22Programing%22">Programing</searchLink><br /><searchLink fieldCode="DE" term="%22Task+Analysis%22">Task Analysis</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: A unified theory of planning and debugging is explored by designing a problem solving program called PATN. PATN uses an augmented transition network (ATN) to represent a broad range of planning techniques, including identification, decomposition, and reformulation. (The ATN is a simple yet powerful formalism which has been effectively utilized in computational linguistics.) PATN's plans may manifest "rational bugs," which result from heuristically justifiable but incorrect arc transitions in the planning ATN. This aspect of the theory is developed by designing a complementary debugging module called DAPR, which would diagnose and repair the errors in PATN's annotated plans. The investigation is incomplete as PATN has not yet been implemented, but sufficient detail is presented to provide a theoretical framework for reconceptualizing Sussman's HACKER research. Since a detailed study of planning and debugging techniques is a prerequisite for complete fulfillment of Dijkstra's objectives of program reliability, readability, portability, and so on, the theory is called "Structured Planning and Debugging" to emphasize its potential role in this enterprise. Fifty-seven references are listed. (Author/LLS) – Name: DateEntry Label: Entry Date Group: Date Data: 1982 – Name: AN Label: Accession Number Group: ID Data: ED207583 |
| PLink | https://erproxy.cvtisr.sk/sfx/access?url=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=eric&AN=ED207583 |
| RecordInfo | BibRecord: BibEntity: Languages: – Text: English PhysicalDescription: Pagination: PageCount: 92 Subjects: – SubjectFull: Artificial Intelligence Type: general – SubjectFull: Computer Graphics Type: general – SubjectFull: Computer Programs Type: general – SubjectFull: Diagrams Type: general – SubjectFull: Linguistic Theory Type: general – SubjectFull: Planning Type: general – SubjectFull: Problem Solving Type: general – SubjectFull: Programing Type: general – SubjectFull: Task Analysis Type: general Titles: – TitleFull: Structured Planning and Debugging: A Linguistic Theory of Design. AI Memo 387. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Massachusetts Inst. of Tech., Cambridge. Artificial Intelligence Lab. – PersonEntity: Name: NameFull: Goldstein, Ira P. – PersonEntity: Name: NameFull: Miller, Mark L. IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 12 Type: published Y: 1976 |
| ResultId | 1 |