軟件經(jīng)驗(yàn)數(shù)據(jù) software experience data
軟件風(fēng)險(xiǎn) software hazard
軟件庫(kù)管理員 software librarian
軟件庫(kù) software library
軟件生存周期 software life cycle
軟件維護(hù)員 software maintainer
軟件監(jiān)控程序 software monitor
軟件操作員 software operator
軟件產(chǎn)品 software product
軟件采購(gòu)員 software purchaser
軟件質(zhì)量 software quality
質(zhì)量保證 quality assurance
質(zhì)量度量學(xué) quality metrics
軟件度量學(xué) software metrics
軟件質(zhì)量保證 software quality assurance
軟件質(zhì)量評(píng)判準(zhǔn)則 software quality criteria
軟件可靠性 software reliability
軟件注冊(cè)員 software registrar
軟件儲(chǔ)藏庫(kù) software repository
軟件復(fù)用 software reuse
軟件安全性 software safety
軟件潛行分析 software sneak analysis
軟件單元 software unit
軟件驗(yàn)證程序 software verifier
規(guī)約語(yǔ)言 specification language
規(guī)約驗(yàn)證 specification verification
穩(wěn)定性 stability
供方 supplier
支持軟件 support software
符號(hào)執(zhí)行 symbolic execution
系統(tǒng)體系結(jié)構(gòu) system architecture
系統(tǒng)設(shè)計(jì) system design
系統(tǒng)文檔 system documentation
系統(tǒng)庫(kù) system library
系統(tǒng)可靠性 system reliability
系統(tǒng)軟件 system software
系統(tǒng)確認(rèn) system validation
系統(tǒng)驗(yàn)證 system verification
終止性證明 termination proof
測(cè)試用例生成程序 test case generator
測(cè)試覆蓋[率] test coverage
測(cè)試數(shù)據(jù)生成程序 test data generator
測(cè)試驅(qū)動(dòng)程序 test driver
測(cè)試階段 test phase
測(cè)試過(guò)程 test procedure
測(cè)試可重復(fù)性 test repeatability
測(cè)試報(bào)告 test report
分時(shí) time sharing
計(jì)時(shí)分析程序 timing analyzer
追蹤程序 tracer
培訓(xùn) training
類(lèi)型 type
軟件性能 software performance
自適應(yīng)性 adaptability
內(nèi)聚性 cohesion
模塊性 modularity
可復(fù)用性 reusability
部分正確性 partial correctness
完全正確性 total correctness
有效性 validity
用戶(hù)合同管理員 user contract administrator
用戶(hù)文檔 user documentation
實(shí)用軟件 utility software
版本控制 version control
更改控制 change control
基線(xiàn) baseline
原型 prototype
原型制作 prototyping
原型速成 rapid prototyping
領(lǐng)域建模 domain modeling, DM
體系結(jié)構(gòu)建模 architecture modeling, AM
黑箱 black-box
白箱 white-box
領(lǐng)域工程師 domain engineer
軟件體系結(jié)構(gòu) software architecture
軟件再工程 software reengineering
軟件過(guò)程 software process
可復(fù)用構(gòu)件 reusable component
基于構(gòu)件的軟件開(kāi)發(fā) component-based software development, CBSD
基于構(gòu)件的軟件工程 component-based software engineering, CBSE
3C模型 concept, content and context 3C 3C指概念、內(nèi)容和語(yǔ)境。
特定領(lǐng)域軟件體系結(jié)構(gòu) domain-specific software architecture, DSSA
軟件體系結(jié)構(gòu)風(fēng)格 software architectural style, SAS
合法性撤消 revocation又稱(chēng)“合法性取消”。
版本升級(jí) version upgrade
向下兼容 downward compatibility
向上兼容 upward compatibility
管理過(guò)程 management process
獲取過(guò)程 acquisition process
供應(yīng)過(guò)程 supply process
維護(hù)過(guò)程 maintenance process
支持過(guò)程 supporting process
剪裁過(guò)程 tailoring process
軟件工程經(jīng)濟(jì)學(xué) software engineering economics
計(jì)算機(jī)軟件的法律保護(hù) legal protection of computer software
軟件版權(quán) software copyright
事務(wù)分析 transaction analysis
人工認(rèn)知 artificial cognition
腦功能模塊 brain function module
腦成像 brain imaging
腦模型 brain model
腦科學(xué) brain science
知識(shí)塊 chunk
認(rèn)知 cognition
認(rèn)知映射 cognitive mapping
認(rèn)知過(guò)程 cognitive process
認(rèn)知心理學(xué) cognitive psychology
認(rèn)知仿真 cognitive simulation
認(rèn)知系統(tǒng) cognitive system
思維科學(xué) noetic science
認(rèn)知科學(xué) cognitive science
感知 perception
認(rèn)知模型 cognitive model
動(dòng)態(tài)記憶 dynamic memory
情景記憶 episodic memory
認(rèn)識(shí)學(xué) epistemology
智能 intelligence
智能科學(xué) intelligent science
群體智能 swarm intelligence
宏理論 macro-theory
記憶組織包 memory organization packet, MOP
記憶表示 memory representation
心智能力 mental ability
心智圖像 mental image
心智信息傳送 mental information transfer
心智機(jī)理 mental mechanism
心智狀態(tài) mental state
心智心理學(xué) mental psychology
微理論 micro-theory
機(jī)器智能 machine intelligence
物理符號(hào)系統(tǒng) physical symbol system
DS理論 Dempster-Shafer theory
框架語(yǔ)法 frame grammar
知識(shí)工程 knowledge engineering, KE
知識(shí) knowledge
領(lǐng)域知識(shí) domain knowledge
啟發(fā)式知識(shí) heuristic knowledge
常識(shí) commonsense
知識(shí)表示 knowledge representation, KR
陳述性知識(shí) declarative knowledge
過(guò)程性知識(shí) procedural knowledge
知識(shí)表示方式 knowledge representation mode
知識(shí)模式 knowledge schema
框架知識(shí)表示 frame knowledge representation
概念結(jié)點(diǎn) concept node
腳本知識(shí)表示 script knowledge representation
狀態(tài)空間 state space
狀態(tài)圖 state graph
元知識(shí) metaknowledge
元規(guī)則 metarule
面向?qū)ο蟊硎?object-oriented representation
黑板 blackboard
黑板結(jié)構(gòu) blackboard structure
知識(shí)源 knowledge source
知識(shí)結(jié)構(gòu) knowledge structure
問(wèn)題 problem
問(wèn)題診斷 problem diagnosis
問(wèn)題重構(gòu) problem reformulation
問(wèn)題空間 problem space
問(wèn)題狀態(tài) problem state
過(guò)程分析 procedure analysis
進(jìn)程定性推理 process qualitative reasoning
規(guī)則子句 rule clause
規(guī)則 rule
啟發(fā)式規(guī)則 heuristic rule
前提 antecedent, premise
條件式 conditions
產(chǎn)生式規(guī)則 production rule
產(chǎn)生式系統(tǒng) production system
領(lǐng)域無(wú)關(guān)規(guī)則 domain-independent rule
類(lèi)規(guī)則表示 rule-like representation
規(guī)則集 rule set
狀態(tài)空間表示 state space representation
符號(hào)智能 symbolic intelligence
重言式規(guī)則 tautology rule
傳遞相關(guān)性 transitive dependency
傳遞簡(jiǎn)約 transitive reduction
不確定證據(jù) uncertain evidence
不確定知識(shí) uncertain knowledge
人工約束 artificial constraint
經(jīng)驗(yàn)法則 empirical law
特征提取 feature extraction
繼承 inheritance
例示 instantiation
意義域 meaning domain
規(guī)劃 planning
元規(guī)劃 metaplanning
自規(guī)劃 self-planning
自調(diào)整 self-regulating
貝葉斯分類(lèi)器 Bayesian classifier
貝葉斯決策規(guī)則 Bayesian decision rule
貝葉斯決策方法 Bayesian decision method
貝葉斯推理 Bayesian inference
貝葉斯推理網(wǎng)絡(luò) Bayesian inference network
貝葉斯邏輯 Bayesian logic
貝葉斯定理 Bayesian theorem
黑板體系結(jié)構(gòu) blackboard architecture
黑板協(xié)調(diào) blackboard coordination
黑板記憶組織 blackboard memory organization
黑板模型 blackboard model
黑板協(xié)商 blackboard negotiation
黑板策略 blackboard strategy
黑板系統(tǒng) blackboard system
智能系統(tǒng) intelligent system
問(wèn)題求解 problem solving
問(wèn)題歸約 problem reduction
解圖 solution graph
解樹(shù) solution tree
候選解 candidate solution
子目標(biāo) subgoal
有限目標(biāo) finite goal
無(wú)窮目標(biāo) infinite goal
通用問(wèn)題求解程序 general problem solver, GPS
手段目的分析 means-end analysis
啟發(fā)式搜索 heuristic search
評(píng)價(jià)函數(shù) evaluation function
弱方法 weak method
爬山法 hill climbing method
α-β剪枝 α-β pruning
代價(jià)函數(shù) cost function
定向搜索 beam search
盲目搜索 blind search
分支限界搜索 branch-and-bound search
深度優(yōu)先搜索 depth-first search
佳優(yōu)先搜索 best-first search
雙向搜索 bidirectional search
圖搜索 graph search
交叉搜索 intersection search
有序搜索 ordered search
并行搜索 parallel search
試湊搜索 trial-and-error search
路徑搜索 path search
搜索圖 search graph
搜索規(guī)則 search rule
搜索空間 search space
搜索策略 search strategy
搜索樹(shù) search tree
推導(dǎo)樹(shù) derivation tree
范例 case又稱(chēng)“案例”。
范例庫(kù) case base
范例依存相似性 case dependent similarity
范例表示 case representation
范例重存 case restore
范例檢索 case retrieval
范例檢索網(wǎng) case retrieval net
范例重用 case reuse
范例修正 case revision
范例結(jié)構(gòu) case structure
范例驗(yàn)證 case validation
基于范例的推理 case-based reasoning, CBR
因果推理 causal reasoning
因果性 causality
沖突鑒別 conflict discriminate
沖突調(diào)解 conflict reconcile
沖突消解 conflict resolution
沖突集 conflict set
一致性強(qiáng)制器 consistency enforcer
知識(shí)相容性 consistency of knowledge
一致估計(jì) consistent estimation
約束條件 constraint condition
約束方程 constraint equation
約束函數(shù) constraint function
約束矩陣 constraint matrix
約束規(guī)則 constraint rule
合同網(wǎng) contract net
正確性 correctness
判定邏輯 decision logic
決策制定 decision making
決策矩陣 decision matrix
決策計(jì)劃 decision plan
決策問(wèn)題 decision problem
決策過(guò)程 decision procedure
決策空間 decision space
判定符號(hào) decision symbol
決策論 decision theory
相關(guān)規(guī)則 dependency rule
動(dòng)態(tài)世界規(guī)劃 dynamic world planning
證據(jù)推理 evidential reasoning
全局知識(shí) global knowledge
全局優(yōu)化 global optimization
全局搜索 global search
目標(biāo)范例庫(kù) goal case base
目標(biāo)子句 goal clause
目標(biāo)對(duì)象 goal object
目標(biāo)回歸 goal regression
目標(biāo)集 goal set
目標(biāo)引導(dǎo)行為 goal-directed behavior
啟發(fā)式算法 heuristic algorithm
啟發(fā)式方法 heuristic approach
啟發(fā)式函數(shù) heuristic function
啟發(fā)式信息 heuristic information
啟發(fā)式程序 heuristic program
啟發(fā)式技術(shù) heuristic technique
不完全性理論 incompleteness theory
不合邏輯 illogicality
合一 unification
合一子 unifier
泛合一 universal unification
廣合一子 most general unifier
推理 reasoning, inference
啟發(fā)式推理 heuristic inference
推理策略 inference strategy
推理模型 inference model, reasoning model
自動(dòng)推理 automated reasoning
形式推理 formal reasoning
基于知識(shí)[的]推理系統(tǒng) knowledge-based inference system
自動(dòng)邏輯推理 automated logic inference
演繹推理 deductive inference
反繹推理 abductive reasoning
假設(shè) hypothesis
斷言 assertion
自動(dòng)演繹 automatic deduction
規(guī)則推理 rule-based reasoning
正向推理 forward reasoning, forward chained reasoning
目標(biāo)驅(qū)動(dòng) goal driven
反向推理 backward reasoning, backward chained reasoning
雙向推理 bidirection reasoning
目標(biāo)導(dǎo)向推理 goal-directed reasoning
基于知識(shí)[的]推理 knowledge-based inference
邏輯推理 logical reasoning
自頂向下推理 top-down reasoning
自底向上推理 bottom-up reasoning
元推理 metareasoning
不確定推理 uncertain reasoning
模糊推理 fuzzy reasoning
類(lèi)比推理 analogical inference
單調(diào)推理 monotonic reasoning
非單調(diào)推理 non-monotonic reasoning
限定推理 circumscription reasoning
軟件風(fēng)險(xiǎn) software hazard
軟件庫(kù)管理員 software librarian
軟件庫(kù) software library
軟件生存周期 software life cycle
軟件維護(hù)員 software maintainer
軟件監(jiān)控程序 software monitor
軟件操作員 software operator
軟件產(chǎn)品 software product
軟件采購(gòu)員 software purchaser
軟件質(zhì)量 software quality
質(zhì)量保證 quality assurance
質(zhì)量度量學(xué) quality metrics
軟件度量學(xué) software metrics
軟件質(zhì)量保證 software quality assurance
軟件質(zhì)量評(píng)判準(zhǔn)則 software quality criteria
軟件可靠性 software reliability
軟件注冊(cè)員 software registrar
軟件儲(chǔ)藏庫(kù) software repository
軟件復(fù)用 software reuse
軟件安全性 software safety
軟件潛行分析 software sneak analysis
軟件單元 software unit
軟件驗(yàn)證程序 software verifier
規(guī)約語(yǔ)言 specification language
規(guī)約驗(yàn)證 specification verification
穩(wěn)定性 stability
供方 supplier
支持軟件 support software
符號(hào)執(zhí)行 symbolic execution
系統(tǒng)體系結(jié)構(gòu) system architecture
系統(tǒng)設(shè)計(jì) system design
系統(tǒng)文檔 system documentation
系統(tǒng)庫(kù) system library
系統(tǒng)可靠性 system reliability
系統(tǒng)軟件 system software
系統(tǒng)確認(rèn) system validation
系統(tǒng)驗(yàn)證 system verification
終止性證明 termination proof
測(cè)試用例生成程序 test case generator
測(cè)試覆蓋[率] test coverage
測(cè)試數(shù)據(jù)生成程序 test data generator
測(cè)試驅(qū)動(dòng)程序 test driver
測(cè)試階段 test phase
測(cè)試過(guò)程 test procedure
測(cè)試可重復(fù)性 test repeatability
測(cè)試報(bào)告 test report
分時(shí) time sharing
計(jì)時(shí)分析程序 timing analyzer
追蹤程序 tracer
培訓(xùn) training
類(lèi)型 type
軟件性能 software performance
自適應(yīng)性 adaptability
內(nèi)聚性 cohesion
模塊性 modularity
可復(fù)用性 reusability
部分正確性 partial correctness
完全正確性 total correctness
有效性 validity
用戶(hù)合同管理員 user contract administrator
用戶(hù)文檔 user documentation
實(shí)用軟件 utility software
版本控制 version control
更改控制 change control
基線(xiàn) baseline
原型 prototype
原型制作 prototyping
原型速成 rapid prototyping
領(lǐng)域建模 domain modeling, DM
體系結(jié)構(gòu)建模 architecture modeling, AM
黑箱 black-box
白箱 white-box
領(lǐng)域工程師 domain engineer
軟件體系結(jié)構(gòu) software architecture
軟件再工程 software reengineering
軟件過(guò)程 software process
可復(fù)用構(gòu)件 reusable component
基于構(gòu)件的軟件開(kāi)發(fā) component-based software development, CBSD
基于構(gòu)件的軟件工程 component-based software engineering, CBSE
3C模型 concept, content and context 3C 3C指概念、內(nèi)容和語(yǔ)境。
特定領(lǐng)域軟件體系結(jié)構(gòu) domain-specific software architecture, DSSA
軟件體系結(jié)構(gòu)風(fēng)格 software architectural style, SAS
合法性撤消 revocation又稱(chēng)“合法性取消”。
版本升級(jí) version upgrade
向下兼容 downward compatibility
向上兼容 upward compatibility
管理過(guò)程 management process
獲取過(guò)程 acquisition process
供應(yīng)過(guò)程 supply process
維護(hù)過(guò)程 maintenance process
支持過(guò)程 supporting process
剪裁過(guò)程 tailoring process
軟件工程經(jīng)濟(jì)學(xué) software engineering economics
計(jì)算機(jī)軟件的法律保護(hù) legal protection of computer software
軟件版權(quán) software copyright
事務(wù)分析 transaction analysis
人工認(rèn)知 artificial cognition
腦功能模塊 brain function module
腦成像 brain imaging
腦模型 brain model
腦科學(xué) brain science
知識(shí)塊 chunk
認(rèn)知 cognition
認(rèn)知映射 cognitive mapping
認(rèn)知過(guò)程 cognitive process
認(rèn)知心理學(xué) cognitive psychology
認(rèn)知仿真 cognitive simulation
認(rèn)知系統(tǒng) cognitive system
思維科學(xué) noetic science
認(rèn)知科學(xué) cognitive science
感知 perception
認(rèn)知模型 cognitive model
動(dòng)態(tài)記憶 dynamic memory
情景記憶 episodic memory
認(rèn)識(shí)學(xué) epistemology
智能 intelligence
智能科學(xué) intelligent science
群體智能 swarm intelligence
宏理論 macro-theory
記憶組織包 memory organization packet, MOP
記憶表示 memory representation
心智能力 mental ability
心智圖像 mental image
心智信息傳送 mental information transfer
心智機(jī)理 mental mechanism
心智狀態(tài) mental state
心智心理學(xué) mental psychology
微理論 micro-theory
機(jī)器智能 machine intelligence
物理符號(hào)系統(tǒng) physical symbol system
DS理論 Dempster-Shafer theory
框架語(yǔ)法 frame grammar
知識(shí)工程 knowledge engineering, KE
知識(shí) knowledge
領(lǐng)域知識(shí) domain knowledge
啟發(fā)式知識(shí) heuristic knowledge
常識(shí) commonsense
知識(shí)表示 knowledge representation, KR
陳述性知識(shí) declarative knowledge
過(guò)程性知識(shí) procedural knowledge
知識(shí)表示方式 knowledge representation mode
知識(shí)模式 knowledge schema
框架知識(shí)表示 frame knowledge representation
概念結(jié)點(diǎn) concept node
腳本知識(shí)表示 script knowledge representation
狀態(tài)空間 state space
狀態(tài)圖 state graph
元知識(shí) metaknowledge
元規(guī)則 metarule
面向?qū)ο蟊硎?object-oriented representation
黑板 blackboard
黑板結(jié)構(gòu) blackboard structure
知識(shí)源 knowledge source
知識(shí)結(jié)構(gòu) knowledge structure
問(wèn)題 problem
問(wèn)題診斷 problem diagnosis
問(wèn)題重構(gòu) problem reformulation
問(wèn)題空間 problem space
問(wèn)題狀態(tài) problem state
過(guò)程分析 procedure analysis
進(jìn)程定性推理 process qualitative reasoning
規(guī)則子句 rule clause
規(guī)則 rule
啟發(fā)式規(guī)則 heuristic rule
前提 antecedent, premise
條件式 conditions
產(chǎn)生式規(guī)則 production rule
產(chǎn)生式系統(tǒng) production system
領(lǐng)域無(wú)關(guān)規(guī)則 domain-independent rule
類(lèi)規(guī)則表示 rule-like representation
規(guī)則集 rule set
狀態(tài)空間表示 state space representation
符號(hào)智能 symbolic intelligence
重言式規(guī)則 tautology rule
傳遞相關(guān)性 transitive dependency
傳遞簡(jiǎn)約 transitive reduction
不確定證據(jù) uncertain evidence
不確定知識(shí) uncertain knowledge
人工約束 artificial constraint
經(jīng)驗(yàn)法則 empirical law
特征提取 feature extraction
繼承 inheritance
例示 instantiation
意義域 meaning domain
規(guī)劃 planning
元規(guī)劃 metaplanning
自規(guī)劃 self-planning
自調(diào)整 self-regulating
貝葉斯分類(lèi)器 Bayesian classifier
貝葉斯決策規(guī)則 Bayesian decision rule
貝葉斯決策方法 Bayesian decision method
貝葉斯推理 Bayesian inference
貝葉斯推理網(wǎng)絡(luò) Bayesian inference network
貝葉斯邏輯 Bayesian logic
貝葉斯定理 Bayesian theorem
黑板體系結(jié)構(gòu) blackboard architecture
黑板協(xié)調(diào) blackboard coordination
黑板記憶組織 blackboard memory organization
黑板模型 blackboard model
黑板協(xié)商 blackboard negotiation
黑板策略 blackboard strategy
黑板系統(tǒng) blackboard system
智能系統(tǒng) intelligent system
問(wèn)題求解 problem solving
問(wèn)題歸約 problem reduction
解圖 solution graph
解樹(shù) solution tree
候選解 candidate solution
子目標(biāo) subgoal
有限目標(biāo) finite goal
無(wú)窮目標(biāo) infinite goal
通用問(wèn)題求解程序 general problem solver, GPS
手段目的分析 means-end analysis
啟發(fā)式搜索 heuristic search
評(píng)價(jià)函數(shù) evaluation function
弱方法 weak method
爬山法 hill climbing method
α-β剪枝 α-β pruning
代價(jià)函數(shù) cost function
定向搜索 beam search
盲目搜索 blind search
分支限界搜索 branch-and-bound search
深度優(yōu)先搜索 depth-first search
佳優(yōu)先搜索 best-first search
雙向搜索 bidirectional search
圖搜索 graph search
交叉搜索 intersection search
有序搜索 ordered search
并行搜索 parallel search
試湊搜索 trial-and-error search
路徑搜索 path search
搜索圖 search graph
搜索規(guī)則 search rule
搜索空間 search space
搜索策略 search strategy
搜索樹(shù) search tree
推導(dǎo)樹(shù) derivation tree
范例 case又稱(chēng)“案例”。
范例庫(kù) case base
范例依存相似性 case dependent similarity
范例表示 case representation
范例重存 case restore
范例檢索 case retrieval
范例檢索網(wǎng) case retrieval net
范例重用 case reuse
范例修正 case revision
范例結(jié)構(gòu) case structure
范例驗(yàn)證 case validation
基于范例的推理 case-based reasoning, CBR
因果推理 causal reasoning
因果性 causality
沖突鑒別 conflict discriminate
沖突調(diào)解 conflict reconcile
沖突消解 conflict resolution
沖突集 conflict set
一致性強(qiáng)制器 consistency enforcer
知識(shí)相容性 consistency of knowledge
一致估計(jì) consistent estimation
約束條件 constraint condition
約束方程 constraint equation
約束函數(shù) constraint function
約束矩陣 constraint matrix
約束規(guī)則 constraint rule
合同網(wǎng) contract net
正確性 correctness
判定邏輯 decision logic
決策制定 decision making
決策矩陣 decision matrix
決策計(jì)劃 decision plan
決策問(wèn)題 decision problem
決策過(guò)程 decision procedure
決策空間 decision space
判定符號(hào) decision symbol
決策論 decision theory
相關(guān)規(guī)則 dependency rule
動(dòng)態(tài)世界規(guī)劃 dynamic world planning
證據(jù)推理 evidential reasoning
全局知識(shí) global knowledge
全局優(yōu)化 global optimization
全局搜索 global search
目標(biāo)范例庫(kù) goal case base
目標(biāo)子句 goal clause
目標(biāo)對(duì)象 goal object
目標(biāo)回歸 goal regression
目標(biāo)集 goal set
目標(biāo)引導(dǎo)行為 goal-directed behavior
啟發(fā)式算法 heuristic algorithm
啟發(fā)式方法 heuristic approach
啟發(fā)式函數(shù) heuristic function
啟發(fā)式信息 heuristic information
啟發(fā)式程序 heuristic program
啟發(fā)式技術(shù) heuristic technique
不完全性理論 incompleteness theory
不合邏輯 illogicality
合一 unification
合一子 unifier
泛合一 universal unification
廣合一子 most general unifier
推理 reasoning, inference
啟發(fā)式推理 heuristic inference
推理策略 inference strategy
推理模型 inference model, reasoning model
自動(dòng)推理 automated reasoning
形式推理 formal reasoning
基于知識(shí)[的]推理系統(tǒng) knowledge-based inference system
自動(dòng)邏輯推理 automated logic inference
演繹推理 deductive inference
反繹推理 abductive reasoning
假設(shè) hypothesis
斷言 assertion
自動(dòng)演繹 automatic deduction
規(guī)則推理 rule-based reasoning
正向推理 forward reasoning, forward chained reasoning
目標(biāo)驅(qū)動(dòng) goal driven
反向推理 backward reasoning, backward chained reasoning
雙向推理 bidirection reasoning
目標(biāo)導(dǎo)向推理 goal-directed reasoning
基于知識(shí)[的]推理 knowledge-based inference
邏輯推理 logical reasoning
自頂向下推理 top-down reasoning
自底向上推理 bottom-up reasoning
元推理 metareasoning
不確定推理 uncertain reasoning
模糊推理 fuzzy reasoning
類(lèi)比推理 analogical inference
單調(diào)推理 monotonic reasoning
非單調(diào)推理 non-monotonic reasoning
限定推理 circumscription reasoning