WorldCat Identities

McDermott, Drew V.

Overview
Works: 51 works in 134 publications in 4 languages and 2,853 library holdings
Genres: Conference proceedings  Textbooks 
Classifications: Q335, 001.535
Publication Timeline
Key
Publications about  Drew V McDermott Publications about Drew V McDermott
Publications by  Drew V McDermott Publications by Drew V McDermott
Most widely held works about Drew V McDermott
 
Most widely held works by Drew V McDermott
Introduction to artificial intelligence by Eugene Charniak ( Book )
27 editions published between 1984 and 1991 in 3 languages and held by 1,086 WorldCat member libraries worldwide
Mind and mechanism by Drew V McDermott ( )
13 editions published in 2001 in English and held by 1,017 WorldCat member libraries worldwide
"In Mind and Mechanism, Drew McDermott takes a computational approach to the mind-body problem (how it is that a purely physical entity, the brain, can have experiences). He begins by demonstrating the falseness of dualist approaches, which separate the physical and mental realms. He then surveys what has been accomplished in artificial intelligence, clearly differentiating what we know how to build from what we can imagine building. McDermott then details a computational theory of consciousness - claiming that the mind can be modeled entirely in terms of computation - and deals with various possible objections. He also discusses cultural consequences of the theory, including its impact on religion and ethics."--BOOK JACKET
Artificial intelligence programming by Eugene Charniak ( Book )
12 editions published between 1979 and 2014 in English and held by 607 WorldCat member libraries worldwide
Artificial intelligence research has thrived in the years since this best-selling AI classic was first published. The revision encompasses these advances by adapting its coding to Common Lisp, the well-documented language standard, and by bringing together even more useful programming tools. Today's programmers in AI will find this volume's superior coverage of programming techniques and easily applicable style anything but common
The CONNIVER reference manual by Drew V McDermott ( Book )
8 editions published between 1972 and 1974 in English and Undetermined and held by 15 WorldCat member libraries worldwide
The manual is an introduction and reference to the latest version of the Conniver programming language, an artificial intelligence language with general control and data-base structures. (Author)
Ren gong zhi hui gai lun by Cha ni ke ( Book )
1 edition published in 1989 in Chinese and held by 11 WorldCat member libraries worldwide
Assimilation of new information by a natural language-under-standing system by Drew V McDermott ( Book )
2 editions published in 1974 in English and held by 11 WorldCat member libraries worldwide
The report describes a program, called TOPLE, which uses a procedural model of the world to understand simple declarative sentences. It accepts sentences in a modified predicate calculus symbolism and uses plausible reasoning to visualize scenes, resolve ambiguous pronoun and noun phrase references, explain events, and make conditional predictions. Because it does plausible deduction, with tentative conclusions, it must contain a formalism for describing its reasons for its conclusions and what the alternatives are. When an inconsistency is detected in its world model, it uses its recorded information to resolve it, one way or another. It uses simulation techniques to make deductions about other creatures' motivation and behavior, assuming they are goal-oriented beings like itself. (Author)
Flexibility and efficiency in a computer program for design circuits by Drew V McDermott ( Book )
3 editions published in 1977 in English and held by 9 WorldCat member libraries worldwide
This report is concerned with the problem of achieving flexibility (additivity, modularity) and efficiency (performance, expertise) simultaneously in one AI program. It deals with the domain of elementary electronic circuit design. The proposed solution is to provide a deduction-driven problem solver with built-in control-structure concepts. This problem solver and its knowledge base in the application areas of design and electronics are described. The program embodying it is being used to explore the solution of some modest problems in circuit design. It is concluded that shallow reasoning about problem-solver plans is necessary for flexibility, and can be implemented with reasonable efficiency. (Author)
Why conniving is better than planning by Gerald Jay Sussman ( Book )
2 editions published in 1972 in English and held by 8 WorldCat member libraries worldwide
Quarterly Progress Report on Contract N00014-91-J-1577 (Yale University) ( )
8 editions published between 1991 and 1993 in English and held by 8 WorldCat member libraries worldwide
We have designing and implementing a representation scheme and the basic planning algorithms for handling declarative goals in a reactive planner. The theory underlying the planning algorithms is based on three main paradigms: transformational planning, decision theory, and time-dependent computations. Knowledge about goals and the robot control language is accessed through transformation rules that define semantic relationships between constructs in the plan representation language and associations between goals and canned plans. The computational theory deals with uncertainty by applying estimation methods to determine the robustness of plans. The tradeoffs between planning and acting are weighed by applying time-dependent algorithms for testing the applicability and utility of transformation rules with respect to current situation and the preferences of the robot. Several features of the planar make it attractive for robot planning. The time-dependent planning algorithms guarantee that the planar proposes executable plans for any allocation of computation time. The approach is compatible with a general transformational framework. And, finally, decisions are controlled by explicitly modelled probabilities and utilities
Very large Planner-type data bases by Drew V McDermott ( Book )
3 editions published in 1975 in English and Undetermined and held by 6 WorldCat member libraries worldwide
Special volume on planning and scheduling ( Book )
2 editions published in 1995 in English and held by 6 WorldCat member libraries worldwide
The DUCK manual by Drew V McDermott ( Book )
1 edition published in 1985 in English and held by 4 WorldCat member libraries worldwide
Truth maintenance systems by David A McAllester ( Book )
2 editions published between 1988 and 1998 in English and held by 4 WorldCat member libraries worldwide
Spatial inferences with ground, metric formulas on simple objects by Drew V McDermott ( Book )
2 editions published in 1980 in English and held by 4 WorldCat member libraries worldwide
Non-monotonic logic I by Drew V McDermott ( Book )
5 editions published between 1978 and 1979 in English and Undetermined and held by 4 WorldCat member libraries worldwide
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 in the presence of incomplete information, must make and subsequently revise predictions in light of new observations. The motivation and history of such logics are presented. Model and proof theories, a proof procedure, and applications for one important non-monotonic logic are developed. In particular, the completeness of the non-monotonic predicate calculus and the decidability of the non-monotonic sentential calculus are proven. Also discussed are characteristic properties of this logic and its relationship to stronger logics, logics of incomplete information, and truth maintenance systems
Temporal reasoning and default logics by Steve Hanks ( Book )
2 editions published in 1985 in English and held by 3 WorldCat member libraries worldwide
This document presents axioms to represent some simple concepts in temporal reasoning: events occuring at points in time, facts holding true over time, events causing facts to begin, facts causing contradictory facts to cease, and facts tending to remain true unless explicitly forced to cease. To express this last notion the authors couch the axioms in a default logic: they alternatively consider the logics of McDermott and Doyle, of Reiter, and of McCarthy. This document defines precisely (through a computer program and its formal description) the conclusions its authors intend be drawn from these axioms, given a particular temporal state of affairs. They prove, however, that these conclusions are not deductions licensed by any of the above default logics. Further analysis leads to the conclusion that these logics are inherently incapable of representing this particular kind of default reasoning. (Author)
Transformational planning of reactive behavior by Drew V McDermott ( Book )
2 editions published in 1992 in English and held by 3 WorldCat member libraries worldwide
Reactive plans are plans that include steps for sensing the world and coping with the data so obtained. We investigate the application of Al planning techniques to plans of this sort in a simple simulated world. To achieve fast reaction times, we assume that the agent starts with a default reactive plan, while the planner attempts to improve it by applying plan transformations, thus searching through the space of transformed plans. When the planner has what it believes to be a better plan, it swaps the new plan into the agent's controller. The plans are written in a reactive language that allows for this kind of swapping. The language allows for concurrency, and hence, truly 'nonlinear' plans. The planner evaluates plans by projecting them, that is, generating scenarios for how execution might go. The resulting projections give estimates of plan values, but also provide clues to how the plan might be improved. These clues are unearthed by critics that go through the scenario sets, checking how the world state and the agent state evolved. The critics suggest plan transformations with associated estimates of how much they will improve the plan. Plan transformations must be able to edit code trees in such a way that the changes are orthogonal and reversible whenever possible. The system has been tested by comparing the performance of the agent with and without planning. Preliminary results allow us to conclude that the planner can be fast and directed enough to generate improved plans in a timely fashion, and that the controller can often cope with a sudden shift of plan
Finding objects with given spatial properties by Drew V McDermott ( Book )
1 edition published in 1981 in English and held by 3 WorldCat member libraries worldwide
L'intelligenza artificiale soddisfa la stupidità naturale by Drew V McDermott ( )
in Italian and held by 3 WorldCat member libraries worldwide
Non-monotonic logic II : non-monotonic modal theories by Drew V McDermott ( Book )
3 editions published in 1980 in English and Undetermined and held by 3 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.59 (from 0.00 for Quarterly ... to 0.94 for Non-monoto ...)
Alternative Names
Mac Dermott Drew V.
MacDermott Drew V.
MacDermott, Drew V. 1949-
Mc Dermott Drew V.
Mc Dermott, Drew V. 1949-
McDermott, D.
McDermott, Drew
McDermott, Drew 1949-
McDermott, Drew Vincent 1949-
Languages
English (91)
Italian (4)
Spanish (1)
Chinese (1)
Covers