{"schema_version":"1.0","language":"zh-CN","generated_from":"NEWVAR 从零开始学AI structured Markdown","write_access":false,"full_text_access":false,"content_boundary":"This endpoint exposes metadata, objectives, prerequisites, labs and source summaries. It does not expose chapter body text or answer text.","chapter":{"slug":"propositional-first-order","title":"命题逻辑与一阶逻辑","english_title":"Logic","chapter_number":29,"volume":2,"volume_title":"第二卷：经典AI与机器学习","month":8,"unit_title":"逻辑、知识表示和概率推理","review_status":"draft","updated_at":"2026-08-06","estimated_hours":8,"focus":"理解语法、语义、满足、量词和推理规则，区分真值与现实证据。","objectives":["理解语法、语义、满足、量词和推理规则，区分真值与现实证据。","解释核心数学关系并完成最小实现","运行单变量实验并记录失败样例","完成工程线或研究线至少一项迁移任务"],"prerequisites":["planning-and-games"],"exercise_count":3,"tracks":["engineering","research"],"human_url":"/learn/propositional-first-order"},"labs":[{"id":"lab-propositional-first-order","chapter_slug":"propositional-first-order","title":"命题逻辑与一阶逻辑：单变量实验","kind":"rule_count","data_status":"教学模拟","variable":{"label":"规则数量","unit":"条","min":1,"max":100,"step":1,"default":12},"objective":"只改变“规则数量”，观察结果、代价和风险如何一起变化，理解理解语法、语义、满足、量词和推理规则，区分真值与现实证据。","static_fallback":"静态替代：把规则数量分别设为1条、12条和100条，手工比较三组教学模拟输出。","keyboard":"聚焦滑块后使用方向键微调，Page Up/Page Down大步调整，Home/End到达边界。","measurement_note":"页面数值由公开公式生成，只用于教学，不代表真实模型性能或现实世界因果效果。","source_ids":["S016","S018","S019"]}],"project":{"id":"project-08","month":8,"title":"制作一个带解释的虚构植物诊断知识库","brief":"使用公开植物规则与教学模拟概率，展示规则链、冲突、不确定性和无法判断的情况。","deliverables":["问题与边界说明","可运行最小实现","实验记录与失败分析","来源与许可清单","风险、隐私与人工闸门","复现README"]},"sources":[{"id":"S016","author":"Stuart Russell, Peter Norvig","title":"Artificial Intelligence: A Modern Approach","source_level":"经典教材官方站","published_at":"持续更新","accessed_at":"2026-08-06","doi_or_url":"https://aima.cs.berkeley.edu/"},{"id":"S018","author":"W3C","title":"OWL 2 Web Ontology Language Document Overview","source_level":"Web标准一手资料","published_at":"2012","accessed_at":"2026-08-06","doi_or_url":"https://www.w3.org/TR/owl2-overview/"},{"id":"S019","author":"Daphne Koller, Nir Friedman","title":"Probabilistic Graphical Models","source_level":"经典教材出版信息","published_at":"2009","accessed_at":"2026-08-06","doi_or_url":"https://mitpress.mit.edu/9780262013192/probabilistic-graphical-models/"}]}