评价书面规则体系的方法


16

我试图提出一种系统,该系统将评估组织的章程以确定其基本逻辑。

我认为一阶谓词系统可以代表规则,可以通过词性标记和其他NLP技术将其从文本中翻译出来。

是否有系统的方法来整体解释一阶逻辑规则,或某种类型的ML体系结构作为第二层来查找元素之间的相似性。

例如,

有趣的活动清单:

  • 高尔夫球
  • 咖啡时间(休闲时光
  • 比萨

按照法律规定:

  1. 在星期五,我们打高尔夫球

  2. 在星期五或星期六,我们休息一会,如果是星期六,我们吃披萨

结论:我们小组在周末玩得开心

听起来很牵强,但我很好奇是否可行。我还意识到,也许更多的一阶逻辑将更适合驱动第二层的结论。


3
PROLOG起源于一阶逻辑。有关该语言的理论基础的文章可能会很有用。
Kramii 2012年

@Kramii是的,这是我的“待办事项”清单上已有相当长的时间了,这是个很好的建议。
jonsca 2012年

谓词只是一步。您是说我们在下一个周五,每个周五,每个周五(节假日除外)每个周五(除了我们有更重要的事情要做时)打高尔夫球,或者…… 我们每次都是同一个人吗?如果有人生病怎么办?等等等等
reinierpost

1
大约20年前,我听过蒂尔堡大学(Tilburg University)某人的演讲,他在法律背景下致力于解决这一问题。我认为,如果您搜索“专家系统”,将会发现大量相关文献。
reinierpost

@reinierpost我一直认为专家系统是一种将领域特定知识放入这样的系统中的方法。我认为这是一个开始,但我想我也正在寻找一种无需外界“大量投入”的方法。
jonsca 2012年

Answers:


2

这里的诀窍是,只要您的规则可以谓词形式表示,它就可以很好地工作。如果下雨,或者打得不好,高尔夫仍然很有趣吗?

如果您需要更灵活的功能,则可能需要查看一些统计/贝叶斯工具。在那儿,您会说高尔夫很有可能会变得有趣,而不是一直以来都是那么有趣。


您是否知道一些特定的统计/贝叶斯工具?
jonsca 2012年

我接受了答案,但是如上述评论所述,任何其他信息将不胜感激!
jonsca 2012年

我不太了解概率推理,您可能想读一读“贝叶斯推理”,但我不知道提供该功能的现成软件包。
jmite 2012年
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.