张寅生的个人博客分享 http://blog.sciencenet.cn/u/zhangbeijing 探索者:数理逻辑、人工智能

博文

按标题搜索
置顶 · 欧拉特称量词模型的改进
2021-7-30 20:24
一阶逻辑有两个基本量词:全称量词和存在量词 。 后者被解释为特称量词 的发展,其中的一个解释模型是欧拉图模型。 这一解释被质疑多年,具有不完备性,并与现代(莱布尼茨之后)的存在量词语义不一致,这使得逻辑史家“ 百思不得其解 ”。 如 Keith Stenning, Michiel Van Lambalgen 问道: “How could a ...
个人分类: 超数学|1930 次阅读|没有评论
人工智能的新制高点!
2016-5-19 20:42
作者:张寅生 人工智能是可预期的。这一点如果看一下它的预期历史和可预期的轨迹就可以证明这一点。 今天的人工智能正在使这个星球成为宇宙中的一粒智能尘粒,使这个星球的物种主宰开始与自然界在基因接口上交互。因此,在匆匆的一生时间内,这个巨大的人工智能革命可能不被完全认知,但是借 ...
个人分类: 智能|5306 次阅读|没有评论
两个字定义“智能”!
热度 1 2016-5-15 21:31
作者 张寅生 只用两个字就能清晰、全面、正确地定义什么是智能----这两个字就是“选择”。 如果一个系统,具有选择能力,其结果对于系统的功能而言,有助于其功能或目标,这个选择就是人们所说的“ 智能”,就是哲学家千百年来所说的“智能”,就是科学中所说的“智能”!没有人能反驳这一点,不信 ...
个人分类: 智能|4734 次阅读|1 个评论 热度 1
逻辑的灵魂与意义
热度 3 2016-4-19 19:07
作者:张寅生 你会加法 ------- 这应该是你在小学一年级学会了的。描述经济增长总量的经济宏观模型 ----- 凯恩斯国民收入模型 (国民收入 = 消费 + 投资)用的 就 是加法, 但是 它 不是你的发现。这个 定律 是宏观经济学的基石,它定量描述了每个人所从事的经济活动的价值增量的总和,也包含 ...
个人分类: 智能|5531 次阅读|3 个评论 热度 3

本页有 2 篇博文因作者的隐私设置或未通过审核而隐藏

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-3-28 19:46

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部