Semantic Parameterization: A Process for Modeling Domain Descriptions (2008)
Travis D. Breaux, Annie I. Antón, Jon Doyle
Software engineers must systematically account for the broad scope of environmental behavior that is described in non-functional requirements and includes the coordinated actions of stakeholders and...
Automating Human Based Negotiation Processes for Autonomic Logistics 1 (2008)
Gabor Karsai, George Bloor, Jon Doyle
Affordability and responsiveness are two key requirements for the next generation of aircraft support systems. Aircraft have to be repaired with minimum downtime and the support process has to be...
AAAI-06 Doctoral Consortium Advisor: R Michael Young (2008)
Darshak (sanskrit Viewer, Arnav Jhala, James Lester, Jon Doyle, Tim Buie
� Simulation and Training environments � Immersive 3D virtual worlds (video games,
Non-Repetitive Binary Sequences (2008)
An infinite sequence on two symbols is constructed with no three adjacent identical blocks of symbols and no two adjacent identical blocks of four or more symbols, refuting a conjecture of Entringer,...
Exercising Qualitative Control in Autonomous Adaptive Survivable Systems ⋆ (2008)
Abstract. We seek to construct autonomous adaptive survivable systems that use active trust management to adapt their own behavior in the face of compromises in the computational environment. Active...
Jon Doyle, Isaac Kohane, William Long, Peter Szolovits
Abstract: This report describes the aims, functions, and organization of the MAITA system for knowledge-based construction, adaptation, and control of networks of monitoring processes. DRAFT
Jon Doyle, Isaac Kohane, William Long, Peter Szolovits
Abstract: This report describes the aims, functions, and organization of the MAITA system for knowledge-based construction, adaptation, and control of networks of monitoring processes.
Lifetime Patient-Centered Health Information Systems.............................. 4 (2007)
Guardian Angel, Peter Szolovits, Jon Doyle, Jon Doyle, William J. Long, William J. Long, ...
Part I.......................................................................................................................... 4
A GLIMPSE OF TRUTH'MAINTENANCE (2007)
A. I. Memo, Jon Doyle, I Gerald, Jay Sussman, Richard M. Sta!iman, Guy L. Steele, ...
Many procedurally-oriented problem solving systems can be viewed as performing a mix'ture of computation and deduction, with much of the computation serving to decid e what deductions should be...
Science, Cambridge, Massachusetts. Similarity, Conservatism, and Rationality (2007)
Abstract: We examine some formalizations of the notion of similarity as it appears in learning, and of the notion of conservatism as it appears in reasoning. We show that the underlying...
Abstract: These notes survey modern logic's uses in formalizing subject matters, and its applications in artificial intelligence in particular. We assume familiarity with the elementary concepts...
1994 by Jon Doyle. Inference and Acceptance (2007)
In [8], Henry Kyburg describes the approach he intends to pursue in studying believing and reasoning---an approach based on the agent accepting conclusions on the basis of their probability relative...
Mental Constitutions and Limited Rationality (Extended Abstract) (2007)
One attractive route to developing a theory of limited rationality is through the notion of rational control of reasoning. Rational control is sometimes viewed in terms of rational allocation of...
McDermott has written a fine critique of the logicist views that most reasoning is deductive and that logic is the proper theory of thinking, and I largely agree with his observations. But he laments...
Science, Cambridge, Massachusetts. On Rationality and Learning (2007)
machine learning views learning primarily as a process of representation. We propose instead to view learning as the rational interpretation of experience. This provides a unifying, precise framework...
Lifetime Patient-Centered Health Information Systems..............................4 (2007)
Guardian Angel, Peter Szolovits, Jon Doyle, Jon Doyle, William J. Long, William J. Long, ...
1. WHAT IS ARTIFICIAL INTELLIGENCE? (2007)
The field of artificial intelligence (AI) consists of long-standing intellectual and technological efforts addressing several interrelated scientific and practical aims:---constructing intelligent...
Some Super-Classics of Artificial Intelligence? (2007)
Abstract: Artificial Intelligence serves the field well with its recent retrospective on its most-cited papers, but the method used for identifying these "super-classics " exhibits...
Why I Don't Play the Piano (2007)
My work in the past several years has dealt primarily with the study of the processes used in constructing varieties of problem solving behaviors. I have studied processes ranging from the...
Some Mathematical Problems in Artificial Intelligence (2007)
The purpose of this essay is to sketch a few mathematical problems arising in artificial intelligence, with the hope that some may appeal to mathematicians, logicians, or theoretical computer...
The woman that deliberates is lost. (2007)
Jon Doyle, Lord Tennyson, Robert Burns, A Bard's Epitath, Joseph Addison Cato
The goal of achieving powerful problem solving capabilities leads to the "advice taker" form of program and the associated problem of control. This proposal outlines an approach to...
Jon Doyle. Prolegomena to Any Future Qualitative Physics (2007)
We evaluate the success of the qualitative physics enterprise in automating expert reasoning about physical systems. The field has agreed, in essentials, upon a modeling language for dynamical...
Lifetime Patient-Centered Health Information Systems.............................. 4 (2007)
Guardian Angel, Peter Szolovits, Jon Doyle, Jon Doyle, William J. Long, William J. Long, ...
Part I.......................................................................................................................... 4
Interest-Matching Comparisons using CP-nets (2006)
Andrew W. Wicker, Dr. Jon Doyle
The formation of internet-based social networks has revived research on traditional social network models as well as interest-matching, or match-making, systems. In order to automate or augment the...
DalTREC 2005 QA system Jellyfish: Mark-and-match approach to question answering (2005)
Tony Abou-assaleh, Nick Cercone, Jon Doyle, Chris Whidden
This is the second year that Dalhousie University actively participated in TREC. Three runs were submitted for the Question Answering track. Our results are below the median; however, they’re...
DalTREC 2005 QA System Jellyfish: Mark-and-Match Approach to Question Answering (2005)
Nick Cercone, Jon Doyle, Chris Whidden
This is the second year that Dalhousie University actively participated in TREC. Three runs were submitted for the Question Answering track. Our results are below the median; however, they're...
High-Performance Knowledge Base Support for Monitoring, Analysis, and Interpretation Tasks (2003)
The Monitoring, Analysis, and Interpretation Tool Arsenal (MAITA) is a knowledge-based tool that helps reduce time and effort of constructing a monitoring system at the start and of modifying an...
UTILITY GUIDED PATTERN MINING BY (2003)
Sandhya Jagannath, R. Wurman Dr, Peng Ning, Dr. Jon Doyle
JAGANNATH, SANDHYA. Utility Guided Pattern Mining (Under the direction of Dr. Jon
Non-monotonic logical systems are logics in which the introduction of new axioms can invalidate old theorems. Such logics are very important in modeling the beliefs of active processes which, acting...
Non-Monotonic Logic I. Revision. (2002)
'Non-montonic' logical systems are logics in which the introduction of new axioms can invalidate old theorems. Such logics are very important in modeling the beliefs of active processes which, acting...
A Selected Descriptor-Indexed Bibliography to the Literature on Belief Revision. (2002)
This article presents an overview of research in an area loosely called belief revision. Belief revision concentrates on the issue of revising systems of beliefs to reflect perceived changes in the...
Three Short Essays on Decisions, Reasons, and Logics, (2002)
This report collects together three short, survey-level essays introducing related approaches to decision-making, reasoning, and logic. The first essay, Making Difficult Decisions, was read to the...
Jon Doyle, Howard Shrobe, Peter Szolovits
c fl Copyright 2000 by the authors Abstract: The Intrusion Detection (ID) community has developed numerous proposals for languages with which to describe signatures of attacks on computers and...
Certified by.......................................................... (2002)
Michael Mcgeachie, Jon Doyle, Arthur C. Smith
Ceteris paribus preference statements concisely represent preferences over outcomes or goals in a way natural to human thinking. Many decision making methods require an efficient method for comparing...
Efficient utility functions for ceteris paribus preferences (2002)
Ceteris paribus (all-else equal) preference statements concisely represent preferences over outcomes or goals in a way natural to human thinking. Although deduction in a logic of such statements can...
Agile monitoring for cyber defense (2001)
The Monitoring, Analysis, and Interpretation Tool Arsenal (MAITA) seeks to support rapid construction and empirical reconfiguration of cyber defense monitoring systems inside the opponent decision...
Event recognition beyond signature and anomaly (2001)
Isaac Kohane, Howard Shrobe, Peter Szolovits, Jon Doyle, Jon Doyle, William Long, ...
Abstract — Notions of signature and anomaly have formed the basis of useful methods in cyber defense, but even in combination provide only weak evidence for recognizing many events of interest. One...
Agile monitoring for cyber defense (2001)
Jon Doyle, Isaac Kohane, William Long, Howard Shrobe, Peter Szolovits
The Monitoring, Analysis, and Interpretation Tool Arsenal (MAITA) seeks to support rapid construction and empirical reconfiguration of cyber defense monitoring systems inside the opponent decision...
Event recognition beyond signature and anomaly (2001)
Jon Doyle, Isaac Kohane, William Long, Howard Shrobe, Peter Szolovits
Abstract | Notions of signature and anomaly have formed the basis of useful methods in cyber defense, but even in combination provide only weak evidence for recognizing many events of interest. One...
Event recognition beyond signature and anomaly (2001)
Jon Doyle, Isaac Kohane, William Long, Howard Shrobe, Peter Szolovits
Abstract — Notions of signature and anomaly have formed the basis of useful methods in cyber defense, but even in combination provide only weak evidence for recognizing many events of interest. One...
Rational decision making (1999)
RATIONAL DECISION MAKING: Choosing among alternatives in a way that "properly " accords with the preferences and beliefs of an individual decision maker or those of a group making a...
AND R.H THOMASON. Background to qualitative decision theory (1999)
Jon Doyle, Richmond H. Thomason
This paper provides an overview of the field of qualitative decision theory: its motivating tasks and issues, its antecedents, and its prospects. Qualitative decision theory studies qualitative...
The Architecture of MAITA - A Tool For Monitoring, Analysis, and Interpretation (1999)
Jon Doyle, Isaac Kohane, William Long, Peter Szolovits
: This report describes the aims, functions, and organization of the MAITA system for knowledge-based construction, adaptation, and control of networks of monitoring processes. DRAFT Version of...
Background to Qualitative Decision Theory (1999)
Jon Doyle, Richmond H. Thomason
This paper provides an overview of the field of qualitative decision theory: its motivating tasks and issues, its antecedents, and its prospects. Qualitative decision theory studies qualitative...
Adaptive Knowledge-Based Monitoring for Information Assurance (1998)
Doyle, Jon, Kohane, Isaac, Long, William J., Szolovits, Peter
This is the main text of a proposal submitted on October 30, 1998 to the Defense Advanced Research Projects Agency in response to BAA #98-34 "Information Assurance (IA) of the Next Generation...
Strategic directions for artificial intelligence (1996)
Jon Doyle, Thomas Dean, Et Al, Thomas Dean (co, Johan De Kleer, Thomas Dietterich, ...
The field of artificial intelligence (AI) consists of long-standing intellectual and technological efforts addressing several interrelated scientific and practical aims: —constructing intelligent...
Efficiency dictates that plans for large-scale distributed activities be revised incrementally, with parts of plans being revised only if the expected utility of identifying and revising the subplans...
Strategic Directions in Computing Research (1996)
Computing Surveys is commemorating the 50th anniversary of the ACM and of the computing discipline in two special issues. The March 1996 issue, on "Perspectives in Computer Science,...
Strategic directions in computing research (1996)
Computing Surveys is commemorating the 50th anniversary of the ACM and of the computing discipline in two special issues. The March 1996 issue, on “Perspectives in Computer Science, ” examined...
The Childrens ’ Hospital (Boston) (1996)
Jon Doyle, Isaac Kohane, William Long, Peter Szolovits
Contents A Abstract 2 B Innovative claims 3 C Technical rationale 5
Reasoned assumptions and rational psychology (1994)
Logical epistemology unduly sways theories of thinking that formulate problems of nonmonotonic reasoning as issues of nondeductive operations on logically phrased beliefs, because the fundamental...
Representing Preferences as Ceteris Paribus Comparatives (1994)
Decision-theoretic preferences specify the relative desirability of all possible outcomes of alternative plans. In order to express general patterns of preference holding in a domain, we require a...
A reasoning economy for planning and replanning (1994)
Major military operations and other large-scale activities naturally involve competitions for resources that must be managed effectively to ensure overall success. Since plan revisions may change the...
Advances in Decision-Theoretic AI: Limited Rationality and Abstract Search (1994)
Jon Doyle, Frederic R. Morgenthaler, Michael Patrick Frank, Michael Patrick Frank
Search by Michael Patrick Frank S.B., Symbolic Systems Stanford University, 1991 Submitted to the Department of Electrical Engineering and Computer Science in partial fulfillment of the requirements...
Reasoned Assumptions and Rational Psychology (1994)
Logical epistemology unduly sways theories of thinking that formulate problems of nonmonotonic reasoning as issues of nondeductive operations on logically phrased beliefs, because the fundamental...
Reasoned Assumptions and Rational Psychology (1994)
Logical epistemology unduly sways theories of thinking that formulate problems of nonmonotonic reasoning as issues of nondeductive operations on logically phrased beliefs, because the fundamental...
Representing Preferences as Ceteris Paribus Comparatives (1994)
Decision-theoretic preferences specify the relative desirability of all possible outcomes of alternative plans. In order to express general patterns of preference holding in a domain, we require a...
with Computation Markets (1994)
Nathaniel Rockwood Bogan, Ch Airman, Jon Doyle, R. Morgenthaler, Nathaniel Rockwood Bogan
anId
Reasoned assumptions and rational psychology (1994)
Logical epistemology unduly sways theories of thinking that formulate problems of nonmonotonic reasoning as issues of nondeductive operations on logically phrased beliefs, because the fundamental...
Reason Maintenance and Belief revision: Foundations vs. Coherence Theories (1992)
Recent years have seen considerable work on two approaches to belief revision: the so-called foundations and coherence approaches. The foundations approach supposes that a rational agent derives its...
Modular utility representation for decision-theoretic planning (1992)
Specification of objectives constitutes a central issue in knowledge representation for planning. Decision-theoretic approaches require that representations of objectives possess a firm semantics in...
Rationality and its roles in reasoning (1992)
The economic theory of rationality promises to equal mathematical logic in its importance for the mechanization of reasoning. We survey the growing literature on how the basic notions of probability,...
Modular Utility Representation for Decision-Theoretic Planning (1992)
Specification of objectives constitutes a central issue in knowledge representation for planning. Decision-theoretic approaches require that representations of objectives possess a firm semantics in...
Impediments to universal preference-based default theories (1991)
Research on nonmonotonic and default reasoning has identi ed several important criteria for preferring alternative default inferences. The theories of reasoning based on each of these criteria may...
Preferential semantics for goals (1991)
Goals, as typically conceived in AI planning, provide an insufficient basis for choice of action, and hence are deficient as the sole expression of an agent's objectives. Decision-theoretic...
Rational belief revision (preliminary report (1991)
Theories of rational belief revision recently
Impediments to universal preference-based default theories (1991)
Research on nonmonotonic and default reasoning has identified several important criteria for preferring alternative default inferences. The theories of reasoning based on each of these criteria may...
Rational belief revision (1991)
Theories of rational belief revision recently proposed by Gardenfors and Nebel illuminate many important issues but impose unnecessarily strong standards for correct revisions and make strong...
Levesque and Brachman argue that in order to provide timely and correct responses in the most critical applications, general purpose knowledge representation systems should restrict their languages...
A Logic of Relative Desire (1991)
Jon Doyle, Yoav Shoham, Michael P. Wellman
: Although many have proposed formal characterizations of belief structures as bases for rational action, the problem of characterizing rational desires has attracted little attention. AI relies...
Preferential Semantics for Goals (1991)
Goals, as typically conceived in AI planning, provide an insufficient basis for choice of action, and hence are deficient as the sole expression of an agent's objectives. Decision-theoretic...
A Logic of Relative Desire (1991)
Preliminary Report, Jon Doyle, Yoav Shoham, Michael P. Wellman
: Although many have proposed formal characterizations of belief structures as bases for rational action, the problem of characterizing rational desires has attracted little attention. AI relies...
Rational distributed reason maintenance for planning and replanning of large-scale activities (1990)
Efficiency dictates that plans for large-scale distributed activities be revised incrementally, with parts of plans being revised only if the expected utility of identifying and revising the subplans...
Rational Distributed Reason Maintenance for Planning and Replanning of Large-Scale Activities (1990)
Efficiency dictates that plans for large-scale distributed activities be revised incrementally, with parts of plans being revised only if the expected utility of identifying and revising the subplans...
Stochastic Analysis of Qualitative Dynamics (1989)
Commonsense sometimes predicts events to be likely or unlikely rather than merely possible. We extend methods of qualitative reasoning to predict the relative likelihoods of possible qualitative...
Constructive Belief and Rational Representation (1989)
It is commonplace in artificial intelligence to divide an agent's explicit beliefs into two parts: the beliefs explicitly represented or manifest in memory, and the implicitly represented or...
Stochastic Analysis of Qualitative Dynamics (1989)
We extend qualitative reasoning with estimations of the relative likelihoods of the possible qualitative behaviors. We estimate the likelihoods by viewing the dynamics of a system as a Markov chain...
Reasoning, representation, and rational self-government (1989)
It is commonplace in artificial intelligence to draw a distinction between the explicit knowledge appearing in an agent's memory and the implicit knowledge it represents. Many AI theories of...
Big problems for artificial intelligence (1988)
Abstract: We compare the big problems studied in artificial intelligence and related fields in order to understand some major changes---both internal and external---recently suffered by AI. The...
On universal theories of defaults (1988)
Abstract: Though unifications of some of the numerous theories of default reasoning have been found, we add to doubts about the existence of universal theories by viewing default reasoning from the...
Circumscription and implicit definability (1985)
Abstract: We explore some connections between the technique of circumscription in artificial intelligence and the notion of implicit definition in mathematical logic. Implicit definition can be taken...
Reasoned Assumptions and Pareto Optimality (1985)
: Default and non-monotonic inference rules are not really epistemological statements, but are instead desires or preferences of the agent about the makeup of its own mental state (epistemic or...
Expert systems without computers, or theory and trust in artificial intelligence (1984)
Abstract: Knowledge engineers qualified to build expert systems are currently in short supply. We propose that production of useful and trustworthy expert systems can be significantly increased by...
Some theories of reasoned assumptions: An essay in rational psychology (1983)
not be interpreted as representing the official policies,
A society of mind: Multiple perspectives, reasoned assumptions, and virtual copies (1983)
Abstract: Little is clearly understood about the similarities, differences, and comparative computational and representational advantages of the many proposals extant for organizing minds into...
Some theories of reasoned assumptions: An essay in rational psychology (1983)
Agency or the Government of the United States of America. We examine several formulations of the common practice of jumping to conclusions when actions demand decisions but solid knowledge fails....
Admissible state semantics for representational systems (1983)
Abstract: Several authors have proposed specifying semantics for representational systems by translating them into logic. Unfortunately, such translations often introduce unnecessary detail and...
What should AI want from the supercomputers (1983)
Abstract: While some proposals for supercomputers increase the powers of existing machines like the CDC and Cray supercomputers, others suggest radical changes of architecture to speed up...
Abstract: Probabilistic rules and their variants have recently supported several successful applications of expert systems, in spite of the difficulty of committing informants to particular...
The ins and outs of reason maintenance (1983)
Abstract: To progress significantly beyond current reason maintenance systems, we must formulate their structure and intended behavior precisely enough to analyze computational complexities and...
The foundations of psychology (1982)
whose life is contagious We compare certain trains of thought in philosophy of mind and artificial intelligence which lead to a remarkable convergence of ideas. Demands from philosophy that...
A Model for Deliberation, Action, and Introspection (1980)
This thesis investigates the problem of controlling or directing the reasoning and actions of a computer program. The basic approach explored is to view reasoning as a species of action, so that a...
A Model for Deliberation, Action, and Introspection (1980)
This thesis investigates the problem of controlling or directing the reasoning and actions of a computer program. The basic approach explored is to view reasoning as a species of action, so that a...
A Selected Descriptor-Indexed Bibliography to the Literature on Belief Revision (1980)
This article presents an overview of research in an area loosely called belief revision. Belief revision concentrates on the issue of revising systems of beliefs to reflect perceived changes in the...
A Selected Descriptor-Indexed Bibliography to the Literature on Belief Revision (1980)
This article presents an overview of research in an area loosely called belief revision. Belief revision concentrates on the issue of revising systems of beliefs to reflect perceived changes in the...
A model for deliberation, action, and introspection /--by Jon Doyle. (1980)
Supervised by Gerald Jay Sussman.
A model for deliberation, action, and introspection (1980)
Jon Doyle, Jon Doyle, Jon Doyle, Gerald Jay Sussman
reproduced or transmitted in any form or by any means, electronic or mechanical, including
Jon Doyle, Jon Doyle, Jon Doyle, Gerald Jay Sussman
transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage or retrieval system, without permission in writing from the author.
A Truth Maintenance System (1979)
To choose their actions, reasoning programs must be able to make assumptions and subsequently revise their beliefs when discoveries contradict these assumptions. The Truth Maintenance System (TMS) is...
A Truth Maintenance System (1979)
To choose their actions, reasoning programs must be able to make assumptions and subsequently revise their beliefs when discoveries contradict these assumptions. The Truth Maintenance System (TMS) is...
A Glimpse of Truth Maintenance (1978)
To choose their actions, reasoning programs must be able to draw conclusions from limited information and subsequently revise their beliefs when discoveries invalidate previous assumptions. A truth...
A Glimpse of Truth Maintenance (1978)
To choose their actions, reasoning programs must be able to draw conclusions from limited information and subsequently revise their beliefs when discoveries invalidate previous assumptions. A truth...
"Non-monotonic" logical systems are logics in which the introduction of new axioms can invalidate old theorems. Such logics are very important in modeling the beliefs of active processes which,...
"Non-monotonic" logical systems are logics in which the introduction of new axioms can invalidate old theorems. Such logics are very important in modeling the beliefs of active processes which,...
A Glimpse of Truth Maintenance (1978)
Many procedurally-oriented problem solving systems can be viewed as performing a mixture of computation and deduction, with much of the computation serving to decide what deductions should be made....
A Glimpse of Truth Maintenance (1978)
Many procedurally-oriented problem solving systems can be viewed as performing a mixture of computation and deduction, with much of the computation serving to decide what deductions should be made....
AMORD: A Deductive Procedure System (1978)
Kleer, Johan De, Doyle, Jon, Rich, Charles, Sussman, Gerald Jay
We have implemented an interpreter for a rule-based system, AMORD, based on a non-chronological control structure and a system of automatically maintained data-dependencies. The purpose of this paper...
Truth Maintenance Systems for Problem Solving (1978)
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...
Truth Maintenance Systems for Problem Solving (1978)
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...
AMORD: A Deductive Procedure System (1978)
Kleer, Johan De, Doyle, Jon, Rich, Charles, Sussman, Gerald Jay
We have implemented an interpreter for a rule-based system, AMORD, based on a non-chronological control structure and a system of automatically maintained data-dependencies. The purpose of this paper...
Truth Maintenance Systems for problem solving /--by Jon Doyle. (1978)
Revision of thesis (M.S.)--Massachusetts Institute of Technology.
Hierarchy in Knowledge Representations (1977)
This research was conducted at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the Laboratory's artificial intelligence research is provided in part...
Hierarchy in Knowledge Representations (1977)
This research was conducted at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the Laboratory's artificial intelligence research is provided in part...
AMORD: A Deductive Procedure System (1977)
Sussman, Gerald Jay, Steele, Guy L. Jr., Rich, Charles, Doyle, Jon, De Kleer, Johan
This research was conducted at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the Laboratory's artificial intelligence research is provided in part...
AMORD: A Deductive Procedure System (1977)
Sussman, Gerald Jay, Steele, Guy L. Jr., Rich, Charles, Doyle, Jon, De Kleer, Johan
This research was conducted at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the Laboratory's artificial intelligence research is provided in part...
Explicit Control of Reasoning (1977)
Kleer, Johan De, Doyle, Jon, Sussman, Gerald Jay
The construction of expert problem-solving systems requires the development of techniques for using modular representations of knowledge without encountering combinatorial explosions in the solution...
Explicit Control of Reasoning (1977)
Kleer, Johan De, Doyle, Jon, Sussman, Gerald Jay
The construction of expert problem-solving systems requires the development of techniques for using modular representations of knowledge without encountering combinatorial explosions in the solution...
Truth maintenance systems for problem solving. (1977)
Thesis. 1977. M.S.--Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science.
Truth maintenance systems for problem solving. (1977)
Thesis. 1977. M.S.--Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science.
Abstract: EXPLICIT CONTROL OF REASONING (1977)
Johan De Kleer, Jon Doyle, Guy L. Steele, Gerald Jay Sussman
The construction of expert problem-solving systems requires the development of techniques for using modular representations of knowledge without encountering combinatorial explosions in the solution...
The Use of Dependency Relationships in the Control of Reasoning (1976)
Research reported herein was conducted at the Artificial Intelligence Laboratory, a Massachusetts Institute of Technology research program supported in part by the Advanced Research Projects Agency...
The Use of Dependency Relationships in the Control of Reasoning (1976)
Research reported herein was conducted at the Artificial Intelligence Laboratory, a Massachusetts Institute of Technology research program supported in part by the Advanced Research Projects Agency...
Analsysis by Propagation of Constraints in Elementary Geometry Problem Solving (1976)
This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the laboratory's artificial intelligence research is provided...
Analsysis by Propagation of Constraints in Elementary Geometry Problem Solving (1976)
This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the laboratory's artificial intelligence research is provided...
The use of dependency relationships in the control of reasoning. Tech. rep. Working Paper 133 (1976)
Several recent problem-solving programs have indicated improved methods for controlling program actions. Some of these methods operate by analyzing the time-independent antecedent-consequent...
This paper presents an analysis of a simple treestructured disjoint set Union-Find algorithm, and shows that this algorithm requires between n and 2n steps on the average to execute a sequence of n...
Jon Doyle, Cloe Esther Doyle, Teacher Traveler Tante
should not be interpreted as representing the official policies,