×

zbMATH — the first resource for mathematics

Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis. (English) Zbl 0372.94024

MSC:
94C10 Switching theory, application of Boolean algebra; Boolean functions (MSC2010)
94-04 Software, source code, etc. for problems pertaining to information and communication theory
Software:
MACSYMA
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Bosyj, M., A diagnostic program for the design of procurement systems, MIT project MAC technical report, (1975)
[2] Brown, A.L., Qualitative knowledge, causal reasoning, and the localization of failures, MIT AI lab. phd thesis, (1975)
[3] Davis, R., Applications of meta level knowledge to the construction, maintenance, and use of large knowledge bases, Stanford U. AI lab. memo AIM-283, (1976)
[4] de Kleer, J., Local methods for localization of faults in electronic circuits, MIT AI lab. working paper 109, (1976)
[5] Dijkstra, E.W., Structured programming, (), 84-88
[6] Doyle, J., Analysis by propagation of constraints in elementary geometry problem solving, MIT AI lab. working paper 108, (1976)
[7] Fahlman, S.E., A planning system for robot construction tasks, ()
[8] Fikes, R.E., Deductive retrieval mechanisms for state description models, Stanford research institute AI technical note 106, (1975)
[9] Freuder, E.C., Synthesizing constraint expressions, MIT AI lab. memo 370, (1976) · Zbl 0386.68065
[10] Hewitt, C.E.; Smith, B., Towards a programming apprentice, IEEE trans. on software engineering, 1, 1, 26-45, (1975)
[11] Hewitt, C.E., Procedural embedding of knowledge in PLANNER, ()
[12] Hewitt, C.E., Description and theoretical analysis (using schemata) of PLANNER: A language for proving theorems and manipulating models in a robot, MIT AI lab. technical report 258, (1972)
[13] Huffman, D.A., Impossible objects as nonsense sentences, ()
[14] Teitelman, W., ()
[15] Bogen, R., ()
[16] Mason, M.T., Qualitative simulation of swine production, MIT dept. of EE & CS BS thesis, (1976)
[17] McCarthy, ()
[18] McDermott, D.V.; Sussman, G.J., MIT AI lab. AI memo 259, CONNIVER reference manual, (1972), revised July 1973
[19] McDermott, D.V., Assimilation of new information by a natural language understanding system, ()
[20] McDermott, D.V., Very large planner-type data bases, MIT AI lab. memo 339, (1975)
[21] McDermott, D.V., Flexibility and efficiency in a computer program for designing circuits, MIT dept. EE & CS phd thesis, (1976)
[22] Minsky, M.L., A framework for representing knowledge, () · Zbl 0116.11803
[23] Moon, D.A., ()
[24] Nevins, A.J., Plane geometry theorem proving using forward chaining, MIT artificial intelligence memo, 303, (1974) · Zbl 0446.68080
[25] Rich, C.; Shrobe, H., Initial report on a LISP Programmer’s apprentice, MIT AI lab. technical report 354, (1976) · Zbl 0393.68044
[26] Rieger, C., The commonplace algorithm as a basis for computer models of human memory, inference, belief and contextual language understanding in TINLAP, (1975), Cambridge MA
[27] Roylance, G.L., Anthropomorphic circuit analysis, MIT dept. of EE & CS BS thesis, (1975)
[28] Roylance, G.L., Qualitative analysis of operational amplifier circuits, MIT dept. of EE & CS MS thesis proposal, (1976)
[29] Rulifson, J.F., A procedural calculus for intuitive reasoning, Stanford research institute AI technical note 73, (1972)
[30] Senturia, S.D.; Wedlock, D., Electronic circuits and applications, (1975), John Wiley New York
[31] Shortliffe, E.H.; Shortliffe, E.H., MYCIN: computer-based medical consultations, Stanford U. AI lab. memo AIM-251, (1976), Elsevier New York, also
[32] Sussman, G.J.; McDermott, D.V., From PLANNER to CONNIVER—A genetic approach, (), 1171-1179
[33] Sussman, G.J.; Stallman, R.M., Heuristic techniques in computer-aided circuit analysis, IEEE trans. on circuits and systems, vol. CAS-22, 11, (1975)
[34] Sussman, G.J.; Sussman, G.J., A computer model of skill acquisition, (), (1975), Elsevier New York, also
[35] Sussman, G.J., The virtuous nature of bugs, ()
[36] Sussman, G.J.; Winograd, T.; Charniak, E., MIT AI lab. AI memo 203, Micro-planner reference manual, (1970), revised December 1971
[37] Teitelman, W., Toward a programming laboratory, (), 137-149
[38] Waltz, D.L., Generating semantic descriptions from drawings of scenes with shadows, MIT AI lab. technical report 271, (1972)
[39] Winograd, T., Breaking the complexity barrier again, ()
[40] Winograd, T., Frame representations and the procedural/declarative controversy, ()
[41] Winston, P.H., Learning structural descriptions from examples, MIT AI lab. technical report 231, (1970)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.