Case-by-Case Problem Solving Pei Wang Temple University Philadelphia, USA.

Slides:



Advertisements
Similar presentations
Pat Langley Computational Learning Laboratory Center for the Study of Language and Information Stanford University, Stanford, California
Advertisements

Divide and Conquer Yan Gu. What is Divide and Conquer? An effective approach to designing fast algorithms in sequential computation is the method known.
Design and Analysis of Algorithms NP-Completeness Haidong Xue Summer 2012, at GSU.
Hardness Results for Problems P: Class of “easy to solve” problems Absolute hardness results Relative hardness results –Reduction technique.
1 Module 10 Universal Algorithms –moving beyond one problem at a time –operating system/general purpose computer.
Algorithms and Problem Solving-1 Algorithms and Problem Solving.
Lecture 2: Fundamental Concepts
Text Chapters 1, 2. Sorting ä Sorting Problem: ä Input: A sequence of n numbers ä Output: A permutation (reordering) of the input sequence such that:
1 Lecture 7 Halting Problem –Fundamental program behavior problem –A specific unsolvable problem –Diagonalization technique revisited Proof more complex.
1 Lecture 10 Universal Algorithms –moving beyond one problem at a time –operating system/general purpose computer.
School of Computing Science CMT1000 © Ed Currie Middlesex University 1 CMT1000: Introduction to Programming Ed Currie Lecture 1B: Problem Solving.
The Future of Artificial Intelligence John Paxton Montana State University August 14, 2003.
McGraw-Hill/Irwin ©2005 The McGraw-Hill Companies, All rights reserved ©2005 The McGraw-Hill Companies, All rights reserved McGraw-Hill/Irwin.
New Mexico Computer Science For All Introduction to Algorithms Maureen Psaila-Dombrowski.
Unit 1. Sorting and Divide and Conquer. Lecture 1 Introduction to Algorithm and Sorting.
Helsinki University of Technology Adaptive Informatics Research Centre Finland Variational Bayesian Approach for Nonlinear Identification and Control Matti.
Tell the robot exactly how to draw a square on the board.
Artificial Intelligence Lecture 9. Outline Search in State Space State Space Graphs Decision Trees Backtracking in Decision Trees.
Problem Solving Methods. CSCE 1062 Outline Problem Solving Methods Problem solving steps The analytical method The algorithmic method The software engineering.
A Level Computing#BristolMet Session Objectives U2#S9 MUST identify operators and operands SHOULD describe different types of operator COULD Create an.
Algorithms and their Applications CS2004 ( ) Dr Stephen Swift 1.2 Introduction to Algorithms.
CS 345: Chapter 10 Parallelism, Concurrency, and Alternative Models Or, Getting Lots of Stuff Done at Once.
INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND TECHNOLOGY, P.P , MARCH An ANFIS-based Dispatching Rule For Complex Fuzzy Job Shop Scheduling.
Formal Models in AGI Research Pei Wang Temple University Philadelphia, USA.
Artificial Intelligence By Michelle Witcofsky And Evan Flanagan.
Natural Language Processing by Reasoning and Learning Pei Wang Temple University Philadelphia, USA.
IXA 1234 : C++ PROGRAMMING CHAPTER 1. PROGRAMMING LANGUAGE Programming language is a computer program that can solve certain problem / task Keyword: Computer.
A Node and Load Allocation Algorithm for Resilient CPSs under Energy-Exhaustion Attack Tam Chantem and Ryan M. Gerdes Electrical and Computer Engineering.
2.5-2 – Absolute Value Inequalities and their graphs
Computer Science 101 A Survey of Computer Science Timing Problems.
3.3 Complexity of Algorithms
Chapter 4 Decision Support System & Artificial Intelligence.
1 Algorithms  Algorithms are simply a list of steps required to solve some particular problem  They are designed as abstractions of processes carried.
Energy-Aware Scheduling for Aperiodic Tasks on Multi-core Processors Dawei Li and Jie Wu Department of Computer and Information Sciences Temple University,
Patrick De Causmaecker Stefaan Haspeslagh Tommy Messelis.
Vector and symbolic processors
Introduction to Artificial Intelligence CS 438 Spring 2008.
Presented by: Dardan Xhymshiti Spring 2016:. Authors: Publication:  ICDM 2015 Type:  Research Paper 2 Michael ShekelyamGregor JosseMatthias Schubert.
Young CS 331 D&A of Algo. NP-Completeness1 NP-Completeness Reference: Computers and Intractability: A Guide to the Theory of NP-Completeness by Garey and.
Onlinedeeneislam.blogspot.com1 Design and Analysis of Algorithms Slide # 1 Download From
Issues in Temporal and Causal Inference Pei Wang Temple University, USA Patrick Hammer Graz University of Technology, Austria.
From NARS to a Thinking Machine Pei Wang Temple University.
Chapter 12 Theory of Computation Introduction to CS 1 st Semester, 2014 Sanghyun Park.
 Knowledge Acquisition  Machine Learning. The transfer and transformation of potential problem solving expertise from some knowledge source to a program.
Starter Complete the Word Search. CG3.7 Algorithms (The Insertion Sort (Chapter 46) & Algorithm Testing)
Divide-and-Conquer Pattern ITCS 4/5145 Parallel Computing, UNC-Charlotte, B. Wilkinson, June 25, 2012 slides4.ppt. 4.1.
School of Computing Clemson University Fall, 2012
The Need for Algorithms
Knowledge Representation
Algorithms and Problem Solving
Data Structures Lab Algorithm Animation.
Lesson Objectives Aims From the spec:
Unit 1. Sorting and Divide and Conquer
Lesson 5-15 AP Computer Science Principles
Looping and Random Numbers
Intro to Recursion.
Programming #4 Computer Problems
בואו לשלב ידיים בשלובים שלובים, הרשת החברתית מקצועית של מכון מופ"ת
Pei Wang Temple University Philadelphia, USA
EA C461 – Artificial Intelligence Problem Solving Agents
Supplement Beyond Computation
Teori Bahasa dan Automata Lecture 1: Course Overview and Introduction
Quadratic Equations.
Fundamentals of Neural Networks Dr. Satinder Bal Gupta
NP-Completeness Reference: Computers and Intractability: A Guide to the Theory of NP-Completeness by Garey and Johnson, W.H. Freeman and Company, 1979.
The language and formal semantics of computability logic
Generalized Diagnostics with the Non-Axiomatic Reasoning System (NARS)
Complexity Theory: Foundations
Embodiment: Does a laptop have a body?
Presentation transcript:

Case-by-Case Problem Solving Pei Wang Temple University Philadelphia, USA

Algorithmic Problem Solving Use a computer to solve a problem:  Problem is a class, solution is an algorithm e.g., “sorting” to “quicksort”  Problem is an instance, solution is a result e.g., “sort [3, 2, 4, 1]” to “[1, 2, 3, 4]” The former is done by human, the latter is done by computer following the algorithm

No algorithm for it? What if the computer has no algorithm for a problem instance?  Use a general-purpose algorithm e.g., state-space search  Find an algorithm first e.g., machine learning

Solving it without algorithm?! How about to directly solve the problem instance without following an algorithm? “Nonsense! How can a computer run without algorithms?” “But this process can still be carried out by algorithms not defined for this problem. An algorithm for problem P is not an algorithm for problem Q, right?”

Case-by-case problem solving  NARS represents a problem (instance) as an inference task, to be processed by a set of general-purpose inference rules  Rule selection is knowledge-driven, rather than algorithm-guided  Knowledge selection is context-sensitive  Inference process is resource-restricted

Scopes of input-output  Each operation in NARS is controlled by certain algorithm, with fixed input-output mapping (see code)code  The lifelong experience of the system fully determines its lifelong behaviors (see examples)examples  However, there is no function that maps “problem” to “solution”

Properties of CPS CPS and APS are suitable for different (knowledge/resources) situations In CPS, the following notions are different:  Problem  Solution  Solvable problems  Resource cost of a problem  Scaling up …