773 resultados para complex problem solving research


Relevância:

100.00% 100.00%

Publicador:

Resumo:

The STUDENT problem solving system, programmed in LISP, accepts as input a comfortable but restricted subset of English which can express a wide variety of algebra story problems. STUDENT finds the solution to a large class of these problems. STUDENT can utilize a store of global information not specific to any one problem, and may make assumptions about the interpretation of ambiguities in the wording of the problem being solved. If it uses such information or makes any assumptions, STUDENT communicates this fact to the user. The thesis includes a summary of other English language questions-answering systems. All these systems, and STUDENT, are evaluated according to four standard criteria. The linguistic analysis in STUDENT is a first approximation to the analytic portion of a semantic theory of discourse outlined in the thesis. STUDENT finds the set of kernel sentences which are the base of the input discourse, and transforms this sequence of kernel sentences into a set of simultaneous equations which form the semantic base of the STUDENT system. STUDENT then tries to solve this set of equations for the values of requested unknowns. If it is successful it gives the answers in English. If not, STUDENT asks the user for more information, and indicates the nature of the desired information. The STUDENT system is a first step toward natural language communication with computers. Further work on the semantic theory proposed should result in much more sophisticated systems.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The thesis developed here is that reasoning programs which take care to record the logical justifications for program beliefs can apply several powerful, but simple, domain-independent algorithms to (1) maintain the consistency of program beliefs, (2) realize substantial search efficiencies, and (3) automatically summarize explanations of program beliefs. These algorithms are the recorded justifications to maintain the consistency and well founded basis of the set of beliefs. The set of beliefs can be efficiently updated in an incremental manner when hypotheses are retracted and when new information is discovered. The recorded justifications also enable the pinpointing of exactly whose assumptions which support any particular belief. The ability to pinpoint the underlying assumptions is the basis for an extremely powerful domain-independent backtracking method. This method, called Dependency-Directed Backtracking, offers vastly improved performance over traditional backtracking algorithms.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The Interact System Model (ISM) developed by Fisher and Hawes (1971) for the analysis of face-to-face communication during small-group problem solving activities was used to study online communication. This tool proved to be of value in the analysis, but the conversation patterns reported by Fisher (1980) did not fully appear in the online environment. Participants displayed a habit of "being too polite" and not fully voicing their disagreements with ideas posed by others. Thus progress towards task completion was slow and incomplete.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Math-Towers (www.math-towers.ca) is an online resource for students in grades 6 to 10 that supports collaborative problem-solving and investigations. This paper presents the philosophical position motivating the development of Math-Towers and describes how the site presents and motivates the mathematical challenges and supports participants' exploration and collaboration.