日本综合一区二区|亚洲中文天堂综合|日韩欧美自拍一区|男女精品天堂一区|欧美自拍第6页亚洲成人精品一区|亚洲黄色天堂一区二区成人|超碰91偷拍第一页|日韩av夜夜嗨中文字幕|久久蜜综合视频官网|精美人妻一区二区三区

RELATEED CONSULTING
相關(guān)咨詢
選擇下列產(chǎn)品馬上在線溝通
服務(wù)時間:8:30-17:00
你可能遇到了下面的問題
關(guān)閉右側(cè)工具欄

新聞中心

這里有您想知道的互聯(lián)網(wǎng)營銷解決方案
創(chuàng)新互聯(lián)AI教程:AI人工智能邏輯編程的例子

以下是一些可以通過邏輯編程解決的例子 -

宿州網(wǎng)站建設(shè)公司創(chuàng)新互聯(lián)建站,宿州網(wǎng)站設(shè)計制作,有大型網(wǎng)站制作公司豐富經(jīng)驗。已為宿州上千提供企業(yè)網(wǎng)站建設(shè)服務(wù)。企業(yè)網(wǎng)站搭建\外貿(mào)網(wǎng)站制作要多少錢,請找那個售后服務(wù)好的宿州做網(wǎng)站的公司定做!

匹配數(shù)學(xué)表達式

實際上,我們可以通過使用邏輯編程以非常有效的方式找到未知值。 以下 Python 代碼用于匹配數(shù)學(xué)表達式 -

考慮先導(dǎo)入下列軟件包 -

from kanren import run, var, fact
from kanren.assoccomm import eq_assoccomm as eq
from kanren.assoccomm import commutative, associative

需要定義要使用的數(shù)學(xué)運算 -

add = 'add'
mul = 'mul'

加法和乘法都是交互進程。 因此,我們需要指定它,這可以按照以下方式完成 -

fact(commutative, mul)
fact(commutative, add)
fact(associative, mul)
fact(associative, add)

定義變量是強制性的; 這可以如下完成 -

a, b = var('a'), var('b')

需要將表達式與原始模式相匹配。有以下原始模式,基礎(chǔ)是(5 + a)* b-

Original_pattern = (mul, (add, 5, a), b)

有以下兩個表達式來匹配原始模式 -

exp1 = (mul, 2, (add, 3, 1))
exp2 = (add,5,(mul,8,1))

輸出可以使用以下命令打印 -

print(run(0, (a,b), eq(original_pattern, exp1)))
print(run(0, (a,b), eq(original_pattern, exp2)))

運行此代碼后,將得到以下輸出 -

((3,2))
()

第一個輸出表示ab的值。 第一個表達式匹配原始模式并返回ab的值,但第二個表達式與原始模式不匹配,因此沒有返回任何內(nèi)容。


網(wǎng)頁題目:創(chuàng)新互聯(lián)AI教程:AI人工智能邏輯編程的例子
文章位置:http://www.dlmjj.cn/article/dpiigps.html