软件风险 software hazard
软件库管理员 software librarian
软件库 software library
软件生存周期 software life cycle
软件维护员 software maintainer
软件监控程序 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
规约语言 specification language
规约验证 specification verification
稳定性 stability
供方 supplier
支持软件 support software
符号执行 symbolic execution
系统体系结构 system architecture
系统设计 system design
系统文档 system documentation
系统库 system library
系统可靠性 system reliability
系统软件 system software
系统确认 system validation
系统验证 system verification
终止性证明 termination proof
测试用例生成程序 test case generator
测试覆盖[率] test coverage
测试数据生成程序 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
基于构件的软件开发 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
软件工程经济学 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
认知系统 cognitive system
思维科学 noetic science
认知科学 cognitive science
感知 perception
认知模型 cognitive model
动态记忆 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
心智状态 mental state
心智心理学 mental psychology
微理论 micro-theory
机器智能 machine intelligence
物理符号系统 physical symbol system
DS理论 Dempster-Shafer theory
框架语法 frame grammar
知识工程 knowledge engineering, KE
知识 knowledge
领域知识 domain knowledge
启发式知识 heuristic knowledge
常识 commonsense
知识表示 knowledge representation, KR
陈述性知识 declarative knowledge
过程性知识 procedural knowledge
知识表示方式 knowledge representation mode
知识模式 knowledge schema
框架知识表示 frame knowledge representation
概念结点 concept node
脚本知识表示 script knowledge representation
状态空间 state space
状态图 state graph
元知识 metaknowledge
元规则 metarule
面向对象表示 object-oriented representation
黑板 blackboard
黑板结构 blackboard structure
知识源 knowledge source
知识结构 knowledge structure
问题 problem
问题诊断 problem diagnosis
问题重构 problem reformulation
问题空间 problem space
问题状态 problem state
过程分析 procedure analysis
进程定性推理 process qualitative reasoning
规则子句 rule clause
规则 rule
启发式规则 heuristic rule
前提 antecedent, premise
条件式 conditions
产生式规则 production rule
产生式系统 production system
领域无关规则 domain-independent rule
类规则表示 rule-like representation
规则集 rule set
状态空间表示 state space representation
符号智能 symbolic intelligence
重言式规则 tautology rule
传递相关性 transitive dependency
传递简约 transitive reduction
不确定证据 uncertain evidence
不确定知识 uncertain knowledge
人工约束 artificial constraint
经验法则 empirical law
特征提取 feature extraction
继承 inheritance
例示 instantiation
意义域 meaning domain
规划 planning
元规划 metaplanning
自规划 self-planning
自调整 self-regulating
贝叶斯分类器 Bayesian classifier
贝叶斯决策规则 Bayesian decision rule
贝叶斯决策方法 Bayesian decision method
贝叶斯推理 Bayesian inference
贝叶斯推理网络 Bayesian inference network
贝叶斯逻辑 Bayesian logic
贝叶斯定理 Bayesian theorem
黑板体系结构 blackboard architecture
黑板协调 blackboard coordination
黑板记忆组织 blackboard memory organization
黑板模型 blackboard model
黑板协商 blackboard negotiation
黑板策略 blackboard strategy
黑板系统 blackboard system
智能系统 intelligent system
问题求解 problem solving
问题归约 problem reduction
解图 solution graph
解树 solution tree
候选解 candidate solution
子目标 subgoal
有限目标 finite goal
无穷目标 infinite goal
通用问题求解程序 general problem solver, GPS
手段目的分析 means-end analysis
启发式搜索 heuristic search
评价函数 evaluation function
弱方法 weak method
爬山法 hill climbing method
α-β剪枝 α-β pruning
代价函数 cost function
定向搜索 beam search
盲目搜索 blind search
分支限界搜索 branch-and-bound search
深度优先搜索 depth-first search
佳优先搜索 best-first search
双向搜索 bidirectional search
图搜索 graph search
交叉搜索 intersection search
有序搜索 ordered search
并行搜索 parallel search
试凑搜索 trial-and-error search
路径搜索 path search
搜索图 search graph
搜索规则 search rule
搜索空间 search space
搜索策略 search strategy
搜索树 search tree
推导树 derivation tree
范例 case又称“案例”。
范例库 case base
范例依存相似性 case dependent similarity
范例表示 case representation
范例重存 case restore
范例检索 case retrieval
范例检索网 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
约束函数 constraint function
约束矩阵 constraint matrix
约束规则 constraint rule
合同网 contract net
正确性 correctness
判定逻辑 decision logic
决策制定 decision making
决策矩阵 decision matrix
决策计划 decision plan
决策问题 decision problem
决策过程 decision procedure
决策空间 decision space
判定符号 decision symbol
决策论 decision theory
相关规则 dependency rule
动态世界规划 dynamic world planning
证据推理 evidential reasoning
全局知识 global knowledge
全局优化 global optimization
全局搜索 global search
目标范例库 goal case base
目标子句 goal clause
目标对象 goal object
目标回归 goal regression
目标集 goal set
目标引导行为 goal-directed behavior
启发式算法 heuristic algorithm
启发式方法 heuristic approach
启发式函数 heuristic function
启发式信息 heuristic information
启发式程序 heuristic program
启发式技术 heuristic technique
不完全性理论 incompleteness theory
不合逻辑 illogicality
合一 unification
合一子 unifier
泛合一 universal unification
广合一子 most general unifier
推理 reasoning, inference
启发式推理 heuristic inference
推理策略 inference strategy
推理模型 inference model, reasoning model
自动推理 automated reasoning
形式推理 formal reasoning
基于知识[的]推理系统 knowledge-based inference system
自动逻辑推理 automated logic inference
演绎推理 deductive inference
反绎推理 abductive reasoning
假设 hypothesis
断言 assertion
自动演绎 automatic deduction
规则推理 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
