我每天都在听你说“人工智能”。“人工智能”被认为是世界的革命。但我没有看到这些人工智能。
我见过无数奇怪的网站,其中包含“人工智能”,但实际上没有提供实际的产品供我下载和运行。我不想注册一些“等待名单”或支付"API访问“的钱。
我正在寻找一个AI.exe,我下载,然后我可以查询它的各种事情,它会智能地回答我。例如:
AI.exe "How much is two apples + 42 apples?"
它将使用字符串返回JSON输出,如:
44
我不希望它发出任何外部请求,所以它会有一堆有用的数据库。我希望它能理解数学,单元和诸如此类的东西。我当然不希望能够质疑它的
我试图用C语言实现一些人工智能规划算法,但是我坚持了基本的概念:)
在讨论主要问题之前,我尝试实现一些支持命题逻辑的小框架:
FORMULA f = PROPOSITION(a + 3 > 0);
FORMULA g = PROPOSITION(is_smaller_than(b, c));
f = AND(NOT(f), g);
现在的问题是,在定义公式时,我不想计算像'a +3> 0‘这样的表达式,而是在以后的一些阶段:
bool res = EVALUATE(f);
在这种情况下,我想闭包会很方便,但不幸的是,我也喜欢坚持使用C99。
有什么想法吗?
,将其扩展到谓词