Items related to Logical and Compositional Foundations of AI: Proof,...
Logical and Compositional Foundations of AI: Proof, Semantics, Composition, and Verifiable Machine Reasoning - Softcover
Synopsis
How can an AI system produce answers, programs, plans, and tool calls that remain trustworthy even when the learned model itself is not? This volume develops the mathematical foundations for answering that question through proofs, certificates, semantics, interfaces, and compositional guarantees.
Beginning with propositional and first-order logic, computability, type theory, and proof assistants, the book builds a rigorous path through SAT and SMT certificates, program semantics and logics, temporal logic and model checking, abstract interpretation, categorical and monoidal composition, contracts, effects, information flow, proof search, program synthesis, and formal verification of learned components. The final chapters bring these tools together in architectures for verified agents and proof-carrying AI.
Throughout, the emphasis is not merely on whether a component can be verified, but on exactly what is guaranteed, under which quantifiers and assumptions, and relative to which trusted base. A recurring AgentDSL example connects the mathematics to modern large-model systems involving structured generation, tools, memory, learned guards, runtime monitors, and shields.
Written for graduate students, researchers, and technically advanced practitioners, the book provides a unified framework for moving from untrusted generators to checkable evidence and from local component guarantees to system-level assurance.
"synopsis" may belong to another edition of this title.
Search results for Logical and Compositional Foundations of AI: Proof,...
Stock Image
Logical and Compositional Foundations of AI (Paperback)
Print on DemandSeller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. How can an AI system produce answers, programs, plans, and tool calls that remain trustworthy even when the learned model itself is not? This volume develops the mathematical foundations for answering that question through proofs, certificates, semantics, interfaces, and compositional guarantees. Beginning with propositional and first-order logic, computability, type theory, and proof assistants, the book builds a rigorous path through SAT and SMT certificates, program semantics and logics, temporal logic and model checking, abstract interpretation, categorical and monoidal composition, contracts, effects, information flow, proof search, program synthesis, and formal verification of learned components. The final chapters bring these tools together in architectures for verified agents and proof-carrying AI. Throughout, the emphasis is not merely on whether a component can be verified, but on exactly what is guaranteed, under which quantifiers and assumptions, and relative to which trusted base. A recurring AgentDSL example connects the mathematics to modern large-model systems involving structured generation, tools, memory, learned guards, runtime monitors, and shields. Written for graduate students, researchers, and technically advanced practitioners, the book provides a unified framework for moving from untrusted generators to checkable evidence and from local component guarantees to system-level assurance. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9798907070400
Stock Image
Logical and Compositional Foundations of AI
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9798907070400
Stock Image
Logical and Compositional Foundations of AI: Proof, Semantics, Composition, and Verifiable Machine Reasoning
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9798907070400
Stock Image
Logical and Compositional Foundations of AI
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9798907070400
Buy New
US$ 43.70
US$ 5.57 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Logical and Compositional Foundations of AI (Paperback)
Print on DemandSeller: CitiRetail, Stevenage, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. How can an AI system produce answers, programs, plans, and tool calls that remain trustworthy even when the learned model itself is not? This volume develops the mathematical foundations for answering that question through proofs, certificates, semantics, interfaces, and compositional guarantees. Beginning with propositional and first-order logic, computability, type theory, and proof assistants, the book builds a rigorous path through SAT and SMT certificates, program semantics and logics, temporal logic and model checking, abstract interpretation, categorical and monoidal composition, contracts, effects, information flow, proof search, program synthesis, and formal verification of learned components. The final chapters bring these tools together in architectures for verified agents and proof-carrying AI. Throughout, the emphasis is not merely on whether a component can be verified, but on exactly what is guaranteed, under which quantifiers and assumptions, and relative to which trusted base. A recurring AgentDSL example connects the mathematics to modern large-model systems involving structured generation, tools, memory, learned guards, runtime monitors, and shields. Written for graduate students, researchers, and technically advanced practitioners, the book provides a unified framework for moving from untrusted generators to checkable evidence and from local component guarantees to system-level assurance. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9798907070400
Buy New
US$ 48.92
US$ 49.53 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Logical and Compositional Foundations of AI : Proof, Semantics, Composition, and Verifiable Machine Reasoning
Published by
The Center For Lean Business Management, LLC Sep 2026, 2026
ISBN 13: 9798907070400
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware. Seller Inventory # 9798907070400
Buy New
US$ 68.89
US$ 39.05 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available