001480987 000__ 04503cam\\22005897i\4500 001480987 001__ 1480987 001480987 003__ OCoLC 001480987 005__ 20231031003317.0 001480987 006__ m\\\\\o\\d\\\\\\\\ 001480987 007__ cr\un\nnnunnun 001480987 008__ 230921s2023\\\\sz\a\\\\ob\\\\000\0\eng\d 001480987 019__ $$a1397312687$$a1397575687 001480987 020__ $$a9783031391798$$q(electronic bk.) 001480987 020__ $$a3031391799$$q(electronic bk.) 001480987 020__ $$z9783031391781 001480987 020__ $$z3031391780 001480987 0247_ $$a10.1007/978-3-031-39179-8$$2doi 001480987 035__ $$aSP(OCoLC)1398480081 001480987 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dEBLCP$$dYDX 001480987 049__ $$aISEA 001480987 050_4 $$aQ325.5 001480987 08204 $$a006.3/1$$223/eng/20230921 001480987 1001_ $$aShakarian, Paulo,$$eauthor. 001480987 24510 $$aNeuro symbolic reasoning and learning /$$cPaulo Shakarian, Chitta Baral, Gerardo I. Simari, Bowen Xi, Lahari Pokala. 001480987 264_1 $$aCham :$$bSpringer,$$c2023. 001480987 300__ $$a1 online resource (xii, 119 pages) :$$billustrations (some color). 001480987 336__ $$atext$$btxt$$2rdacontent 001480987 337__ $$acomputer$$bc$$2rdamedia 001480987 338__ $$aonline resource$$bcr$$2rdacarrier 001480987 4901_ $$aSpringerBriefs in computer science,$$x2191-5776 001480987 504__ $$aIncludes bibliographical references. 001480987 5050_ $$aChapter1 New Ideas in Neuro Symbolic Reasoning and Learning -- Chapter2 Brief Introduction to Propositional Logic and Predicate Calculus -- Chapter3 Fuzzy and Annotated Logic for Neuro Symbolic Artificial Intelligence -- Chapter4 LTN: Logic Tensor Networks -- Chapter5 Neuro Symbolic Reasoning with Ontological Networks -- Chapter6 LNN: Logical Neural Networks -- Chapter7 NeurASP -- Chapter8 Neuro Symbolic Learning with Differentiable Inductive Logic Programming -- Chapter9 Understanding SATNet: Constraint Learning and Symbol Grounding -- Chapter10 Neuro Symbolic AI for Sequential Decision Making -- Chapter11 Neuro Symbolic Applications. 001480987 506__ $$aAccess limited to authorized users. 001480987 520__ $$aThis book provides a broad overview of the key results and frameworks for various NSAI tasks as well as discussing important application areas. This book also covers neuro symbolic reasoning frameworks such as LNN, LTN, and NeurASP and learning frameworks. This would include differential inductive logic programming, constraint learning and deep symbolic policy learning. Additionally, application areas such a visual question answering and natural language processing are discussed as well as topics such as verification of neural networks and symbol grounding. Detailed algorithmic descriptions, example logic programs, and an online supplement that includes instructional videos and slides provide thorough but concise coverage of this important area of AI. Neuro symbolic artificial intelligence (NSAI) encompasses the combination of deep neural networks with symbolic logic for reasoning and learning tasks. NSAI frameworks are now capable of embedding prior knowledge in deep learning architectures, guiding the learning process with logical constraints, providing symbolic explainability, and using gradient-based approaches to learn logical statements. Several approaches are seeing usage in various application areas. This book is designed for researchers and advanced-level students trying to understand the current landscape of NSAI research as well as those looking to apply NSAI research in areas such as natural language processing and visual question answering. Practitioners who specialize in employing machine learning and AI systems for operational use will find this book useful as well. 001480987 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed September 21, 2023). 001480987 650_0 $$aMachine learning.$$vCongresses$$0(DLC)sh2008107143 001480987 650_0 $$aLogic, Symbolic and mathematical.$$vCongresses$$0(DLC)sh2008107112 001480987 655_0 $$aElectronic books. 001480987 7001_ $$aBaral, Chitta,$$eauthor. 001480987 7001_ $$aSimari, Gerardo I.,$$eauthor. 001480987 7001_ $$aXi, Bowen,$$eauthor. 001480987 7001_ $$aPokala, Lahari,$$eauthor. 001480987 77608 $$iPrint version:$$aShakarian, Paulo$$tNeuro Symbolic Reasoning and Learning$$dCham : Springer,c2023$$z9783031391781 001480987 830_0 $$aSpringerBriefs in computer science,$$x2191-5776 001480987 852__ $$bebk 001480987 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-39179-8$$zOnline Access$$91397441.1 001480987 909CO $$ooai:library.usi.edu:1480987$$pGLOBAL_SET 001480987 980__ $$aBIB 001480987 980__ $$aEBOOK 001480987 982__ $$aEbook 001480987 983__ $$aOnline 001480987 994__ $$a92$$bISE