我试图提出一种系统,该系统将评估组织的章程以确定其基本逻辑。
我认为一阶谓词系统可以代表规则,可以通过词性标记和其他NLP技术将其从文本中翻译出来。
是否有系统的方法来整体解释一阶逻辑规则,或某种类型的ML体系结构作为第二层来查找元素之间的相似性。
例如,
有趣的活动清单:
- 高尔夫球
- 咖啡时间(休闲时光
- 比萨
按照法律规定:
在星期五,我们打高尔夫球
在星期五或星期六,我们休息一会,如果是星期六,我们吃披萨
结论:我们小组在周末玩得开心
听起来很牵强,但我很好奇是否可行。我还意识到,也许更多的一阶逻辑将更适合驱动第二层的结论。
3
PROLOG起源于一阶逻辑。有关该语言的理论基础的文章可能会很有用。
—
Kramii 2012年
@Kramii是的,这是我的“待办事项”清单上已有相当长的时间了,这是个很好的建议。
—
jonsca 2012年
谓词只是一步。您是说我们在下一个周五,每个周五,每个周五(节假日除外)或每个周五(除了我们有更重要的事情要做时)打高尔夫球,或者…… 我们每次都是同一个人吗?如果有人生病怎么办?等等等等
—
reinierpost
大约20年前,我听过蒂尔堡大学(Tilburg University)某人的演讲,他在法律背景下致力于解决这一问题。我认为,如果您搜索“专家系统”,将会发现大量相关文献。
—
reinierpost
@reinierpost我一直认为专家系统是一种将领域特定知识放入这样的系统中的方法。我认为这是一个开始,但我想我也正在寻找一种无需外界“大量投入”的方法。
—
jonsca 2012年