回首頁 到查詢結果 [ subject:"Logic programming." ]

Paraconsistent intelligent-based sys...
Abe, Jair Minoro.

 

  • Paraconsistent intelligent-based systems[electronic resource] :new trends in the applications of paraconsistency /
  • 紀錄類型: 書目-語言資料,印刷品 : Monograph/item
    杜威分類號: 006.32
    書名/作者: Paraconsistent intelligent-based systems : new trends in the applications of paraconsistency // edited by Jair Minoro Abe.
    其他作者: Abe, Jair Minoro.
    出版者: Cham : : Springer International Publishing :, 2015.
    面頁冊數: xii, 306 p. : : ill., digital ;; 24 cm.
    Contained By: Springer eBooks
    標題: Neural networks (Computer science)
    標題: Uncertainty (Information theory)
    標題: Logic programming.
    標題: Inconsistency (Logic)
    標題: Artificial intelligence.
    標題: Engineering.
    標題: Computational Intelligence.
    標題: Artificial Intelligence (incl. Robotics)
    ISBN: 9783319197227 (electronic bk.)
    ISBN: 9783319197210 (paper)
    內容註: Paraconsistent Logics: preamble -- Constructive Discursive Logic: Paraconsistency in Constructivism -- Paraconsistent Annotated Logic Program EVAPSN and Its Applications -- The New Hardware Structure of the Emmy II Robot -- A suggestion for sample size determination using an instrument for collecting medical data based on discrete items -- Paraconsistent Logic Algorithms applied on Seasonal Comparative Analysis with Biomass Data extracted from Fouling Process -- An algorithmic method supported by Paraconsistent Annotated Logic applied at determination of Friction Factors for turbulent flow in smooth pipes -- Paraconsistent Logic study of image focus in cylindrical refraction experiments -- Paraconsistent Artificial Neural Networks and Aspects of Pattern Recognition -- Paraconsistent Logic in Decision Making -- Paraconsistent Neurocomputing and Signal Analysis.
    摘要、提要註: This book presents some of the latest applications of new theories based on the concept of paraconsistency and correlated topics in informatics, such as pattern recognition (bioinformatics), robotics, decision-making themes, and sample size. Each chapter is self-contained, and an introductory chapter covering the logic theoretical basis is also included. The aim of the text is twofold: to serve as an introductory text on the theories and applications of new logic, and as a textbook for undergraduate or graduate-level courses in AI. Today AI frequently has to cope with problems of vagueness, incomplete and conflicting (inconsistent) information. One of the most notable formal theories for addressing them is paraconsistent (paracomplete and non-alethic) logic.
    電子資源: http://dx.doi.org/10.1007/978-3-319-19722-7
評論
Export
取書館別
 
 
變更密碼
登入