Temporal logic : from ancient ideas to artificial intelligence

＜図書＞
Temporal logic : from ancient ideas to artificial intelligence

責任表示	by Peter Øhrstrøm and Per F.V. Hasle
シリーズ	Studies in linguistics and philosophy ; v. 57
データ種別	図書
出版情報	Dordrecht ; Boston : Kluwer Academic Publishers , c1995
本文言語	英語
大きさ	viii, 413 p. : ill. ; 23 cm
概要	Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal logic as well as the crucial systematic questions within the field. The book studies the rich contribu...ions fromancient and medieval philosophy up to the downfall of temporal logic in the Renaissance. The modern rediscovery of the subject, which is especially due to the work of A. N. Prior, is described, leading into a thoroughdiscussion of the use of temporal logic in computer science and the understanding of natural language. Temporal Logic: From Ancient Ideas to Artificial Intelligence thus interweaves linguistic, philosophical andcomputational aspects into an informative and inspiring whole. 続きを見る

一般注記	Bibliography: p. 386-404 Includes index
著者標目	*Øhrstrøm, Peter Hasle, Per F. V.
件　名	LCSH:Tense (Logic) LCSH:Logic, Symbolic and mathematical LCSH:Time
分　類	NDC9:116 LCC:BC199.T4 DC20:160
書誌ID	1000282556
ISBN	0792335864
NCID	BA26042961
巻冊次	ISBN:0792335864
登録日	2009.09.11
更新日	2009.09.17