Outline. Uninformed Search. Problem-solving by searching. Requirements for searching. Problem-solving by searching Uninformed search techniques
|
|
- Naomi Thompson
- 5 years ago
- Views:
Transcription
1 Outline Uninformed Search Problem-solving by searching Uninformed search techniques Russell & Norvig, chapter 3 ECE457 Applied Artificial Intelligence Fall 2007 Lecture #2 ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 2 Problem-solving by searching An agent needs to perform actions to get from its current state to a goal. This process is called searching. Central in many AI systems Theorem proving, VLSI layout, game playing, navigation, scheduling, etc. ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 3 Requirements for searching Define the problem Represent the search space by states Define the actions the agent can perform and their cost Define a goal What is the agent searching for? Define the solution The goal itself? The path (i.e. sequence of actions) to get to the goal? ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 4 1
2 Assumptions Goal-based agent Environment Fully observable Deterministic Sequential Static Discrete Single agent Formulating problems A well-defined problem has: An initial state A set of actions A goal test A concept of cost ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 5 ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 6 Well-Defined Problem Example Initial state Action Move blank, right, up or, provided it does not get out of the game Goal test Are the tiles in the goal state order? Cost Each move costs 1 Path cost is the sum of moves ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 7 Well-Defined Problem Example Travelling salesman problem Find the shortest round trip to visit each city exactly once Initial state Any city Set of actions Move to an unvisited city Goal test Is the agent in the initial city after having visited every city? Concept of cost Action cost: distance between cities Path cost: total distance travelled ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 8 2
3 Example: 8-puzzle Search Tree Parent Root Child Node (state) Branching factor (b) right up Expanding a node Edge (action) Maximum depth Fringe (m) Leaf ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 9 ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 10 Properties of Search Algos. Completeness Is the algorithm guaranteed to find a goal node, if one exists? Optimality Is the algorithm guaranteed to find the best goal node, i.e. the one with the cheapest path cost? Time complexity How many nodes are generated? Space complexity What s the maximum number of nodes stored in memory? Types of Search Uninformed Search Only has the information provided by the problem formulation (initial state, set of actions, goal test, cost) Informed Search Has additional information that allows it to judge the promise of an action, i.e. the estimated cost from a state to a goal ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 11 ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 12 3
4 Breath-First Search Breath-First Search Complete, if b is finite Optimal, if path cost is equal to depth Guaranteed to return the shallowest goal (depth d) Time complexity = O(b d+1 ) Space complexity = O(b d+1 ) ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 13 ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 14 Breath-First Search Upper-bound case: goal is last node of depth d Number of generated nodes: b+b²+b³+ +b d +(b d+1 -b) = O(b d+1 ) Space & time complexity: all generated nodes Uniform-Cost Search Expansion of Breath-First Search Explore the cheapest node first (in terms of path cost) Condition: No zero-cost or negative-cost edges. Minimum cost is є ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 15 ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 16 4
5 Uniform-Cost Search Complete given a finite tree Optimal Time complexity = O(b C*/є ) O(b d+1 ) Space complexity = O(b C*/є ) O(b d+1 ) Uniform-Cost Search Upper-bound case: goal has path cost C*, all other actions have minimum cost of є Depth explored before taking action C*: C* є C*/є Number of generated nodes: O(b C*/є ) Space & time complexity: all generated nodes є є є є є є є є є є є є є є ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 17 ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 18 Depth-First Search Depth-First Search Complete, if m is finite Not optimal Time complexity = O(b m ) Space complexity = bm+1 = O(bm) Can be reduced to O(m) with recursive algorithm ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 19 ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 20 5
6 Depth-First Search Upper-bound case for space: goal is last node of first After that, we start deleting nodes Number of generated nodes: b nodes at each of m levels Space complexity: all generated nodes = O(bm) Depth-First Search Upper-bound case for time: goal is last node of last Number of nodes generated: b nodes for each node of m levels (entire tree) Time complexity: all generated nodes O(b m ) ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 21 ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 22 Depth-Limited Search Depth-First Search with depth limit l Avoids problems of Depth-First Search when trees are unbounded Depth-First Search is Depth-Limited Search with l = Depth-Limited Search Complete, if l > d Not optimal Time complexity = O(b l ) Space complexity = O(bl) ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 23 ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 24 6
7 Depth-Limited Search Upper-bound case for space: goal is last node of first After that, we start deleting nodes Number of generated nodes: b nodes at each of l levels Space complexity: all generated nodes = O(bl) Depth-Limited Search Upper-bound case for time: goal is last node of last Number of nodes generated: b nodes for each node of l levels (entire tree to depth l) Time complexity: all generated nodes O(b l ) ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 25 ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 26 Iterative Deepening Search Depth-First Search with increasing depth limit l Repeat depth-limited search over and over, with l = l + 1 Avoids problems of Depth-First Search when trees are unbounded Avoids problem of Depth-Limited Search when goal depth d > l Iterative Deepening Search Complete, if b is finite Optimal, if path cost is equal to depth Guaranteed to return the shallowest goal Time complexity = O(b d ) Space complexity = O(bd) Nodes on levels above d are generated multiple times ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 27 ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 28 7
8 Iterative Deepening Search Upper-bound case for space: goal is last node of first After that, we start deleting nodes Number of generated nodes: b nodes at each of d levels Space complexity: all generated nodes = O(bd) Iterative Deepening Search Upper-bound case for time: goal is last node of last Number of nodes generated: b nodes for each node of d levels (entire tree to depth d) Time complexity: all generated nodes O(b d ) ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 29 ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 30 Depth Searches Summary of Searches Depth limit Time complexity Space complexity Depth-first search m O(b m ) O(bm) Depth-limited search l O(b l ) O(bl) Iterative deepening search d O(b d ) O(bd) 1: Assuming b finite (common in trees) 2: Assuming equal action costs 3: Assuming all costs є Breathfirst Uniform Cost Depth -first Complete Yes 1 Yes 1 No 4 Optimal Yes 2 Yes 3 No Time O(b d+1 ) O(b C*/є ) O(b m ) Space O(b d+1 ) O(b C*/є ) O(bm) Depthlimited No 5 No O(b l ) O(bl) Iterative deepening Yes 1 Yes 2 O(b d ) O(bd) 4: Unless m finite (uncommon in trees) 5: Unless l precisely selected ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 31 ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 32 8
9 Summary / Example Going from Arad to Bucharest ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 33 Summary / Example Initial state Being in Arad Action Move to a neighbouring city, if a road exists. Goal test Are we in Bucharest? Cost Move cost = distance between cities Path cost = distance travelled since Arad ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 34 Summary / Example Breath-First Search Summary / Example Uniform-Cost Search ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 35 ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 36 9
10 Summary / Example Depth-First Search Summary / Example Depth-Limited Search, l = 4 ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 37 ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 38 Summary / Example Repeated Example: 8-puzzle States Iterative Deepening Search right up ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 39 ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 40 10
11 Repeated States Repeated States Unavoidable in problems where Actions are reversible Multiple paths to the same state are possible Can greatly increase the number of nodes in a tree Or even make a finite tree infinite! ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 41 A B C D E B A B C C C C D D D D D D D D EEEEEEEE EEEEEEEE Each state generates a single child twice 26 different states 2 25 leaves (i.e. state Z) Over 67M nodes in the tree ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 42 Repeated States Maintain a closed list of visited states Closed list (for expanded nodes) vs. open list (for fringe nodes) Detect and discard repeated states upon generation Increases space complexity ECE457 Applied Artificial Intelligence R. Khoury (2007) Page 43 11
Artificial Intelligence Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras
(Refer Slide Time: 00:26) Artificial Intelligence Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras Lecture - 06 State Space Search Intro So, today
More informationWhat Is On The Final. Review. What Is Not On The Final. What Might Be On The Final
What Is On he inal Review Everything that has important! written next to it on the slides Everything that I said was important ECE457 Applied Artificial Intelligence all 27 ecture #14 ECE457 Applied Artificial
More informationAgnostic KWIK learning and efficient approximate reinforcement learning
Agnostic KWIK learning and efficient approximate reinforcement learning István Szita Csaba Szepesvári Department of Computing Science University of Alberta Annual Conference on Learning Theory, 2011 Szityu
More informationThe Pigeonhole Principle
The Pigeonhole Principle Lecture 45 Section 9.4 Robb T. Koether Hampden-Sydney College Mon, Apr 16, 2014 Robb T. Koether (Hampden-Sydney College) The Pigeonhole Principle Mon, Apr 16, 2014 1 / 23 1 The
More informationNegative Introspection Is Mysterious
Negative Introspection Is Mysterious Abstract. The paper provides a short argument that negative introspection cannot be algorithmic. This result with respect to a principle of belief fits to what we know
More informationNPTEL NPTEL ONLINE COURSES REINFORCEMENT LEARNING. UCB1 Explanation (UCB1)
NPTEL NPTEL ONLINE COURSES REINFORCEMENT LEARNING UCB1 Explanation (UCB1) Prof. Balaraman Ravindran Department of Computer Science and Engineering Indian Institute of Technology Madras So we are looking
More informationVerification and Validation
2012-2013 Verification and Validation Part III : Proof-based Verification Burkhart Wolff Département Informatique Université Paris-Sud / Orsay " Now, can we build a Logic for Programs??? 05/11/14 B. Wolff
More informationVAGUENESS. Francis Jeffry Pelletier and István Berkeley Department of Philosophy University of Alberta Edmonton, Alberta, Canada
VAGUENESS Francis Jeffry Pelletier and István Berkeley Department of Philosophy University of Alberta Edmonton, Alberta, Canada Vagueness: an expression is vague if and only if it is possible that it give
More informationECE 5424: Introduction to Machine Learning
ECE 5424: Introduction to Machine Learning Topics: Probability Review Readings: Barber 8.1, 8.2 Stefan Lee Virginia Tech Project Groups of 1-3 we prefer teams of 2 Deliverables: Project proposal (NIPS
More informationThe Development of Knowledge and Claims of Truth in the Autobiography In Code. When preparing her project to enter the Esat Young Scientist
Katie Morrison 3/18/11 TEAC 949 The Development of Knowledge and Claims of Truth in the Autobiography In Code Sarah Flannery had the rare experience in this era of producing new mathematical research at
More informationRecursive Mergesort. CSE 589 Applied Algorithms Spring Merging Pattern of Recursive Mergesort. Mergesort Call Tree. Reorder the Merging Steps
Recursive Mergesort CSE 589 Applied Algorithms Spring 1999 Cache Performance Mergesort Heapsort A[1n] is to be sorted; B[1n] is an auxiliary array; Mergesort(i,j) {sorts the subarray A[ij] } if i < j then
More informationLogical Omniscience in the Many Agent Case
Logical Omniscience in the Many Agent Case Rohit Parikh City University of New York July 25, 2007 Abstract: The problem of logical omniscience arises at two levels. One is the individual level, where an
More informationMcDougal Littell High School Math Program. correlated to. Oregon Mathematics Grade-Level Standards
Math Program correlated to Grade-Level ( in regular (non-capitalized) font are eligible for inclusion on Oregon Statewide Assessment) CCG: NUMBERS - Understand numbers, ways of representing numbers, relationships
More informationComputational Learning Theory: Agnostic Learning
Computational Learning Theory: Agnostic Learning Machine Learning Fall 2018 Slides based on material from Dan Roth, Avrim Blum, Tom Mitchell and others 1 This lecture: Computational Learning Theory The
More informationGödel's incompleteness theorems
Savaş Ali Tokmen Gödel's incompleteness theorems Page 1 / 5 In the twentieth century, mostly because of the different classes of infinity problem introduced by George Cantor (1845-1918), a crisis about
More informationStructure and essence: The keys to integrating spirituality and science
Structure and essence: The keys to integrating spirituality and science Copyright c 2001 Paul P. Budnik Jr., All rights reserved Our technical capabilities are increasing at an enormous and unprecedented
More informationNPTEL NPTEL ONLINE CERTIFICATION COURSE. Introduction to Machine Learning. Lecture 31
NPTEL NPTEL ONLINE CERTIFICATION COURSE Introduction to Machine Learning Lecture 31 Prof. Balaraman Ravindran Computer Science and Engineering Indian Institute of Technology Madras Hinge Loss Formulation
More informationECE 5424: Introduction to Machine Learning
ECE 5424: Introduction to Machine Learning Topics: (Finish) Model selection Error decomposition Bias-Variance Tradeoff Classification: Naïve Bayes Readings: Barber 17.1, 17.2, 10.1-10.3 Stefan Lee Virginia
More information1 Introduction. Cambridge University Press Epistemic Game Theory: Reasoning and Choice Andrés Perea Excerpt More information
1 Introduction One thing I learned from Pop was to try to think as people around you think. And on that basis, anything s possible. Al Pacino alias Michael Corleone in The Godfather Part II What is this
More information2.1 Review. 2.2 Inference and justifications
Applied Logic Lecture 2: Evidence Semantics for Intuitionistic Propositional Logic Formal logic and evidence CS 4860 Fall 2012 Tuesday, August 28, 2012 2.1 Review The purpose of logic is to make reasoning
More informationArtificial Intelligence Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras
(Refer Slide Time: 00:14) Artificial Intelligence Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras Lecture - 35 Goal Stack Planning Sussman's Anomaly
More information(Refer Slide Time 03:00)
Artificial Intelligence Prof. Anupam Basu Department of Computer Science and Engineering Indian Institute of Technology, Kharagpur Lecture - 15 Resolution in FOPL In the last lecture we had discussed about
More information9/7/2017. CS535 Big Data Fall 2017 Colorado State University Week 3 - B. FAQs. This material is built based on
S535 ig ata Fall 7 olorado State University 9/7/7 Week 3-9/5/7 S535 ig ata - Fall 7 Week 3-- S535 IG T FQs Programming ssignment We discuss link analysis in this week Installation/configuration guidelines
More informationLecture 8 Keynes s Response to the Contradictions
Lecture 8 Keynes s Response to the Contradictions Patrick Maher Scientific Thought II Spring 2010 Introduction The Principle of Indifference is usually understood as saying: If there is no known reason
More informationINSTITUTE FOR CREATIVE SOLUTIONS, LLC
SELF-EMPOWERMENT TRAINING/CREATIVE SOLUTIONS BENEFITS OF THE TRAINING SELF-EMPOWERMENT TRAINING/CREATIVE SOLUTIONS (The New Silva Life Systems Training) NEW FOR 2008 PHYSICAL HEALTH AND WELL-BEING The
More informationECE 5424: Introduction to Machine Learning
ECE 5424: Introduction to Machine Learning Topics: (Finish) Regression Model selection, Cross-validation Error decomposition Readings: Barber 17.1, 17.2 Stefan Lee Virginia Tech Administrative Project
More informationSemantic Entailment and Natural Deduction
Semantic Entailment and Natural Deduction Alice Gao Lecture 6, September 26, 2017 Entailment 1/55 Learning goals Semantic entailment Define semantic entailment. Explain subtleties of semantic entailment.
More informationSession 7 THE NORMATIVE AND THE EMPIRICAL ( PART 2)
UGRC 150 CRITICAL THINKING & PRACTICAL REASONING Session 7 THE NORMATIVE AND THE EMPIRICAL ( PART 2) Lecturer: Dr. Mohammed Majeed, Dept. of Philosophy & Classics, UG Contact Information: mmajeed@ug.edu.gh
More informationRethinking Knowledge: The Heuristic View
http://www.springer.com/gp/book/9783319532363 Carlo Cellucci Rethinking Knowledge: The Heuristic View 1 Preface From its very beginning, philosophy has been viewed as aimed at knowledge and methods to
More information1. Show that f is a bijective
3 Functions 4 SECTION C Inverse Functions B the end o this section ou will be able to show that a given unction is bijective ind the inverse unction You need to know our work on injections and surjections
More informationMinimal and Maximal Models in Reinforcement Learning
Minimal and Maximal Models in Reinforcement Learning Dimiter Dobrev Institute of Mathematics and Informatics Bulgarian Academy of Sciences d@dobrev.com Each test gives us one property which we will denote
More informationUnderstanding Truth Scott Soames Précis Philosophy and Phenomenological Research Volume LXV, No. 2, 2002
1 Symposium on Understanding Truth By Scott Soames Précis Philosophy and Phenomenological Research Volume LXV, No. 2, 2002 2 Precis of Understanding Truth Scott Soames Understanding Truth aims to illuminate
More informationTorah Code Cluster Probabilities
Torah Code Cluster Probabilities Robert M. Haralick Computer Science Graduate Center City University of New York 365 Fifth Avenue New York, NY 006 haralick@netscape.net Introduction In this note we analyze
More information9 Knowledge-Based Systems
9 Knowledge-Based Systems Throughout this book, we have insisted that intelligent behavior in people is often conditioned by knowledge. A person will say a certain something about the movie 2001 because
More informationcorrelated to the Massachussetts Learning Standards for Geometry C14
correlated to the Massachussetts Learning Standards for Geometry C14 12/2003 2004 McDougal Littell Geometry 2004 correlated to the Massachussetts Learning Standards for Geometry Note: The parentheses at
More informationLogic and Artificial Intelligence Lecture 26
Logic and Artificial Intelligence Lecture 26 Eric Pacuit Currently Visiting the Center for Formal Epistemology, CMU Center for Logic and Philosophy of Science Tilburg University ai.stanford.edu/ epacuit
More informationAlan Turing: The Man Behind the Machine
University of the Pacific Scholarly Commons College of the Pacific Faculty Presentations All Faculty Scholarship Fall 10-1-2016 Alan Turing: The Man Behind the Machine Christopher D. Goff University of
More informationMISSOURI S FRAMEWORK FOR CURRICULAR DEVELOPMENT IN MATH TOPIC I: PROBLEM SOLVING
Prentice Hall Mathematics:,, 2004 Missouri s Framework for Curricular Development in Mathematics (Grades 9-12) TOPIC I: PROBLEM SOLVING 1. Problem-solving strategies such as organizing data, drawing a
More informationThe Addition Rule. Lecture 44 Section 9.3. Robb T. Koether. Hampden-Sydney College. Mon, Apr 14, 2014
The Addition Rule Lecture 44 Section 9.3 Robb T. Koether Hampden-Sydney College Mon, Apr 4, 204 Robb T. Koether (Hampden-Sydney College) The Addition Rule Mon, Apr 4, 204 / 7 The Addition Rule 2 3 Assignment
More informationThe St. Petersburg paradox & the two envelope paradox
The St. Petersburg paradox & the two envelope paradox Consider the following bet: The St. Petersburg I am going to flip a fair coin until it comes up heads. If the first time it comes up heads is on the
More informationOn Breaking the Spell of Irrationality (with treatment of Pascal s Wager) Selmer Bringsjord Are Humans Rational? 11/27/17 version 2 RPI
On Breaking the Spell of Irrationality (with treatment of Pascal s Wager) Selmer Bringsjord Are Humans Rational? 11/27/17 version 2 RPI Some Logistics Some Logistics Recall schedule: Next three classes
More informationFormalizing a Deductively Open Belief Space
Formalizing a Deductively Open Belief Space CSE Technical Report 2000-02 Frances L. Johnson and Stuart C. Shapiro Department of Computer Science and Engineering, Center for Multisource Information Fusion,
More informationA-LEVEL Religious Studies
A-LEVEL Religious Studies RST3B Paper 3B Philosophy of Religion Mark Scheme 2060 June 2017 Version: 1.0 Final Mark schemes are prepared by the Lead Assessment Writer and considered, together with the relevant
More informationWhat can happen if two quorums try to lock their nodes at the same time?
Chapter 5 Quorum Systems What happens if a single server is no longer powerful enough to service all your customers? The obvious choice is to add more servers and to use the majority approach (e.g. Paxos,
More informationArtificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur
Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur Lecture- 10 Inference in First Order Logic I had introduced first order
More informationArtificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur
Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur Lecture- 9 First Order Logic In the last class, we had seen we have studied
More information6.041SC Probabilistic Systems Analysis and Applied Probability, Fall 2013 Transcript Lecture 3
6.041SC Probabilistic Systems Analysis and Applied Probability, Fall 2013 Transcript Lecture 3 The following content is provided under a Creative Commons license. Your support will help MIT OpenCourseWare
More information6.041SC Probabilistic Systems Analysis and Applied Probability, Fall 2013 Transcript Lecture 21
6.041SC Probabilistic Systems Analysis and Applied Probability, Fall 2013 Transcript Lecture 21 The following content is provided under a Creative Commons license. Your support will help MIT OpenCourseWare
More informationGrade 6 correlated to Illinois Learning Standards for Mathematics
STATE Goal 6: Demonstrate and apply a knowledge and sense of numbers, including numeration and operations (addition, subtraction, multiplication, division), patterns, ratios and proportions. A. Demonstrate
More informationQuotable. SEARCHING THE SCRIPTURES Find the Nourishment Your Soul Needs Comparing the Flavors Correlating the Text
SEARCHING THE SCRIPTURES Find the Nourishment Your Soul Needs Comparing the Flavors LET S BEGIN HERE The process of searching the Scriptures can be a thrilling and satisfying experience. Once you learn
More informationFinding Faith in Life. Online Director s Manual
Discover! Finding Faith in Life Online Director s Manual Discover! Finding Faith in Life Contents Welcome... 3 Program Highlights... 4 Program Components... 6 Understanding the Components...11 Key Elements
More informationMITOCW Lec 2 MIT 6.042J Mathematics for Computer Science, Fall 2010
MITOCW Lec 2 MIT 6.042J Mathematics for Computer Science, Fall 2010 The following content is provided under a Creative Commons license. Your support will help MIT OpenCourseWare continue to offer high
More informationScience of Daily Living as Spiritual Beings
Science of Daily Living as Spiritual Beings Science of Spiritual Beings Lectures Presented at Unity Church Oct 24, 31 - Nov 7, 14, 2011 By Doug Matzke, Ph.D. Doug@QuantumDoug.com Basic Unity Principles
More informationThe Engage Study Program
The Engage Study Program Welcome to the Engage Study Program. This twelve-part study and action program offers participants a wide variety of principles, stories, exercises, and readings for learning,
More informationALARA: A Complex Approach Based on Multi-disciplinary Perspectives
ALARA: A Complex Approach Based on Multi-disciplinary Perspectives Presented by Ludo Veuchelen SCK CEN Based on a working paper coauthored by Suman Rao Outline Introduction ALARA: a complex concept Philosophy
More informationlogic is everywhere Logik ist überall Hikmat har Jaga Hai Mantık her yerde la logica è dappertutto lógica está em toda parte
SHRUTI and Reflexive Reasoning Steffen Hölldobler logika je všude International Center for Computational Logic Technische Universität Dresden Germany logic is everywhere First-Order Logic la lógica está
More informationTWO NO, THREE DOGMAS OF PHILOSOPHICAL THEOLOGY
1 TWO NO, THREE DOGMAS OF PHILOSOPHICAL THEOLOGY 1.0 Introduction. John Mackie argued that God's perfect goodness is incompatible with his failing to actualize the best world that he can actualize. And
More informationSlides by: Ms. Shree Jaswal
Slides by: Ms. Shree Jaswal Introduction developing the project schedule Scheduling Charts logic diagrams and network (AOA,AON) critical path calendar scheduling and time based network management schedule
More informationGrade 7 Math Connects Suggested Course Outline for Schooling at Home 132 lessons
Grade 7 Math Connects Suggested Course Outline for Schooling at Home 132 lessons I. Introduction: (1 day) Look at p. 1 in the textbook with your child and learn how to use the math book effectively. DO:
More information1. Does God Exist? 2. If So, What Kind of God Is He? 3. Is The Bible Reliable? 4. When Was Creation? 5. How Long Did Creation Take?
1. Does God Exist? 2. If So, What Kind of God Is He? 3. Is The Bible Reliable? 4. When Was Creation? 5. How Long Did Creation Take? 6. Is Evolution Even Possible? 7. Is The Big Bang Possible? - Intelligence
More informationDistributed Systems. 11. Consensus: Paxos. Paul Krzyzanowski. Rutgers University. Fall 2015
Distributed Systems 11. Consensus: Paxos Paul Krzyzanowski Rutgers University Fall 2015 1 Consensus Goal Allow a group of processes to agree on a result All processes must agree on the same value The value
More informationECE 5424: Introduction to Machine Learning
ECE 5424: Introduction to Machine Learning Topics: SVM Multi-class SVMs Neural Networks Multi-layer Perceptron Readings: Barber 17.5, Murphy 16.5 Stefan Lee Virginia Tech HW2 Graded Mean 63/61 = 103% Max:
More informationCan We Avoid the Repugnant Conclusion?
THEORIA, 2016, 82, 110 127 doi:10.1111/theo.12097 Can We Avoid the Repugnant Conclusion? by DEREK PARFIT University of Oxford Abstract: According to the Repugnant Conclusion: Compared with the existence
More informationIntroduction to Polytheism
Introduction to Polytheism Eric Steinhart ABSTRACT: A little reflection on the design and cosmological arguments suggests that there are many gods. These gods are not supernatural they are natural deities.
More informationSimplicity and Why the Universe Exists
Simplicity and Why the Universe Exists QUENTIN SMITH I If big bang cosmology is true, then the universe began to exist about 15 billion years ago with a 'big bang', an explosion of matter, energy and space
More informationINDUCTIVE AND DEDUCTIVE
INDUCTIVE AND DEDUCTIVE Péter Érdi Henry R. Luce Professor Center for Complex Systems Studies Kalamazoo College, Michigan and Dept. Biophysics KFKI Research Institute for Particle and Nuclear Physics of
More informationPearson Education Limited Edinburgh Gate Harlow Essex CM20 2JE England and Associated Companies throughout the world
Pearson Education Limited Edinburgh Gate Harlow Essex CM20 2JE England and Associated Companies throughout the world Visit us on the World Wide Web at: www.pearsoned.co.uk Pearson Education Limited 2014
More informationAcademic argument does not mean conflict or competition; an argument is a set of reasons which support, or lead to, a conclusion.
ACADEMIC SKILLS THINKING CRITICALLY In the everyday sense of the word, critical has negative connotations. But at University, Critical Thinking is a positive process of understanding different points of
More informationIntroduction to Statistical Hypothesis Testing Prof. Arun K Tangirala Department of Chemical Engineering Indian Institute of Technology, Madras
Introduction to Statistical Hypothesis Testing Prof. Arun K Tangirala Department of Chemical Engineering Indian Institute of Technology, Madras Lecture 09 Basics of Hypothesis Testing Hello friends, welcome
More informationSharing the Roman Road to Salvation
Sharing the Roman Road to Salvation 1. Introduction A. Salvation is not a religion through which we continually reach up to find God. Salvation is a relationship where God reached down to man through His
More informationBasic Algorithms Overview
Basic Algorithms Overview Algorithms Search algorithm Sort algorithm Induction proofs Complexity 21 December 2005 Ariel Shamir 1 Conceptual Hierarchy Algorithm/Model Program Code Today s lecture Compilers
More informationCSSS/SOC/STAT 321 Case-Based Statistics I. Introduction to Probability
CSSS/SOC/STAT 321 Case-Based Statistics I Introduction to Probability Christopher Adolph Department of Political Science and Center for Statistics and the Social Sciences University of Washington, Seattle
More informationYOGA IMMERSION. a program of progressive learning
YOGA IMMERSION a program of progressive learning 1 of 10 Why Study Yoga? Practising yoga creates opportunities for us to learn about ourselves, it supports us in our daily lives and in a class, workshop
More informationImprint INFINITESIMAL CHANCES. Thomas Hofweber. volume 14, no. 2 february University of North Carolina at Chapel Hill.
Philosophers Imprint INFINITESIMAL CHANCES Thomas Hofweber University of North Carolina at Chapel Hill 2014, Thomas Hofweber volume 14, no. 2 february 2014 1. Introduction
More informationCan a Machine Think? Christopher Evans (1979) Intro to Philosophy Professor Douglas Olena
Can a Machine Think? Christopher Evans (1979) Intro to Philosophy Professor Douglas Olena First Questions 403-404 Will there be a machine that will solve problems that no human can? Could a computer ever
More informationBounded Rationality :: Bounded Models
Bounded Rationality :: Bounded Models Jocelyn Smith University of British Columbia 201-2366 Main Mall Vancouver BC jdsmith@cs.ubc.ca Abstract In economics and game theory agents are assumed to follow a
More informationTuring versus Gödel on Computability and the Mind
1 Turing versus Gödel on Computability and the Mind B. Jack Copeland and Oron Shagrir Nowadays the work of Alan Turing and Kurt Gödel rightly takes center stage in discussions of the relationships between
More informationECE 5984: Introduction to Machine Learning
ECE 5984: Introduction to Machine Learning Topics: SVM Multi-class SVMs Neural Networks Multi-layer Perceptron Readings: Barber 17.5, Murphy 16.5 Dhruv Batra Virginia Tech HW2 Graded Mean 66/61 = 108%
More informationSurveying Prof. Bharat Lohani Department of Civil Engineering Indian Institute of Technology, Kanpur. Module - 7 Lecture - 3 Levelling and Contouring
Surveying Prof. Bharat Lohani Department of Civil Engineering Indian Institute of Technology, Kanpur Module - 7 Lecture - 3 Levelling and Contouring (Refer Slide Time: 00:21) Welcome to this lecture series
More informationA CONSEQUENTIALIST RESPONSE TO THE DEMANDINGNESS OBJECTION Nicholas R. Baker, Lee University THE DEMANDS OF ACT CONSEQUENTIALISM
1 A CONSEQUENTIALIST RESPONSE TO THE DEMANDINGNESS OBJECTION Nicholas R. Baker, Lee University INTRODUCTION We usually believe that morality has limits; that is, that there is some limit to what morality
More informationBy Michael de Manincor
By Michael de Manincor In the first of a three-part series in the Australian Yoga Life magazine on the breath, Michael de Manincor overviews breathing in yoga practice, examining how to improve unconscious
More informationThe Lord s Prayer. (Matthew 6:5-15) SPARK RESOURCES: Spark Story Bibles, SUPPLIES: Chart paper, marker
BIBLE SKILLS & GAMES LEADER GUIDE The Lord s Prayer (Matthew 6:5-15) Age-Level Overview Age-Level Overview Open the Bible Activate Faith Lower Elementary WORKSHOP FOCUS: Jesus taught us the Lord s Prayer.
More informationQuestion Answering. CS486 / 686 University of Waterloo Lecture 23: April 1 st, CS486/686 Slides (c) 2014 P. Poupart 1
Question Answering CS486 / 686 University of Waterloo Lecture 23: April 1 st, 2014 CS486/686 Slides (c) 2014 P. Poupart 1 Question Answering Extension to search engines CS486/686 Slides (c) 2014 P. Poupart
More informationQualitative and quantitative inference to the best theory. reply to iikka Niiniluoto Kuipers, Theodorus
University of Groningen Qualitative and quantitative inference to the best theory. reply to iikka Niiniluoto Kuipers, Theodorus Published in: EPRINTS-BOOK-TITLE IMPORTANT NOTE: You are advised to consult
More informationA Variation on the Paradox of Two Envelopes
From: FLAIRS-02 Proceedings. Copyright 2002, AAAI (www.aaai.org). All rights reserved. A Variation on the Paradox of Two Envelopes Mikelis Bickis, Eric Neufeld Department of Computer Science University
More informationThe Development of Laws of Formal Logic of Aristotle
This paper is dedicated to my unforgettable friend Boris Isaevich Lamdon. The Development of Laws of Formal Logic of Aristotle The essence of formal logic The aim of every science is to discover the laws
More informationWhy Christians should not use the Kalaam argument. David Snoke University of Pittsburgh
Why Christians should not use the Kalaam argument David Snoke University of Pittsburgh I ve heard all kinds of well-meaning and well-educated Christian apologists use variations of the Kalaam argument
More informationChapter 2: Commitment
Chapter 2: Commitment Outline A. Modular rationality (the Gianni Schicchi test). Its conflict with commitment. B. Puzzle: our behaviour in the ultimatum game (more generally: our norms of fairness) violate
More informationLesson 09 Notes. Machine Learning. Intro
Machine Learning Lesson 09 Notes Intro C: Hi Michael. M: Hey how's it going? C: So I want to talk about something today Michael. I want to talk about Bayesian Learning, and I've been inspired by our last
More informationSegment 2 Exam Review #1
Segment 2 Exam Review #1 High School Mathematics for College Readiness (Segment 2) / Math for College Readiness V15 (Mr. Snyder) Student Name/ID: 1. Factor. 2. Factor. 3. Solve. (If there is more than
More informationFrequently Asked Questions about ALEKS at the University of Washington
Frequently Asked Questions about ALEKS at the University of Washington What is ALEKS, and how does it work? ALEKS (Assessment and LEarning in Knowledge Spaces) is a teaching tool based on artificial intelligence.
More informationCurriculum Guide for Pre-Algebra
Unit 1: Variable, Expressions, & Integers 2 Weeks PA: 1, 2, 3, 9 Where did Math originate? Why is Math possible? What should we expect as we use Math? How should we use Math? What is the purpose of using
More informationIntel x86 Jump Instructions. Part 6. JMP address. Operations: Program Flow Control. Operations: Program Flow Control.
Part 6 Intel x86 Jump Instructions Control Logic Fly over code Operations: Program Flow Control Operations: Program Flow Control Unlike high-level languages, processors don't have fancy expressions or
More informationLesson 4 - The First Veil of Auric Sight. By Frances
Lesson 4 - The First Veil of Auric Sight By Frances We are going to get very technical, and take up, in a very condensed form, the structure of the physical eye. This is necessary so that we understand
More informationMartin Buber: I and Thou. Outline prepared and written by: Dr. Jason J. Campbell:
Martin Buber: I and Thou Outline prepared and written by: Dr. Jason J. Campbell: http://www.jasonjcampbell.org/blog.php Youtube Playlist Link: http://www.youtube.com/view_play_list?p=1582a305df85b4a7 1:
More informationINFINITE "BACKWARD" INDUCTION ARGUMENTS. Given the military value of surprise and given dwindling supplies and
This article appeared in Pacific Philosophical Quarterly (September 1999): 278-283) INFINITE "BACKWARD" INDUCTION ARGUMENTS Given the military value of surprise and given dwindling supplies and patience,
More informationOn the hard problem of consciousness: Why is physics not enough?
On the hard problem of consciousness: Why is physics not enough? Hrvoje Nikolić Theoretical Physics Division, Rudjer Bošković Institute, P.O.B. 180, HR-10002 Zagreb, Croatia e-mail: hnikolic@irb.hr Abstract
More informationArtificial Intelligence I
Artificial Intelligence I Matthew Huntbach, Dept of Computer Science, Queen Mary and Westfield College, London, UK E 4NS. Email: mmh@dcs.qmw.ac.uk. Notes may be used with the permission of the author.
More informationWhole Numbers_Mid-Term Exam Review #1
Whole Numbers_Mid-Term Exam Review #1 Basic Math / FND M010 FA 14 10398-10N20FD04-Nap (Prof. Abdon) Student Name/ID: 1. Give the digits in the thousands place and the hundreds place. thousands: hundreds:
More informationAdmissions Policy
Admissions Policy 2017-18 Dated: Spring 2016 To be reviewed: Spring 2017 ADMISSION CRITERIA FOR 2017 The admissions process is part of the Coventry LA co-ordinated scheme. The Admission Policy of the Governors
More information