文件名称：monotonic_solver:设计为易于与Rust枚举表达式一起使用的单调求解器
文件大小：17KB
文件格式：ZIP
更新时间：2024-06-04 15:08:54
Rust
单调解算器 设计为易于与Rust枚举表达式一起使用的单调求解器 这可以用来： 人工智能常识的研究模型 在学习逻辑和语言时测试推理规则 生成故事情节 搜索和提取数据 在，它是具有类似Prolog语法的Avatar Logic的实验性实现。 博客文章： 这种库设计的优点是易于进行原型制作。 几个小时后，您就可以测试一种用于建模常识的新想法。 这是程序输出的示例（来自“ examples / drama.rs”）： Bob murdered Alice with a gun Bob shot Alice with a gun Bob pulled the trigger of the gun Bob aimed the gun at Alice 这是一个生成戏剧故事情节的程序。 求解器从结尾开始，然后向后开始。 开始：“鲍勃用枪杀死了爱丽丝” 进球：“鲍勃将枪对准了爱丽丝”。 您
【文件预览】：
monotonic_solver-master
----.gitignore(31B)
----src()
--------lib.rs(18KB)
----LICENSE(1KB)
----Cargo.toml(540B)
----.github()
--------FUNDING.yml(63B)
----examples()
--------drama.rs(10KB)
--------groceries.rs(3KB)
--------hats.rs(8KB)
----README.md(9KB)