A many-valued approach to deduction and reasoning for artificial intelligence

by Cary G. deBessonet

[目次]

  • Observations and Issues.- to SMS and SL.- Addressing the Problem of Imprecision.- Inferencing in SMS.- Ontological Considerations.- Philosophical Considerations.- SMS Compared and Contrasted with FOL.- SMS Metalanguage.- Tying up Some Loose Ends.- Quantification, Instantiation, and Event Individuation.- Correspondence and Inferencing.- SMS in Action.

「Nielsen BookData」より

この本の情報

書名 A many-valued approach to deduction and reasoning for artificial intelligence
著作者等 DeBessonet, Cary G.
シリーズ名 The Kluwer international series in engineering and computer science
出版元 Kluwer Academic
刊行年月 c1991
ページ数 xviii, 248 p
大きさ 25 cm
ISBN 0792391381
NCID BA11769809
※クリックでCiNii Booksを表示
言語 英語
出版国 アメリカ合衆国
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想