國立高雄大學圖資館 |

Language: English

Back

Neuro symbolic reasoning and learning

Record Type:	Electronic resources : Monograph/item
Title/Author:	Neuro symbolic reasoning and learningby Paulo Shakarian ... [et al.].
other author:	Shakarian, Paulo.
Published:	Cham :Springer Nature Switzerland :2023.
Description:	xii, 119 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Machine learning.
Online resource:	https://doi.org/10.1007/978-3-031-39179-8
ISBN:	9783031391798$q(electronic bk.)

Neuro symbolic reasoning and learning
Neuro symbolic reasoning and learning[electronic resource] /by Paulo Shakarian ... [et al.]. - Cham :Springer Nature Switzerland :2023. - xii, 119 p. :ill. (some col.), digital ;24 cm. - SpringerBriefs in computer science,2191-5776. - SpringerBriefs in computer science..

Chapter1 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.

This 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.

ISBN: 9783031391798$q(electronic bk.)

Standard No.: 10.1007/978-3-031-39179-8doiSubjects--Topical Terms:

188639
Machine learning.

LC Class. No.: Q325.5

Dewey Class. No.: 006.31

Neuro symbolic reasoning and learning
LDR:03282nmm a2200337 a 4500 001 651112
003 DE-He213
005 20230913172952.0
006 m d
007 cr nn 008maaau
008 240327s2023 sz s 0 eng d
020 $a 9783031391798$q(electronic bk.)
020 $a 9783031391781$q(paper)
024 7 $a 10.1007/978-3-031-39179-8 $2 doi
035 $a 978-3-031-39179-8
040 $a GP $c GP
041 0 $a eng
050 4 $a Q325.5
072 7 $a UYQ $2 bicssc
072 7 $a COM004000 $2 bisacsh
072 7 $a UYQ $2 thema
082 0 4 $a 006.31 $2 23
090 $a Q325.5 $b .N494 2023
245 0 0 $a Neuro symbolic reasoning and learning $h [electronic resource] / $c by Paulo Shakarian ... [et al.].
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2023.
300 $a xii, 119 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a SpringerBriefs in computer science, $x 2191-5776
505 0 $a Chapter1 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.
520 $a This 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.
650 0 $a Machine learning. $3 188639
650 0 $a Logic, Symbolic and mathematical. $3 180452
650 1 4 $a Artificial Intelligence. $3 212515
650 2 4 $a Machine Learning. $3 833608
700 1 $a Shakarian, Paulo. $3 667496
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a SpringerBriefs in computer science. $3 559641
856 4 0 $u https://doi.org/10.1007/978-3-031-39179-8
950 $a Computer Science (SpringerNature-11645)