Knowledge Networks or “The Rise of the Machines”.

Slides:



Advertisements
Similar presentations
Modelling with expert systems. Expert systems Modelling with expert systems Coaching modelling with expert systems Advantages and limitations of modelling.
Advertisements

Ch:8 Design Concepts S.W Design should have following quality attribute: Functionality Usability Reliability Performance Supportability (extensibility,
Justification-based TMSs (JTMS) JTMS utilizes 3 types of nodes, where each node is associated with an assertion: 1.Premises. Their justifications (provided.
Architecture Representation
Lecture 8: Three-Level Architectures CS 344R: Robotics Benjamin Kuipers.
Programming Languages Marjan Sirjani 2 2. Language Design Issues Design to Run efficiently : early languages Easy to write correctly : new languages.
Prepositional Chains Creating and binding together a microcontext for dense and complex sentences.
ISBN Chapter 3 Describing Syntax and Semantics.
From Words to Knowledge ORION Active Structure. ORION Active Structure Two Approaches We could separate the process of turning words into knowledge into.
Program Management Program management has similarities to the management of an ecosystem - not just the biggest fish are important.
Orion Philosophy and Rationale. If it really is structure, what sort of structure is it? We are asserting that it is active dynamic undirected structure.
Software modeling for embedded systems: static and dynamic behavior.
1 Enforcing Confidentiality in Low-level Programs Andrew Myers Cornell University.
Chapter 1 Software Development. Copyright © 2005 Pearson Addison-Wesley. All rights reserved. 1-2 Chapter Objectives Discuss the goals of software development.
Knowledge Management In the Insurance Industry Making Organisational Knowledge Active.
CS 330 Programming Languages 09 / 16 / 2008 Instructor: Michael Eckmann.
Geography 465 Overview Geoprocessing in ArcGIS. MODELING Geoprocessing as modeling.
Describing Syntax and Semantics
Orion Overview. We build an internal model of the world, so we can predict future behaviour - we make the model out of active structure so it is interoperable.
Neural Networks (NN) Ahmad Rawashdieh Sa’ad Haddad.
System-Level Types for Component-Based Design Paper by: Edward A. Lee and Yuhong Xiong Presentation by: Dan Patterson.
Descriptive Modelling: Simulation “Simulation is the process of designing a model of a real system and conducting experiments with this model for the purpose.
SE-565 Software System Requirements More UML Diagrams.
Improved results for a memory allocation problem Rob van Stee University of Karlsruhe Germany Leah Epstein University of Haifa Israel WADS 2007 WAOA 2007.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 15 Slide 1 Real-time Systems 1.
State and Sequence Diagrams Modelling dynamic information So far we have seen: Use Case Diagrams – requirements capture, interface.
Why Analysis Process Refer to earlier chapters Models what the system will do makes it easier for understanding no environment considered (hence, system.
1.eCognition Overview. 1 eCognition eCognition is a knowledge utilisation platform based on Active Knowledge Network technology eCognition covers the.
Presentation on Neural Networks.. Basics Of Neural Networks Neural networks refers to a connectionist model that simulates the biophysical information.
Active Structure A + B = C. Logic and Numbers IF A + B = C THEN D + E = F.
XML – Tools and Trends Schematron Tim Bornholtz Session 55.
Architecture GRASP Realization of use cases in interaction diagrams Design class diagram Design ( how )
The Use of Active Structure in Biotechnology. We won’t bother to tell you how hard, how complex, how dynamic, is knowledge in the field of biotechnology.
The Logical Structure of Knowledge. Two Statements Olga is pretty and Fred is a liar Something is providing a True to the AND - let’s represent that with.
 Java has the logical operators and, or, and not, symbolized by &&, ||, and !, respectively.  Logical or means one or the other or both conditions hold.
Problem Solving Techniques. Compiler n Is a computer program whose purpose is to take a description of a desired program coded in a programming language.
Operational Logistics. Useful New Abilities The abilities to: embed alternatives, contingencies switch on/off different chains dynamically extend the.
What to remember from Chap 13 (Logical architecture)
Albert Gatt LIN3021 Formal Semantics Lecture 4. In this lecture Compositionality in Natural Langauge revisited: The role of types The typed lambda calculus.
Schematron Tim Bornholtz. Schema languages Many people turn to schema languages when they want to be sure that an XML instance follows certain rules –DTD.
Object-Oriented Modeling: Static Models. Object-Oriented Modeling Model the system as interacting objects Model the system as interacting objects Match.
1-1 Software Development Objectives: Discuss the goals of software development Identify various aspects of software quality Examine two development life.
SOFTWARE ENGINEERING. Objectives Have a basic understanding of the origins of Software development, in particular the problems faced in the Software Crisis.
Lecture 14 22/10/15. The Object-Oriented Analysis and Design  Process of progressively developing representation of a system component (or object) through.
Programming Fundamentals. Topics to be covered Today Recursion Inline Functions Scope and Storage Class A simple class Constructor Destructor.
Practical Object-Oriented Design with UML 2e Slide 1/1 ©The McGraw-Hill Companies, 2004 PRACTICAL OBJECT-ORIENTED DESIGN WITH UML 2e Chapter 10: Statecharts.
...But is it Scientific?. To answer that question, we need to look at the operation of a sequential machine Scientific?
Artificial Intelligence: Research and Collaborative Possibilities a presentation by: Dr. Ernest L. McDuffie, Assistant Professor Department of Computer.
21/1/ Analysis - Model of real-world situation - What ? System Design - Overall architecture (sub-systems) Object Design - Refinement of Design.
Classical Control in Quantum Programs Dominique Unruh IAKS, Universität Karlsruhe Founded by the European Project ProSecCo IST
JavaScript Introduction and Background. 2 Web languages Three formal languages HTML JavaScript CSS Three different tasks Document description Client-side.
CSC3315 (Spring 2009)1 CSC 3315 Languages & Compilers Hamid Harroud School of Science and Engineering, Akhawayn University
Basic Characteristics of Object-Oriented Systems
ECognition Model Components. 2. eCognition Model Components1 Model Components Variables and Constants Operators and Functions Links Logical States Messages.
Tupai Business Systems Predictive Models using eCognition TM.
COMBINATIONAL AND SEQUENTIAL CIRCUITS Guided By: Prof. P. B. Swadas Prepared By: BIRLA VISHVAKARMA MAHAVDYALAYA.
Software Design Process. What is software? mid-1970s executable binary code ‘source code’ and the resulting binary code 1990s development of the Internet.
Interface Concepts Modeling Core Team Marc Sarrel Steve Hetfield June 23, 2016.
Design Review.
Case Study -- Weather system
Systems Analysis and Design With UML 2
Unified Modeling Language
Models.
in Complex Control Systems
Internet of Things A Process Calculus Approach
An Introduction to Software Architecture
Information Systems Development MIS331
Test Case Test case Describes an input Description and an expected output Description. Test case ID Section 1: Before execution Section 2: After execution.
What Are Performance Counters?
Chapter 12: Building Situated Robots
Presentation transcript:

Knowledge Networks or “The Rise of the Machines”

A Flexible Finite State Machine A + B = C

Signalling of States

What’s Wrong with Sequential Machines? IF NOT ValidState GOTO Out FOR i := 1 TO 10 DO BEGIN END; Out: Assign 1 -> I Jump1: JMP I > 10 INC I JMP Jump1 Out: We would like to run the FOR loop only when the machine is in a valid state, but we can’t suspend our one processor, and we can’t loop

The Equivalent Finite State Machine Startup will only occur when we are in a True state - we will bypass if in False state Animation

What’s the Point? We need to build machinery to handle every state transition - we can’t use the crutch of sequenced instructions If we do this, we can handle complex and dynamic phasing beyond the reach of programming The structure can be modified on the run, it can see itself, adapt and extend itself, it can backtrack out of a scenario it constructed

We Also Need to Conserve Meaning What does an EQUALS sign mean? A = B + C What aboutIF A = B THEN C = D If we make IF...THEN... mean logical implication then the two EQUALS signs mean exactly the same thing Why is this important - because we are not using sequence anymore - we are not programming, but building structure

Knowledge Is Structure What does that mean? Knowledge isn’t rules that work from the outside, but structure that works from the inside, modelling the world and providing predictions of behaviour in previously unseen situations. What sort of structure does it imply? The structure can’t be directed to any purpose, and the structure needs to adapt itself to a changing environment - the structure needs to be active.

How Is This Different? The paradigm is based on: Connection Activity Visibility It is an active constructionist approach, and from that flows extensibility, and the ability to manage complexity

Is It Really So Different We are asserting that knowledge can only be captured in active structure - structure that is capable of adapting itself to its environment. Efforts at capturing knowledge in static structure founder on two reefs - the pieces of structure will not fit together statically, and an algorithm that could manage their combination would be more complex than the combination of the pieces, and is thus both unmanageable and unreachable from text. Active structure avoids both problems - the pieces adapt to each other, and the behaviour of the combination is managed by the interaction of the pieces.

What’s Wrong With Static Structure The inferential structure that gave it birth has drained away Usually rooted in a hierarchy Neither self-sustaining, nor adaptive with other structures Requires an external active element which “understands” it

Inferential Structure Drained Away Sensory Layer Motor Layer Environment Programmer Business Knowledge A Control System

When Inferential Structure Remains Sensory Layer Motor Layer Environment Business Knowledge Business knowledge is used as a cognitive layer, active and capable of rearranging its structure to adapt to changing circumstances, including changes to itself.

What’s Needed Knowledge Structure Dynamic Construction & Destruction Constraint Reasoning Structural Backtrack Machine Learning

Combining Structures It may seem simple, but the ability to combine knowledge structures is a very strong constraint on how the knowledge is structured. Each individual structure can’t have a beginning or an end, and can’t have an external algorithm which is needed to make sense of it - each structure has to be active, carrying all its own operation and phasing. Only then can the pieces build into larger assemblies which also carry the same properties.

Simple Machine Learning Simulate scenarios, remember successful approaches in probabilistic relations inside the machine

Using active structure to represent knowledge, the user can turn what they know into a shareable and reusable piece of knowledge by describing relations among objects - the structure can use the relations any way it needs to, when it needs to. Users can refine their thinking by observing a model of it in operation. The System as a Thinking Tool Orion

Combining Knowledge Domains Models from different domains can combine themselves automatically - based on the presence of context and control structures within the contributions. Strategy

The Rise of the Machines Machines changing their internal topology in response to the environment - that doesn’t sound good. Machines do it all the time. A plane lowering its undercarriage is a machine changing its topology. We are talking about soft machines here, with internal resources to build structure, but a PLUS changing its connections doesn’t sound too threatening.