Truth maintenance systems for problem solving.

Truth maintenance systems for problem solving.

Show other versions (1)

Thesis. 1977. M.S.--Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science.

Bibliographic Details
Main Author:	Doyle, Jon
Other Authors:	Gerald Jay Sussman.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2007
Subjects:	Electrical Engineering and Computer Science Artificial intelligence Problem solving Automatic theorem proving
Online Access:	http://hdl.handle.net/1721.1/38910

Similar Items

Problem solving strategies in parallel research and development projects.
by: Allen, Thomas J.
Published: (2009)

Truth Maintenance Systems for Problem Solving
by: Doyle, Jon
Published: (2004)

A model for the description and evaluation of technical problem solving,
by: Frischmuth, Daniel S., et al.
Published: (2009)

Problem-solving strategies in a system for computer-aided diagnosis.
by: Gorry, George Anthony
Published: (2009)

The Effects Of Verbal Problem Solving Instruction On Students' Structuring Acquisition and Retention Of Knowledge In Methods Of Cooking
by: Ahmad Shah, Aliah
Published: (2005)

Cognitive style & the problem-solving process: an experiment
by: Keen, Peter G. W.
Published: (2009)

Theories of problem solving and decision making. Pt. A.
by: Soelberg, Peer
Published: (2009)

CAULDRONS: An Abstraction for Concurrent Problem Solving
by: Haase, Ken
Published: (2004)

Self-Aware Problem Solving
by: Winston, Patrick Henry
Published: (2018)

The Distinctive Creativity Endeavour Model for Creative Thinking, an Expansion of the Osborn-Parnes Creative Problem Solving Approach
by: Steven, Baptist Steven
Published: (2006)

Factors influencing mathematical problem solving performance among Malaysian matriculation students
by: Abu Bakar, Suriati
Published: (2019)

Agent-based extraction algorithm for computational problem solving
by: Rajabi, Maryam
Published: (2015)

Factors Related to Teachers' Perception of Problem Solving Skills Instruction
by: Tan, Ka Yu
Published: (1996)

A descriptive model of detailed problem-finding behavior.
by: Malhotra, Ashok.
Published: (2009)

A Truth Maintenance System
by: Doyle, Jon
Published: (2004)

Effects of problem-solving approach on problem-solving skills, motivation, and writing achievement of middle-eastern EFL learners
by: Hussein, Hawanum
Published: (2014)

Sources of ideas and their effectiveness in parallel R & D projects.
by: Allen, Thomas J.
Published: (2009)

AI Accelerates Problem-solving in Complex Scenarios
by: Zewe, Adam
Published: (2023)

Theory of inventive problem solving based sector specific guidance for electrical engineers to seek innovative solutions systematically
by: Mansoor, Muhammad
Published: (2013)

A Glimpse of Truth Maintenance
by: Doyle, Jon
Published: (2004)

Knowledge Integration for Technical Problem Solving in Complex Aerospace Systems Development: The Case of Military Avionics
by: Haddad, Marc, et al.
Published: (2022)

Development and validation of triz-based module for enhancing problem solving skills in tvet final year project
by: Wan Abu Seman, Sh Zainaf
Published: (2023)

Penerapan teori set dwikabur konflik dalam proses hierarki analitik (AHP) / Zamali Tarmudi and Abu Osman Md Tap
by: Tarmudi, Zamali, et al.
Published: (2007)

Kesan tiga pembolehubah binaan ke atas kesukaran sesuatu soalan penyelesaian masalah matematik
by: Mat Baok, Saiman
Published: (1987)

The implementation of industrial development programmes using critical path network theory.
by: Fernando, Eustace P. C.
Published: (2009)

Observations on Cognitive Judgments
by: McAllester, David
Published: (2004)

Qualitative Process Theory
by: Forbus, Kenneth D.
Published: (2004)

Generic assumption-based truth-maintained blackboard system
by: Tan, Boon Tee.
Published: (2008)

Suatu algoritma untuk penyelesaian masalah knapsack
by: Leow, Soo Kar
Published: (1988)

The Scientific Community Metaphor
by: Kornfeld, William A., et al.
Published: (2004)

Pembangunan dan keberkesanan permainan komputer terhadap pencapaian, sikap dan strategi metakognisi murid dalam penyelesaian masalah
by: Abdullah, Yusri
Published: (2018)

Natural Language Based Inference Procedures Applied to Schubert's Steamroller
by: Givan, Robert, et al.
Published: (2004)

Inspection Methods in Programming: Cliches and Plans
by: Rich, Charles
Published: (2004)

Enhancing students' problem solving skills using problem-based learning as an instructional communication approach
by: Abdul Kadir, Zulida
Published: (2013)

A Selected Descriptor-Indexed Bibliography to the Literature on Belief Revision
by: Doyle, Jon, et al.
Published: (2004)

Fundamental Issues and Problems that Hinder Effective Teamwork in a Merchant Bank
by: Abdul Rahman, Faridah Hanim
Published: (1998)

Office semantics
by: Barber, Gerald
Published: (2008)

Enhanced simulated annealing for solving aggregate production planning
by: Abu Bakar, Mohd Rizam, et al.
Published: (2016)

Discovering servant leadership attributes for conflict management at Kumpulan Wang Simpanan Pekerja (KWSP) Seberang Jaya Pulau Pinang / Hasriyah Mohd Narudin and Nor Amyza Hamzah
by: Mohd Narudin, Hasriyah, et al.
Published: (2010)

Using AI / machine learning to solve real world problems
by: Lok, Ignatius Zhengrong
Published: (2021)