close
1.

図書

図書
Zdzisław Hippe ; [translated by Andrzej Przyjazny]
出版情報: Amsterdam : Elsevier , Warszawa : Polish Scientific Publishers, 1990  xii, 278 p. ; 25 cm
シリーズ名: Studies in physical and theoretical chemistry ; 73
所蔵情報: loading…
2.

図書

図書
sponsored by Solid Mechanics/Machines Systems Group of the Institution of Mechanical Engineers in association with Institution of Electrical Engineers
出版情報: Bury St. Edmunds : Published for the Institution of Mechanical Engineers by Mechanical Engineering Publications, 1990  280 p. ; 30 cm
シリーズ名: Proceedings of the Institution of Mechanical Engineers
IMechE conference publications ; 1990-8
所蔵情報: loading…
3.

図書

図書
Bernhard Nebel
出版情報: Berlin ; Tokyo : Springer Verlag, c1990  x, 270 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 422 . Lecture notes in artificial intelligence
所蔵情報: loading…
4.

図書

図書
Roberto Serra, Gianni Zanarini
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990  x, 205 p. ; 24 cm
所蔵情報: loading…
5.

図書

図書
edited by Henry E. Kyburg, Jr., Ronald P. Loui, and Greg N. Carlson
出版情報: Dordrecht : Kluwer Academic Publishers, c1990  xxii, 423 p. ; 23 cm
シリーズ名: Studies in cognitive systems ; v. 5
所蔵情報: loading…
6.

図書

図書
edited by Ranan B. Banerji
出版情報: Amsterdam ; Tokyo : North-Holland , New York, N.Y., U.S.A. : Distributors for the United States and Canada, Elsevier Science Pub. Co., 1990  xi, 437 p. ; 25 cm
シリーズ名: Studies in computer science and artificial intelligence ; 6
所蔵情報: loading…
7.

図書

図書
edited by Robert A. Meersman, Zhongzhi Shi, Chen-Ho Kung
出版情報: Amsterdam ; Tokyo : North-Holland , New York : Distributors for the U.S. and Canada, Elsevier, 1990  xiii, 583 p. ; 23 cm
所蔵情報: loading…
8.

図書

図書
edited by Derek Partridge and Yorick Wilks
出版情報: Cambridge [England] ; New York : Cambridge University Press, 1990  xiv, 498 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
List of contributors
Preface
Acknowledgements
Introduction / Part I:
What is AI anyway? / Roger C. Schank1:
What kind of information processing is intelligence? / B. Chandrasekaran2:
The Formal Foundations of AI / Part II:
Non-monotonic reasoning versus logic programming: a new perspective / Teodor C. Przymusinski3:
Prolegomena to a theory of mechanized formal reasoning / Richard W. Weyhrauch4:
Levels of Theory / Part III:
AI: a personal view / David Marr5:
Has AI helped psychology? / Margaret A. Boden6:
What's in an AI program? / Derek Partridge7:
Programs and Theories / Part IV:
One smal head: models and theories / Yorick Wilks8:
The nature of AI principles / Alan Bundy ; Stellan Ohlsson9:
The Role of Representations / 10:
Thinking machines: can there be? are we? / Terry Winograd11:
Evolution, error, and intentionality / Daniel C. Dennett12:
The Role of Programs in AI / Part VI:
What kind of fields is AI? / 13:
Programs in the search for intelligent machines: the mistaken foundations of AI / Eric Dietrich14:
Rational Reconstruction as an / AI MethodologyPart VII:
The novelties of AI: theories, rograms and rational reconstructions / J. A. Campbell15:
AM: a case study in AI methodology / G. D. Ritchie ; F. K. Hanna16:
Is AI Special in Regard to its Methodology? / Part VIII:
Is there anything special about AI? / Roger M. Needham17:
What sort of a thing is an AI experiment? / Karen Sparck Jones18:
We need better standards for AI research / John McCarthy19:
Does Connectionism Provide a New Paradigm for AI? / Part IX:
Why there still has to be a language of thought / Jerry A. Fodor20:
Connectionism and the foundations of AI Paul Smolensky / 21:
Some comments on Smolensky / Fodor Yorick Wilks22:
Representation and high-speed computation in neural networks / Paul M. Churchland23:
The Role of Correctness in AI / Part X:
Does AI have a methodology different from software engineering? / 24:
AI, computer science and education / Ranan Banerji25:
Limitations on Current AI Technology / Part XI:
The challenge of open systems / Carl Hewitt26:
Towards a reconciliation of phenomenology and AI / Stuart E. Dreyfus ; Hubert L. Druyfus27:
The superarticulacy phenomenon in the context of software manufacture / Donald Michie28:
Annotated Bibliography on the Foundations of AI Imre Balogh / Brian M. SlatorPart XII:
Index of names
List of contributors
Preface
Acknowledgements
9.

図書

図書
edited by Wade Webster and Ranjeet Uttamsingh
出版情報: San Diego, Calif. : Simulation Councils, 1990  xi, 298, 31 p. ; 29 cm
シリーズ名: Simulation series ; v. 22, no. 3
所蔵情報: loading…
10.

図書

図書
Fahiem Bacchus
出版情報: Cambridge, Mass. : MIT Press, c1990  233 p. ; 24 cm
シリーズ名: The MIT Press series in artificial intelligence
所蔵情報: loading…
11.

図書

図書
Daniel P. Miranker
出版情報: London : Pitman , San Mateo, Calif. : Morgan Kaufmann Publishers, 1990  xiii, 144 p. ; 24 cm
シリーズ名: Research notes in artificial intelligence
所蔵情報: loading…
12.

図書

図書
Ernest Davis
出版情報: San Mateo, CA : Morgan Kaufmann Publishers, c1990  xxiii, 515 p. ; 24 cm
シリーズ名: The Morgan Kaufmann series in representation and reasoning ; . Books
所蔵情報: loading…
13.

図書

図書
Mark Derthick
出版情報: London : Pitman , San Mateo, Calif. : Morgan Kaufmann Publishers, 1990  166 p. ; 25 cm
シリーズ名: Research notes in artificial intelligence
所蔵情報: loading…
14.

図書

図書
editor, M. Kleiber
出版情報: New York : E. Horwood, 1990  254 p. ; 25 cm
シリーズ名: Ellis Horwood series in mechanical engineering
所蔵情報: loading…
15.

図書

図書
Bartlett W. Mel
出版情報: Boston ; Tokyo : Academic Press, c1990  xvi, 165 p. ; 24 cm
シリーズ名: Perspectives in artificial intelligence ; v. 7
所蔵情報: loading…
16.

図書

図書
Matthew Zeidenberg
出版情報: New York : E. Horwood, 1990  268 p. ; 25 cm
シリーズ名: Ellis Horwood series in artificial intelligence
所蔵情報: loading…
17.

図書

図書
Lutz Plümer
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990  viii, 142 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 446 . Lecture notes in artificial intelligence
所蔵情報: loading…
18.

図書

図書
Igor Aleksander and Helen Morton
出版情報: London : Chapman and Hall, c1990  xix, 240 p. ; 24 cm
所蔵情報: loading…
19.

図書

図書
Witold Łukaszewicz
出版情報: New York : Ellis Horwood, 1990  328 p. ; 25 cm
シリーズ名: Ellis Horwood series in artificial intelligence
所蔵情報: loading…
20.

図書

図書
Léa Sombé
出版情報: New York : Wiley, c1990  p. 324-472 ; 26 cm
シリーズ名: Wiley professional computing
所蔵情報: loading…
目次情報: 続きを見る
Why New Logics Are Needed
Default Logic
Nonmonotonic Modal Logics
Closed World Assumption and Circumscription
A Nonmonotonic Logic Based on Suppositions
Conditional Logics and `Rough22 Implications
Logics of Uncertainty
Fuzzy Logic
Numerical Quantifiers and Conditional Probabilities
Causal Models
Reasoning by Analogy
Truth-Maintenance Systems
Theories of Action and the Frame Problem
Revision Theory
A Tentative Conclusion
References
Index
Why New Logics Are Needed
Default Logic
Nonmonotonic Modal Logics
21.

図書

図書
Bernard P. Zeigler
出版情報: Boston ; Tokyo : Academic Press, c1990  xvii, 395 p. ; 24 cm
所蔵情報: loading…
22.

図書

図書
Patrick K. Simpson
出版情報: New York ; Tokyo : Pergamon Press, 1990  xiii, 209 p. ; 26 cm
シリーズ名: Neural networks : research and applications
所蔵情報: loading…
23.

図書

図書
edited by Patrick Henry Winston with Sarah Alexandra Shellard
出版情報: Cambridge, Mass. : MIT Press, c1990  2 v. ; 23-24 cm
シリーズ名: The MIT Press series in artificial intelligence
所蔵情報: loading…
24.

図書

図書
Jude W. Shavlik
出版情報: London : Pitman , San Mateo, Calif. : Morgan Kaufmann, 1990  219 p. ; 25 cm
シリーズ名: Research notes in artificial intelligence
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼