问题标签 [logic]

我想剪切所有 url 之类的（http://...。）并将它们替换为锚点<a></a>，但我的要求：不要触摸锚点和页面定义（文档类型），例如：

所以我需要找到带有url的纯文本......

我正在尝试覆盖我在页面内的渲染，并制作了 BrowserAdapter：

它看起来像这样：

我有以下表结构（在 MySQL 中）：

，DocID唯一性在哪里。

价值观是这样的：

我想要的是编写一个可以更新表并给出所需结果的过程：

IsDupDoc在 的 基础 上显示 是否重复Code, 并DupOf标明 原DocId.

有谁能够帮助我？我正在尝试实现逻辑，但我被卡住了。

您的帮助将不胜感激。

谢谢。

我在想，在可能遥远的未来，很多人认为我们不会那么依赖物理输入（即键盘），因为可以使用读取脑电波的技术（在某种程度上已经存在）。有点吓到我了……不管怎样，当我做白日梦的时候，我突然想到：如果程序员可以在他们的代码中实现逻辑来准确预测用户的意图，然后无需执行预期的操作，那会怎样？用于人机交互。我不是在寻找任何具体的东西，我只是对任何人的想法有点好奇。

（感谢 Rich Bradshaw）

我正在为以下难题寻找最佳策略。

作为新的仙王，你有责任绘制王国的奶油沼泽地图。
沼泽笼罩在飘渺的薄雾中，蛋奶沙司散落在各处。
您可以将您的小精灵送过沼泽，并附有在每个点低飞或高飞的指示。
如果小精灵从蛋奶冻上俯冲下来，它会分心，不会完成它的序列。由于雾气很浓，你只知道小精灵是否到达了另一边。

在编码方面..

这将返回小精灵是否退出给定的猛扑序列。

最简单的方法是一次性传递序列。这揭示了“大小”尝试中的所有蛋奶冻岛。
我更喜欢与蛋奶冻的数量成比例的东西 - 但在序列方面存在问题，例如：

也欢迎链接到这个谜题的其他形式。

我已经阅读了“具体域”的正式定义，但我仍然不太明白。

有人可以用更简单的术语向我解释一下，最好是一些例子吗？

该定义可在 Ullrich Hustadt、Boris Motik、Ulrike Sattler的“ Reasoning in Description Logics with a Concrete Domain in the Resolution of Resolution”中找到。第 1 页，定义 1。

好的，所以我必须证明以下顺序：

我理解为什么这显然是正确的，我也理解自然演绎的规则。我不明白的是我如何去证明它。这是提供的模型答案：

有人可以为我提供链接或“愚蠢”的解释吗？我觉得我错过了一个简单的概念，导致这很难理解......？

例如，在第 4 行，为什么需要第 3 行中的 p 删除 ->，而在第 3 行中，您可以在不使用 aq 的情况下删除 ^q？

我相信这很简单，但对我来说似乎没有意义......？

也不是：

!(a 或 b)
!a 或 !b
!(a 和 b)

别的东西？

在描述逻辑中，“someValuesFrom”和“allValuesFrom”有什么区别？换句话说，（有限存在量化）和（价值限制）之间的差异。

例如，考虑一下：

Δ = {a, b, c, d, e}
ext(B) = {<c,d>}
ext(R) = {<a,b>, <a,c>, <d,c>, < c,e>}

那么下面这些有什么区别呢？

ext(∃R.B) = ?
ext(∀R.B) = ?

有什么方法可以简化 somevaluefrom 和 allvaluesfrom 的概念吗？

如果我有一个像这样的公式：

（FA = 全部 / E = 存在）

skolemisation 的规则说：

1. 如果 E 在 FA 之外，则替换为常数或
2. 如果 E 在 FA 内部，则用新函数替换包含 FA 外部的所有变量作为参数。

那么在这种情况下我该怎么办？我可以只删除 Exists 量词还是用常数替换它？

谢谢！

是否可以将字符串转换为运算符以用于逻辑条件。

例如

或者

我很欣赏这可能不是标准的实践问题，因此我对那些问我为什么要做这样的事情的答案不感兴趣。

提前致谢

编辑：好的，我同意，只是公平地给出一些背景。

我们有围绕反射和 XML 构建的系统。为了方便起见，我希望能够说一些类似的话。

编辑：感谢您的评论，我无法在此处正确解释这一点。我想我的问题得到了“你不能”的回答，这绝对没问题（和我想的一样）。感谢您的意见。

编辑：草皮，我要去试一试。

想象以下

这将反映到一个类中，所以现在我想通过调用来测试条件

这就是所有需要结合在一起的地方。

编辑：

好的，所以我从来没有看过 Lambdas 或 Expressions，我想我会关注@jrista 的建议。

我的系统允许解析枚举，因此表达式很有吸引力，因为表达式类型枚举。

所以我创建了以下类来测试这个想法：

显然，这仅适用于 Int32 现在和基本的 ExpressionTypes，我不确定我是否可以使其通用？我以前从未使用过表达式，但这似乎有效。

然后可以用我们的 XML 方式将这种方式声明为