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