建站
咨詢
售后
建站咨詢
新聞中心
這里有您想知道的互聯(lián)網(wǎng)營(yíng)銷解決方案
創(chuàng)新互聯(lián)AI教程：AI人工智能邏輯編程的例子
以下是一些可以通過邏輯編程解決的例子 -
宿州網(wǎng)站建設(shè)公司創(chuàng)新互聯(lián)建站,宿州網(wǎng)站設(shè)計(jì)制作，有大型網(wǎng)站制作公司豐富經(jīng)驗(yàn)。已為宿州上千提供企業(yè)網(wǎng)站建設(shè)服務(wù)。企業(yè)網(wǎng)站搭建\外貿(mào)網(wǎng)站制作要多少錢，請(qǐng)找那個(gè)售后服務(wù)好的宿州做網(wǎng)站的公司定做！
匹配數(shù)學(xué)表達(dá)式
實(shí)際上，我們可以通過使用邏輯編程以非常有效的方式找到未知值。 以下 Python 代碼用于匹配數(shù)學(xué)表達(dá)式 -
考慮先導(dǎo)入下列軟件包 -
from kanren import run, var, fact
from kanren.assoccomm import eq_assoccomm as eq
from kanren.assoccomm import commutative, associative需要定義要使用的數(shù)學(xué)運(yùn)算 -
add = 'add'
mul = 'mul'加法和乘法都是交互進(jìn)程。 因此，我們需要指定它，這可以按照以下方式完成 -
fact(commutative, mul)
fact(commutative, add)
fact(associative, mul)
fact(associative, add)定義變量是強(qiáng)制性的; 這可以如下完成 -
a, b = var('a'), var('b') 需要將表達(dá)式與原始模式相匹配。有以下原始模式，基礎(chǔ)是(5 + a)* b-
Original_pattern = (mul, (add, 5, a), b)有以下兩個(gè)表達(dá)式來匹配原始模式 -
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)))運(yùn)行此代碼后，將得到以下輸出 -
((3,2))
() 第一個(gè)輸出表示a和b的值。 第一個(gè)表達(dá)式匹配原始模式并返回a和b的值，但第二個(gè)表達(dá)式與原始模式不匹配，因此沒有返回任何內(nèi)容。
新聞名稱：創(chuàng)新互聯(lián)AI教程：AI人工智能邏輯編程的例子
文章位置：http://www.5511xx.com/article/dpiigps.html
