Professional Documents
Culture Documents
1
Objectives
2
Outline
Engineering Tasks
Inference
3
Definitions
Structure (or Form)
Information represented in drawings (dimensions,
location, topography, etc.) as well as properties of
materials and environmental context. The scope of this
definition is not limited to structural engineering!
Behavior
Includes parameters that describe how the structure
reacts (deformations, stresses, buckling, creep, etc.)
Cause
External actions resulting in a change of behavior
Effect
Observed behavior under the influence of the cause
4
Engineering Tasks - Examples
Analysis
Structure/TInfra Behavior
Simulation
Cause + Structure Effect
Diagnosis
Effect + Structure Cause
Synthesis
Required behavior Structure = inference
5
Engineering Tasks (cont’d.)
Experimental Research
or
Interpretation of Information
Structure
+ Behavior models
Behavior
Engineering Tasks
Inference
7
Inference
Deduction
Abduction
Induction
8
Types of Inference
9
Questions
10
Answers
What types of inference are more likely to have multiple answers?
Abduction and induction. Their use is reliable only if it assumed
that all possible rules are known
What types of inference are most sensitive to missing information?
Abduction and induction, since additional information may change
answers
What types of inference can be associated with the five engineering
tasks discussed earlier?
Analysis and simulation are deduction
Synthesis and diagnosis are abduction
Experimental research and interpretation of data are induction
11
Outline
Engineering Tasks
Inference
12
Types of Information
Three Categories
Structure (S)
(dimensions, shapes, properties of materials,
loads, temperature, speed, volume, density
etc.)
Behavior (B)
(congestion, Level of Service, congestion,
stress, shock wave etc.)
Function (F)
(design criteria, specifications, desires of
society, purpose, etc.)
13
Types of Information (cont’d.)
14
Tasks and Types
F Sas-designed
formulation
(standards)
synthesis
Brequired
F = Function transformation
B = Behavior
S = Structure
15
Tasks and Types (cont’d.)
F Sas-designed
formulation
(standards) analysis
synthesis
F = Function transformation
B = Behavior
comparison
S = Structure
16
Tasks and Types (cont’d.)
construction
F Sas-designed Sas-built
formulation
(standards) analysis
synthesis
F = Function transformation
B = Behavior
S = Structure comparison
17
Tasks and Types (cont’d.)
construction
F Sas-designed Sas-built
prediction
formulation diagnosis
(standards) analysis
monitoring
synthesis
F = Function transformation
B = Behavior
comparison
S = Structure
18
Tasks and Types (cont’d.)
The diagram in the previous slide is a representation
of transformations. The iterative aspect is not shown.
For example, if the traditional evaluation task fails,
modifications to either F, Brequired or Sas-designed are carried
out until traditional evaluation succeeds.
19
Tasks and Types (cont’d.)
20
Question
21
Answers
What inference occurs at each task in the
FBS schema ?
deduction and abduction
F Sas-designed Sas-built
deduction
abduction
abduction
deduction
deduction
abduction
22
Outline
Engineering Tasks
Inference
23
Well-defined Tasks
Carried out in closed worlds (all information is
known)
and
and
24
Poorly-defined Tasks
Open world conditions prevail (not all information
is known)
or
Goals are defined only partially
or
Definitions of solutions are incomplete
or
Procedures for obtaining solutions are not known
completely
25
Questions
• What is the point of studying the links between logic
and engineering tasks?
Software requirements are similar for tasks that are
associated with similar types of inference.
• Should a computer provide single answers or
choices?
It depends. Single answers are usually enough for
deductive tasks whereas abductive tasks often require
choices amongst many possibilities.
• What is the logical similarity between design and
diagnosis?
These tasks are both abductive. Therefore they require
similar types of computer support.
26