WorldCat Identities

Doyle, Jon

Overview
Works: 19 works in 56 publications in 1 language and 128 library holdings
Classifications: QA76.952, 510.7808
Publication Timeline
Key
Publications about  Jon Doyle Publications about Jon Doyle
Publications by  Jon Doyle Publications by Jon Doyle
Most widely held works by Jon Doyle
A model for deliberation, action, and introspection by Jon Doyle ( Book )
6 editions published in 1980 in English and Undetermined and held by 17 WorldCat member libraries worldwide
Truth Maintenance Systems for problem solving by Jon Doyle ( Book )
8 editions published between 1978 and 1979 in English and Undetermined and held by 14 WorldCat member libraries worldwide
The thesis developed in this paper 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. This report describes techniques for representing, recording, maintaining, and using justifications for beliefs. Also presented is an annotated implementation of a domain-independent program
Non-monotonic logic I by Drew V McDermott ( Book )
6 editions published between 1978 and 1979 in English and Undetermined and held by 8 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
The ins and outs of reason maintenance by Jon Doyle ( Book )
3 editions published in 1983 in English and Undetermined and held by 8 WorldCat member libraries worldwide
Implicit knowledge and rational representation by Jon Doyle ( Book )
2 editions published in 1988 in Undetermined and English and held by 7 WorldCat member libraries worldwide
Artificial intelligence and rational self-government by Jon Doyle ( Book )
2 editions published in 1988 in Undetermined and English and held by 7 WorldCat member libraries worldwide
Similarity, conservatism, and rationality by Jon Doyle ( Book )
2 editions published in 1988 in Undetermined and English and held by 7 WorldCat member libraries worldwide
A society of mind : multiple perspectives, reasoned assumptions, and virtual copies by Jon Doyle ( Book )
3 editions published in 1983 in English and Undetermined and held by 7 WorldCat member libraries worldwide
Circumscription and implicit definability by Jon Doyle ( Book )
2 editions published in 1984 in Undetermined and English and held by 6 WorldCat member libraries worldwide
Expert systems without computers or theory and trust in artificial intelligence by Jon Doyle ( Book )
3 editions published in 1984 in English and Undetermined and held by 6 WorldCat member libraries worldwide
On rationality and learning by Jon Doyle ( Book )
2 editions published in 1988 in Undetermined and English and held by 6 WorldCat member libraries worldwide
A glimpse of truth maintenance by Jon Doyle ( Book )
3 editions published in 1978 in English and held by 6 WorldCat member libraries worldwide
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. This results in bits and pieces of deductions being strewn throughout the program text and execution. This paper describes a problem solver subsystem called a truth maintenance system which collects and maintains these bits of deductions. Automatic functions of the thruth maintenance system then use these pieces of 'proofs' to consistently update a data base of program beliefs and to perform a powerful form of backtracking called dependency-directed backtracking. (Author)
Reasoned assumptions and Pareto optimality by Jon Doyle ( Book )
3 editions published in 1985 in English and Undetermined and held by 5 WorldCat member libraries worldwide
What should AI want from the supercomputers? by Jon Doyle ( Book )
2 editions published in 1983 in Undetermined and English and held by 5 WorldCat member libraries worldwide
What is rational psychology? : toward a modern mental philosophy by Jon Doyle ( Book )
1 edition published in 1983 in English and held by 4 WorldCat member libraries worldwide
The foundations of psychology : a logico-computational inquiry into the concept of mind by Jon Doyle ( Book )
2 editions published in 1982 in Undetermined and English and held by 4 WorldCat member libraries worldwide
Methodological simplicity in expert system construction : the case of judgments and reasoned assumptions by Jon Doyle ( Book )
2 editions published in 1983 in English and held by 4 WorldCat member libraries worldwide
Admissible state semantics for representational systems by Jon Doyle ( Book )
3 editions published in 1983 in English and Undetermined and held by 4 WorldCat member libraries worldwide
On universal theories of defaults by Jon Doyle ( Book )
1 edition published in 1988 in English 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.86 (from 0.47 for On univers ... to 0.94 for Non-monoto ...)
Languages
English (41)