550

-: .. , .. -, ..

: .. , .. , ..


60- . , . . 70- . , . ( ) , . 80- . . . , , , , , , . , : , , , . , , , . , , .

--------------------------------------------------------------------------------


abduction
abstraction
data abstraction
automaton




cellular automaton
finite automaton
- linear-bounded automaton
push-down automaton


sequential automaton

stochastic automaton
office automation
()
()
()
axiom
speech act

actor
algorithm
wave algorithm
genetic algorithm

cluster analisys
morphologic analisys
protocol analysis
syntactic analysis
scenary analysis
syntactic parser
analogy
anaphora
argumentation

computer architecture
pipeline architecture
parallel architecture
data flow architecture
association
atom
attribute


data base
hierarchical data base
relational data base

extensional data base
knowledge base
closed knowledge base
intensional knowledge base
open knowledge base
backtracking
Socratic dialogue
behaviourism


validation
verification
video-processor
perception
visual perception
tactile perception
teaching selection
inference
abductive inference
probabilitic inference
common-sense inference
inductive inference
intuitionistic inference
linear inference
logical inference
knoledge-based inference
non-monotonic inference
fuzzy inference

inference by analogy
plausible inference
direct inference
call by pattern
proposition
atomic proposition


text generation
hermeneutics
hyper-event
hypothesis
compactness hypothesis
()


-
-
-
matrix grammar

case grammar
network grammar
formal grammar
graph
animation
cognitive graphics


action
problem decomposition
denotatum
inference tree
binary tree
dependency tree
decision tree
consistency tree
goal tree
designator
descriptor
default


empty clause
Horn clause
disjunction
discourse
cognitive dissonance
constructive proof
theorem proving
domain
blackboard




knowledge
declarative knowledge
problem area knowledge
pragmatic knowledge
procedural knowledge
heuristic knowledge
expert knowledge
attribute value
default value
computer vision


/ AND/OR graph
identification
knowledge identification
knowledge acquisition
- AI-programming

illocution


implication
induction
() empirical induction
() complete induction (mathematical)
knowledge engineer
knowledge engineering
artificial intelligence
interview
interpretation

- natural language interface
intelligent interface

knowledge source
calculus
propositional calculus

logical calculus
predicate calculus
first order predicate calculus
propositional calculus
situational calculus


cognitive map
causation
quantifier
quantification
universal quantifier
existential quantifier
classification
clusterization

cogitology
cognitive science
declarative component
concatenation
Kelly construct
concept
conjunction


computational linguistics
computer linguistics
lips
literal
logic
probabilitic logic
belief logic
temporal logic
second order logic

operational logic
deontic logic
dynamic logic
common-sense logic
inductive logic
intuitionistic logic
causal logic
command logic
constructive logic
mathematical logic
multi-valued logic
monotonic logic
non-monotonic logic
fuzzy logic

deontic logic
first order logic
propositional logic
spatial logic
pseudophysical logic
fuzzy logic
default logic
epistemiological logic

locution
""- lambda-calculus


abstract machine
data base machine
knowledge base machine
virtual machine
parallel inference machine
Post machine
connection machine
Turing machine
, data flow machine

menu
plausibility measure
meta-knowledge
meta-production
metaphor
meta-language
branch-and-bound method
interview method


inference mechanism
inheritance mechanism
MIMD architecture
fuzzy set
model
associative model
computational model
closed model
knowledge model
cognitive model
conceptual model
Kripke model
labyrinth model
linguistic model
- logical-linquistic model
logical model
world model
learning model
communication model
open model

user model
relational model
network model
situational model

- SR-model (stimulus-reaction model)

formal model
language model
modus ponens
modus tollens


hireditance
neurobionics



uncertainty
linguistic uncertainty
incompleteness
algorithmic nonresolvability


subject area
ill-structered subject area
well-structured subject area
problem area

inductive generalization
shell
argument
natural language processing
image processing
parallel processing
signal processing
image
pattern
learning
learning from examples
communication
combination of evidences
explanation


justification
knowledge base debugging


relation
antireflexive relation
antisymmetric relation
antitransitive relation
virtual relation
temporal relation
action relation
intensional relation
causal relation
fuzzy modelling relation
non-reflexive relation
non-symmetric relation
non-transitive relation
spatial relation
relevance relation
reflexive relation
semantic relation
symmetric relation
tolerance relation
transitive relation
functional relation
equivalence relation
extensional relation
negation
logical negation


deep case
Fillmor case
associative memory
virtual memory
iconic memory
- pipeline architecture
machine translation
linguistic variable
propositional variable
bound variable
perlocution
perceptron
perception
pixel

planning
activity planning
hierarchical planning
distributed planning
strategic planning
tactic planning
planner
Bayesian approach
search
associative search
depth-first search
search in problem space
search in state space
breadth-first search

information search

pattern-matching
" "best-first search

" "
" "
natural language understanding
concept
automated hypothesis generation
text generation
data flow
de Morgan rules
rule
inference rule
compositional inference rule
syntactic rule
predicate
data representation
knowledge representation
extensional representation
presupposition
resolution principle
knowledge acquisition
game program
heuristic program
programming
logical programming
- object-oriented programming

heuristic programming
production
proposition

Osgood space
semantic space
state space
goal space
absolute inconsistency
model inconsistency
frame-prototype
refutation procedure
attached procedure
asynchronous process
associative processor
data base processor
linguistic processor
logical processor
inference processor
matrix processor
simbolic processor
cognitive psychology


algorithmic resolvability
pattern-recognition
speech recognition
semantic distance
reasoning
autoepistemic reasoning
hermeneutics reasoning
common-sense reasoning
non-monotonic reasoning
reasoning by analogy
reasoning by association
default reasoning
plausible reasoning
resolvent
resolution
problem solver
repertoire lattice of Kelly
- RISC-architecture
autonomous robot
integral robot
intelligent robot


garbage collection
evidence
sequent
semantics
situational semantics
semiotics
network
associative network
inference network
causal network
argumented transition network
Petri network
- causal network
semantic network
intensional semantic network
extensional semantic network
connectional network
syllogism
- SIMD-architecture
syntax
automated program synthesis
inductive program synthesis
inductive program synthesis


computer-aided design
axiomatic system
- question-answering system
deductive system
belief system
- natural language system
inductive system
intelligent system
intelligent teaching system
intelligent learning system
interactive system

multi-processor system
learning system
explanatory system
, knowledge-based system
, rule-based system
knowledge representation system
production system
production system
fifth generation computer system
computer-aided control system
data base management system
knowledge base management system


formal system
frame system
expert system
tool expert system
logical consequence
slot
event
pattern-matching


associative list
knowledge engineering tools
anaphoric reference
inference control strategy
deep structure
cognitive structure
homogeneous structure
case structure
cognitive structure
judgement
entity
conceptual scheme
script


computer art
Church thesis
axiomatic theory
logical theory
speech act theory
term
data type
abstract data type


universum
Herbrand universum
unifier
most general unifier
unification
situational control

facet
focus
prefix normal form
atomic formula
closed formula
valid formula

fractail
frame
- frame-prototype
case frame
- prototype frame
- frame-example

belief function
membership function
membership function
Skolem function


inference chain


absolute scale
metric scale
Osgood scale
relative scale
fuzzy scale
topological scale
universal scale


neurobionical computer
heuristics



query language
-
-
knowledge representation language
logical knowledge representation language
production language

frame language

black box


















sitemap:
. , , .