Article Instance

HTTP 200 OK
Allow: GET
Content-Type: application/json
Vary: Accept

{
    "pk": 31738,
    "title": "Using Case-based Reasoning and Situated Activity to Write Geometry Proofs",
    "subtitle": null,
    "abstract": "As models of human cognition, previous geometry\ntheorem-proving programs were inappropriately\ninfluenced by the ease with which computers\nmanipulate syntactic formulae. The failure of\nthose programs to pay attention to h u m a n\nperception d o o m e d them as models of h o w\nhumans solve geometry proof problems. Just as\nthe study of theorem-proving once evolved into\nthe study of planning, it is time n o w for theorem-\nproving to incorporate current ideas in the\nplanning community. A close examination of\nwhat h u m a n s do w h e n they try to solve\ngeometry proof problems, and of h o w geometry is\ntaught, reveals an emphasis on chunks of\nproblem-solving knowledge derived from\nexamples, retrieved on the basis of visual cues.\nThese ideas are characteristic of the case-based\nreasoning and situated activity approaches in\nplanning. This paper concludes with a brief\ndescription and trace of a computer program,\nPOLYA , which does reactive, memory-based\ngeometry theorem-proving.",
    "language": "eng",
    "license": {
        "name": "",
        "short_name": "",
        "text": null,
        "url": ""
    },
    "keywords": [],
    "section": "Submitted Presentations",
    "is_remote": true,
    "remote_url": "https://escholarship.org/uc/item/5cb7t3sc",
    "frozenauthors": [
        {
            "first_name": "Thomas",
            "middle_name": "F.",
            "last_name": "McDougal",
            "name_suffix": "",
            "institution": "University of Chicago",
            "department": ""
        }
    ],
    "date_submitted": null,
    "date_accepted": null,
    "date_published": "1993-01-01T18:00:00Z",
    "render_galley": null,
    "galleys": [
        {
            "label": "PDF",
            "type": "pdf",
            "path": "https://journalpub.escholarship.org/cognitivesciencesociety/article/31738/galley/22806/download/"
        }
    ]
}