- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
可能是一个奇怪而广泛的问题,而不是 100% 的编程问题,但我希望这没问题。我最近讨论过,Prolog 中的许多程序不遵循严格的谓词逻辑(Frege),但通常是“面向对象的”,我试图掌握这一点。
我知道 Prolog 基于一阶谓词逻辑,尤其是 Horn 子句,并且它们是一种特殊形式的 modus ponens。单独出现的事实和规则只是从句,但是一旦我添加了多个出现,它们就变成了谓词。
一般而言,一阶谓词逻辑的量词如何表示并与事实、规则、谓词或 Prolog 概念相关?仿函数表达什么以及与谓词逻辑相关的参数是什么。谓词逻辑和一阶谓词逻辑在Prolog中是如何体现的,prolog的概念在哪里?例如我将如何在谓词逻辑和一阶谓词逻辑中定义点、线和垂直线。
我如何在谓词逻辑和一阶谓词逻辑中表述它之间的语义和逻辑区别是什么
vertical(line).
line(vertical).
或者在这个例子中是一条线和一个点。点和线不是谓词逻辑吗?
point(X,Y).
line(point(W,X), point(Y,Z)).
vertical(line(point(X,Y), point(X,Z))).
horizontal(line(point(X,Y), point(Z,Y))).
任何信息都有帮助!非常感谢,H
最佳答案
一章Programming in Prolog
由 W.Clocksin 和 C.Mellish 编写,致力于解释 Prolog 与逻辑的关系。从那里引用
If we wish to discuss how Prolog is related to logic, we must first establish what wemean by logic. Logic was originally devised as a way of representing the form ofarguments, so that it would be possible to check in a formal way whether or not theyare valid. Thus we can use logic to express propositions, the relations between propositions and how one can validly infer some propositions from others. The particularform of logic that we will be talking about here is called the Predicate Calculus. Wewill only be able to say a few words about it here. There are scores of good basicintroductions to logic you can turn to for background reading.
If we wish to express propositions about the world, we must be able to describethe objects that are involved in them. In Predicate Calculus, we represent objects byterms. A term is of one of the following forms:
- A constant symbol. This is a symbol that stands for a single individual or concept.We can think of this as a Prolog atom, and we will use the Prolog syntax. Sogreek, agatha, and peace are constant symbols.
- A variable symbol. This is a symbol that we may want to stand for differentindividuals at different times. Variables are really only introduced in conjunctionwith quantifiers, which are discussed below. We can think of them as Prologvariables and will use the Prolog syntax. Thus
X
,Man
, andGreek
are variablesymbols.- A compound term. A compound term consists of a function symbol, togetherwith an ordered set of terms as its arguments. The idea is that the compoundterm represents some individual that depends on the individuals represented bythe arguments. The function symbol represents how the first depends on the second. For instance, we could have a function symbol standing for the notion of"distance" and two arguments. In this case, the compound term stands for thedistance between the objects represented by the arguments. We can think of acompound term as a Prolog structure with the function symbol as the functor.We will write Predicate Calculus compound terms using the Prolog syntax, sothat, for instance,
wife(henry)
might mean Henry's wife,distance(point1, X)
might mean the distance between some particular point and some other place tobe specified, andclasses(mary, dayafter(W))
might mean the classes that Maryteaches on the day after some dayW
to be specified.Thus in Predicate Calculus the ways of representing objects are just like the ways available in Prolog.
关于prolog - Prolog 中的谓词逻辑是如何表示的?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/62620171/
我想做的是让 JTextPane 在 JPanel 中占用尽可能多的空间。对于我使用的 UpdateInfoPanel: public class UpdateInfoPanel extends JP
我在 JPanel 中有一个 JTextArea,我想将其与 JScrollPane 一起使用。我正在使用 GridBagLayout。当我运行它时,框架似乎为 JScrollPane 腾出了空间,但
我想在 xcode 中实现以下功能。 我有一个 View Controller 。在这个 UIViewController 中,我有一个 UITabBar。它们下面是一个 UIView。将 UITab
有谁知道Firebird 2.5有没有类似于SQL中“STUFF”函数的功能? 我有一个包含父用户记录的表,另一个表包含与父相关的子用户记录。我希望能够提取用户拥有的“ROLES”的逗号分隔字符串,而
我想使用 JSON 作为 mirth channel 的输入和输出,例如详细信息保存在数据库中或创建 HL7 消息。 简而言之,输入为 JSON 解析它并输出为任何格式。 最佳答案 var objec
通常我会使用 R 并执行 merge.by,但这个文件似乎太大了,部门中的任何一台计算机都无法处理它! (任何从事遗传学工作的人的附加信息)本质上,插补似乎删除了 snp ID 的 rs 数字,我只剩
我有一个以前可能被问过的问题,但我很难找到正确的描述。我希望有人能帮助我。 在下面的代码中,我设置了varprice,我想添加javascript变量accu_id以通过rails在我的数据库中查找记
我有一个简单的 SVG 文件,在 Firefox 中可以正常查看 - 它的一些包装文本使用 foreignObject 包含一些 HTML - 文本包装在 div 中:
所以我正在为学校编写一个 Ruby 程序,如果某个值是 1 或 3,则将 bool 值更改为 true,如果是 0 或 2,则更改为 false。由于我有 Java 背景,所以我认为这段代码应该有效:
我做了什么: 我在这些账户之间创建了 VPC 对等连接 互联网网关也连接到每个 VPC 还配置了路由表(以允许来自双方的流量) 情况1: 当这两个 VPC 在同一个账户中时,我成功测试了从另一个 La
我有一个名为 contacts 的表: user_id contact_id 10294 10295 10294 10293 10293 10294 102
我正在使用 Magento 中的新模板。为避免重复代码,我想为每个产品预览使用相同的子模板。 特别是我做了这样一个展示: $products = Mage::getModel('catalog/pro
“for”是否总是检查协议(protocol)中定义的每个函数中第一个参数的类型? 编辑(改写): 当协议(protocol)方法只有一个参数时,根据该单个参数的类型(直接或任意)找到实现。当协议(p
我想从我的 PHP 代码中调用 JavaScript 函数。我通过使用以下方法实现了这一点: echo ' drawChart($id); '; 这工作正常,但我想从我的 PHP 代码中获取数据,我使
这个问题已经有答案了: Event binding on dynamically created elements? (23 个回答) 已关闭 5 年前。 我有一个动态表单,我想在其中附加一些其他 h
我正在尝试找到一种解决方案,以在 componentDidMount 中的映射项上使用 setState。 我正在使用 GraphQL连同 Gatsby返回许多 data 项目,但要求在特定的 pat
我在 ScrollView 中有一个 View 。只要用户按住该 View ,我想每 80 毫秒调用一次方法。这是我已经实现的: final Runnable vibrate = new Runnab
我用 jni 开发了一个 android 应用程序。我在 GetStringUTFChars 的 dvmDecodeIndirectRef 中得到了一个 dvmabort。我只中止了一次。 为什么会这
当我到达我的 Activity 时,我调用 FragmentPagerAdapter 来处理我的不同选项卡。在我的一个选项卡中,我想显示一个 RecyclerView,但他从未出现过,有了断点,我看到
当我按下 Activity 中的按钮时,会弹出一个 DialogFragment。在对话框 fragment 中,有一个看起来像普通 ListView 的 RecyclerView。 我想要的行为是当
我是一名优秀的程序员,十分优秀!