Final Report for Contract N00014-78-C-0022 for the Period 1 October 1977-30 September 1980.

Abstract

This project examined processes of informal reasoning and relationships between informal and formal reasoning in problem solving. One set of studies focused on relationships between knowledge of problem-solving procedures and knowledge of general conceptual relationships. We have specified ways in which problem-solving performance can be influenced, and problem-solving procedures can be understood, because of their relationships to conceptual knowledge in the form of schemata. The second set of studies was concerned with relationships between general formal principles and cognitive procedures. Contributions included a method for formally analyzing relationships between procedures and constraints, and a theoretical and empirical analysis of understanding the principle of formal deductive consequence in the context of geometry proof problems. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 26, 1981
Accession Number
ADA095138

Entities

People

  • James G. Greeno

Organizations

  • University of Pittsburgh

Tags

Communities of Interest

  • Biomedical

DTIC Thesaurus Topics

  • Applied Psychology
  • Artificial Intelligence
  • California
  • Cognition
  • Cognitive Science
  • Computer Science
  • Contracts
  • Educational Psychology
  • Information Processing
  • Military Research
  • Navy
  • New York
  • Psychology
  • Social Sciences
  • Students
  • United States
  • Uss Carl Vinson

Readers

  • Artificial Intelligence
  • Organizational Psychology.