First-order logic. Chapter 8, Sections 1 3
|
|
- Rudolf Baldwin Preston
- 5 years ago
- Views:
Transcription
1 First-order logic Chapter 8, Sections 1 3 Artificial Intelligence, spring 2013, Peter Ljunglöf; based on AIMA Slides c Stuart Russel and Peter Norvig, 2004 Chapter 8, Sections 1 3 1
2 Outline Why FOL? Syntax of FOL Semantics of FOL Artificial Intelligence, spring 2013, Peter Ljunglöf; based on AIMA Slides c Stuart Russel and Peter Norvig, 2004 Chapter 8, Sections 1 3 2
3 Pros and cons of propositional logic Propositional logic is declarative: pieces of syntax correspond to facts Propositional logic allows partial/disjunctive/negated information (unlike most data structures and databases) Propositional logic is compositional: meaning of B 1,1 P 1,2 is derived from meaning of B 1,1 and of P 1,2 Meaning in propositional logic is context-independent (unlike natural language, where meaning depends on context) Propositional logic has very limited expressive power (unlike natural language) E.g., cannot say pits cause breezes in adjacent squares except by writing one sentence for each square Artificial Intelligence, spring 2013, Peter Ljunglöf; based on AIMA Slides c Stuart Russel and Peter Norvig, 2004 Chapter 8, Sections 1 3 3
4 First-order logic Whereas propositional logic assumes that the world contains facts, first-order logic (like natural language) assumes that the world contains Objects: people, houses, numbers, theories, Ronald McDonald, colors, baseball games, wars, centuries... Relations: red, round, bogus, prime, multistoried..., sister of, brother of, bigger than, inside, part of, has color, occurred after, owns, comes between,... Functions: mother of, father of, best friend, third inning of, one more than, end of... Artificial Intelligence, spring 2013, Peter Ljunglöf; based on AIMA Slides c Stuart Russel and Peter Norvig, 2004 Chapter 8, Sections 1 3 4
5 Syntax of FOL: Basic elements Constants John, 2, UCB,... Predicates Brother, >,... Functions Sqrt, LeftLeg,... Variables x, y, a, b,... Connectives Equality = Quantifiers Artificial Intelligence, spring 2013, Peter Ljunglöf; based on AIMA Slides c Stuart Russel and Peter Norvig, 2004 Chapter 8, Sections 1 3 5
6 Atomic sentences Atomic sentence = predicate(term 1,...,term n ) or term 1 = term 2 Term = function(term 1,...,term n ) or constant or variable E.g., Brother(Richard, John) M arried(f ather(richard), M other(john)) Artificial Intelligence, spring 2013, Peter Ljunglöf; based on AIMA Slides c Stuart Russel and Peter Norvig, 2004 Chapter 8, Sections 1 3 6
7 Complex sentences Complex sentences are made from atomic sentences using connectives S, S 1 S 2, S 1 S 2, S 1 S 2, S 1 S 2 E.g. Brother(LeftLeg(Richard), John) Brother(Richard, John) Brother(John, Richard) King(Richard) King(John) Note: The last one is equivalent to: ( King(Richard)) King(John) and not: (King(Richard) King(John)) Artificial Intelligence, spring 2013, Peter Ljunglöf; based on AIMA Slides c Stuart Russel and Peter Norvig, 2004 Chapter 8, Sections 1 3 7
8 Truth in first-order logic Sentences are true with respect to a model and an interpretation Model contains 1 objects (domain elements) and relations among them Interpretation specifies referents for constant symbols objects predicate symbols relations function symbols functional relations An atomic sentence predicate(term 1,...,term n ) is true iff the objects referred to by term 1,...,term n are in the relation referred to by predicate Artificial Intelligence, spring 2013, Peter Ljunglöf; based on AIMA Slides c Stuart Russel and Peter Norvig, 2004 Chapter 8, Sections 1 3 8
9 Models for FOL: Example crown person brother brother on head person king R $ J left leg left leg Artificial Intelligence, spring 2013, Peter Ljunglöf; based on AIMA Slides c Stuart Russel and Peter Norvig, 2004 Chapter 8, Sections 1 3 9
10 Truth example Consider the interpretation in which Richard Richard the Lionheart John the evil King John Brother the brotherhood relation Under this interpretation, Brother(Richard, John) is true just in case Richard the Lionheart and the evil King John are in the brotherhood relation in the model Artificial Intelligence, spring 2013, Peter Ljunglöf; based on AIMA Slides c Stuart Russel and Peter Norvig, 2004 Chapter 8, Sections
11 Models for FOL: Lots! Entailment in propositional logic can be computed by enumerating models We can enumerate the FOL models for a given KB vocabulary: For each number of domain elements n from 1 to For each k-ary predicate P k in the vocabulary For each possible k-ary relation on n objects For each constant symbol C in the vocabulary For each choice of referent for C from n objects... Computing entailment by enumerating FOL models is not easy! Artificial Intelligence, spring 2013, Peter Ljunglöf; based on AIMA Slides c Stuart Russel and Peter Norvig, 2004 Chapter 8, Sections
12 variables sentence All kings are persons: x King(x) Person(x) Universal quantification x P is true in a model m iff P is true with x being each possible object in the model Roughly speaking, equivalent to the conjunction of instantiations of P (King(Richard) Person(Richard)) (King(John) Person(John)) (King(TheCrown) Person(TheCrown)) (King(LeftLeg(Richard)) Person(LeftLeg(Richard)))... Artificial Intelligence, spring 2013, Peter Ljunglöf; based on AIMA Slides c Stuart Russel and Peter Norvig, 2004 Chapter 8, Sections
13 A common mistake to avoid Typically, is the main connective with Common mistake: using as the main connective with : x King(John) Person(John) means Everything is both a king and a person Artificial Intelligence, spring 2013, Peter Ljunglöf; based on AIMA Slides c Stuart Russel and Peter Norvig, 2004 Chapter 8, Sections
14 variables sentence Existential quantification King John has a crown on his head: x Crown(x) OnHead(x,John) x P is true in a model m iff P is true with x being some possible object in the model Roughly speaking, equivalent to the disjunction of instantiations of P (Crown(Richard) OnHead(Richard, John)) (Crown(John) OnHead(John, John)) (Crown(T hecrown) OnHead(T hecrown, John)) (Crown(LeftLeg(Richard)) OnHead(LeftLeg(Richard), John))... Artificial Intelligence, spring 2013, Peter Ljunglöf; based on AIMA Slides c Stuart Russel and Peter Norvig, 2004 Chapter 8, Sections
15 Another common mistake to avoid Typically, is the main connective with Common mistake: using as the main connective with : x Crown(x) OnHead(x, John) is true if there is anything that is not a crown! Artificial Intelligence, spring 2013, Peter Ljunglöf; based on AIMA Slides c Stuart Russel and Peter Norvig, 2004 Chapter 8, Sections
16 Properties of quantifiers x y is the same as y x (why??) x y is the same as y x (why??) x y is not the same as y x x y Loves(x,y) There is a person who loves everyone in the world y x Loves(x,y) Everyone in the world is loved by at least one person Quantifier duality: each can be expressed using the other x Likes(x, IceCream) x Likes(x, Broccoli) x Likes(x, IceCream) x Likes(x, Broccoli) Artificial Intelligence, spring 2013, Peter Ljunglöf; based on AIMA Slides c Stuart Russel and Peter Norvig, 2004 Chapter 8, Sections
17 Fun with sentences Brothers are siblings x, y Brother(x, y) Sibling(x, y). Sibling is symmetric x,y Sibling(x,y) Sibling(y,x). One s mother is one s female parent x,y Mother(x,y) (Female(x) Parent(x,y)). A first cousin is a child of a parent s sibling x,y FirstCousin(x,y) p,ps Parent(p,x) Sibling(ps,p) Parent(ps,y)) Artificial Intelligence, spring 2013, Peter Ljunglöf; based on AIMA Slides c Stuart Russel and Peter Norvig, 2004 Chapter 8, Sections
18 Equality term 1 = term 2 is true under a given interpretation if and only if term 1 and term 2 refer to the same object E.g., to say that Richard has at least two brothers: x,y Brother(x,Richard) Brother(y,Richard) (x = y) Without the final (x = y), it would just say that Richard has at least one brother. E.g., definition of (full) Sibling in terms of Parent: x,y Sibling(x,y) [ m,f (x=y) (m=f) Parent(m,x) Parent(f,x) Parent(m,y) Parent(f,y) ] Artificial Intelligence, spring 2013, Peter Ljunglöf; based on AIMA Slides c Stuart Russel and Peter Norvig, 2004 Chapter 8, Sections
19 Example: The wumpus world Squares are breezy near a pit: Diagnostic rule infer cause from effect y Breezy(y) x Pit(x) Adjacent(x,y) Causal rule infer effect from cause x,y Pit(x) Adjacent(x,y) Breezy(y) Neither of these is complete e.g., the causal rule doesn t say whether squares far away from pits can be breezy Definition for the Breezy predicate: y Breezy(y) [ x Pit(x) Adjacent(x,y)] Artificial Intelligence, spring 2013, Peter Ljunglöf; based on AIMA Slides c Stuart Russel and Peter Norvig, 2004 Chapter 8, Sections
20 Summary First-order logic: objects and relations are semantic primitives syntax: constants, functions, predicates, equality, quantifiers Increased expressive power: sufficient to define the wumpus world Artificial Intelligence, spring 2013, Peter Ljunglöf; based on AIMA Slides c Stuart Russel and Peter Norvig, 2004 Chapter 8, Sections
First Order Logic. Dr. Richard J. Povinelli. Copyright Richard J. Povinelli rev 1.0, 10/1/2001 Page 1
First Order Logic Dr. Richard J. Povinelli Copyright Richard J. Povinelli rev 1.0, 10/1/2001 Page 1 Objectives You should! be able to compare and contrast propositional logic and first-order predicate
More informationc Cara MacNish. Includes material c S. Russell & P. Norvig 1995,2003 with permission. CITS4211 First-order logic Slide 87
Outline Artificial Intelligence Topic 13 First-order logic Why FOL? Syntax and semantics of FOL Fun with sentences Wumpus world in FOL Reading: Russell and Norvig, Chapter 8 c Cara MacNish. Includes material
More informationFirst-order logic. Artificial Intelligence. Topic 13. Reading: Russell and Norvig, Chapter 8
Artificial Intelligence Topic 13 First-order logic Reading: Russell and Norvig, Chapter 8 c Cara MacNish. Includes material c S. Russell & P. Norvig 1995,2003 with permission. CITS4211 First-order logic
More informationFirst-order logic. Chapter 7. AIMA Slides c Stuart Russell and Peter Norvig, 1998 Chapter 7 1
First-order logic Chapter 7 AIMA Slides c Stuart Russell and Peter Norvig, 1998 Chapter 7 1 Syntax and semantics of FOL Fun with sentences Wumpus world in FOL Outline AIMA Slides c Stuart Russell and Peter
More informationLogical Agents (AIMA - Chapter 7)
Logical Agents (AIMA - Chapter 7) CIS 391 - Intro to AI 1 Outline 1. Wumpus world 2. Logic-based agents 3. Propositional logic Syntax, semantics, inference, validity, equivalence and satifiability Next
More information11/18/2015. Outline. Logical Agents. The Wumpus World. 1. Automating Hunt the Wumpus : A different kind of problem
Outline Logical Agents (AIMA - Chapter 7) 1. Wumpus world 2. Logic-based agents 3. Propositional logic Syntax, semantics, inference, validity, equivalence and satifiability Next Time: Automated Propositional
More informationFirst Order Logic CSL 302 ARTIFICIAL INTELLIGENCE SPRING 2014
First Order Logic CSL 302 ARTIFICIAL INTELLIGENCE SPRING 2014 Propositional Logic Declarative - pieces of syntax correspond to facts Allows partial/disjunctive/negated information Compositional (B 11 P
More information5.4 Imperfect, Real-Time Decisions
5.4 Imperfect, Real-Time Decisions Searching through the whole (pruned) game tree is too inefficient for any realistic game Moves must be made in a reasonable amount of time One has to cut off the generation
More information5.4 Imperfect, Real-Time Decisions
116 5.4 Imperfect, Real-Time Decisions Searching through the whole (pruned) game tree is too inefficient for any realistic game Moves must be made in a reasonable amount of time One has to cut off the
More informationPractical Aspects of Logic in AI
Artificial Intelligence Topic 15 Practical Aspects of Logic in AI Reading: Russell and Norvig, Chapter 10 Description Logics as Ontology Languages for the Semantic Web, F. Baader, I. Horrocks and U.Sattler,
More informationCSEP 573 Adversarial Search & Logic and Reasoning
CSEP 573 Adversarial Search & Logic and Reasoning CSE AI Faculty Recall from Last Time: Adversarial Games as Search Convention: first player is called MAX, 2nd player is called MIN MAX moves first and
More informationVALLIAMMAI ENGNIEERING COLLEGE SRM Nagar, Kattankulathur 603203. DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING Sub Code : CS6659 Sub Name : Artificial Intelligence Branch / Year : CSE VI Sem / III Year
More informationTable of Contents I. Artificial Intelligence 1
Table of Contents I Creating a Knowledge Base Basic Family Relationships Defining Orphans Defining Ancestors Reasoning about Electrical Circuits Hierarchical Information and Inheritance Artificial Intelligence
More informationIntelligent Agents. Introduction to Planning. Ute Schmid. Cognitive Systems, Applied Computer Science, Bamberg University. last change: 23.
Intelligent Agents Introduction to Planning Ute Schmid Cognitive Systems, Applied Computer Science, Bamberg University last change: 23. April 2012 U. Schmid (CogSys) Intelligent Agents last change: 23.
More information1. MacBride s description of reductionist theories of modality
DANIEL VON WACHTER The Ontological Turn Misunderstood: How to Misunderstand David Armstrong s Theory of Possibility T here has been an ontological turn, states Fraser MacBride at the beginning of his article
More information22c181: Formal Methods in Software Engineering. The University of Iowa Spring Propositional Logic
22c181: Formal Methods in Software Engineering The University of Iowa Spring 2010 Propositional Logic Copyright 2010 Cesare Tinelli. These notes are copyrighted materials and may not be used in other course
More informationInformed search algorithms
Informed search algorithms Chapter 3, Sections 5 6 Artificial Intelligence, spring 2013, Peter Ljunglöf; based on AIMA Slides c Stuart Russel and Peter Norvig, 2004 Chapter 3, Sections 5 6 1 Review: Tree
More informationGame playing. Chapter 5, Sections 1 6
Game playing Chapter 5, Sections 1 6 Artificial Intelligence, spring 2013, Peter Ljunglöf; based on AIMA Slides c Stuart Russel and Peter Norvig, 2004 Chapter 5, Sections 1 6 1 Outline Games Perfect play
More informationDescription Logic in a nutshell
Description Logic in a nutshell Seminar Resources for Computational Linguists SS 2007 Magdalena Wolska & Michaela Regneri Motivation We have seen all those great ontologies - how can we make use of them?
More informationCSC242 Intro to AI Spring 2012 Project 2: Knowledge and Reasoning Handed out: Thu Mar 1 Due: Wed Mar 21 11:59pm
CSC242 Intro to AI Spring 2012 Project 2: Knowledge and Reasoning Handed out: Thu Mar 1 Due: Wed Mar 21 11:59pm In this project we will... Hunt the Wumpus! The objective is to build an agent that can explore
More informationModal logic. Benzmüller/Rojas, 2014 Artificial Intelligence 2
Modal logic Benzmüller/Rojas, 2014 Artificial Intelligence 2 What is Modal Logic? Narrowly, traditionally: modal logic studies reasoning that involves the use of the expressions necessarily and possibly.
More informationGeneral Game Playing (GGP) Winter term 2013/ Summary
General Game Playing (GGP) Winter term 2013/2014 10. Summary Sebastian Wandelt WBI, Humboldt-Universität zu Berlin General Game Playing? General Game Players are systems able to understand formal descriptions
More informationConstraint Satisfaction Problems: Formulation
Constraint Satisfaction Problems: Formulation Slides adapted from: 6.0 Tomas Lozano Perez and AIMA Stuart Russell & Peter Norvig Brian C. Williams 6.0- September 9 th, 00 Reading Assignments: Much of the
More informationMaterials and Methods
Materials and Methods Charles Kemp & Terry Regier 1 Cross-cultural data 1 2 Cousins analyses 3 3 Representation language 5 4 Generating kinship categories: analyses from main text 7 5 Generating kinship
More informationGENOGRAM PACKET. Name: Date:
Name: Date: What is a Genogram? Why do one? A genogram is like a family history, but it focuses on how people interact in your family. In a genogram, every family member is connected to every other family
More informationAll the children are not boys
"All are" and "There is at least one" (Games to amuse you) The games and puzzles in this section are to do with using the terms all, not all, there is at least one, there isn t even one and such like.
More informationPedigrees How do scientists trace hereditary diseases through a family history?
Why? Pedigrees How do scientists trace hereditary diseases through a family history? Imagine you want to learn about an inherited genetic trait present in your family. How would you find out the chances
More informationhave to get on the phone or family members for the names of more distant relatives.
Ideas for Teachers: Give each student the family tree worksheet to fill out at home. Explain to them that each family is different and this worksheet is meant to help them plan their family tree. They
More informationPropositional attitudes
Propositional attitudes Readings: Portner, Ch. 9 1. What are attitude verbs? We have already seen that verbs like think, want, hope, doubt, etc. create intensional environments. For example, (1a) and (1b)
More informationMATH 225: Foundations of Higher Matheamatics. Dr. Morton. Chapter 2: Logic (This is where we begin setting the stage for proofs!)
MATH 225: Foundations of Higher Matheamatics Dr. Morton Chapter 2: Logic (This is where we begin setting the stage for proofs!) New Problem from 2.5 page 3 parts 1,2,4: Suppose that we have the two open
More informationPhilosophy. AI Slides (5e) c Lin
Philosophy 15 AI Slides (5e) c Lin Zuoquan@PKU 2003-2018 15 1 15 Philosophy 15.1 AI philosophy 15.2 Weak AI 15.3 Strong AI 15.4 Ethics 15.5 The future of AI AI Slides (5e) c Lin Zuoquan@PKU 2003-2018 15
More informationLITERATURE CIRCLES Rules by Cynthia Lord
WEEK ONE Group Meeting: August 25th Assigned Reading: Pages 1-40 Vocabulary Directions: Record 3-5 words you did not know or you think are important to this section of the book. When you meet with your
More informationSCENARIO CARDS (ANGER) SCENARIO CARDS (ANGER) SCENARIO CARDS (ANGER) SCENARIO CARDS (ANGER)
Your brother is bugging you. Your toy fell on the floor and broke. You spend all summer doing school work. You aren t invited to your friend s birthday party. Your mom turns off your video game in the
More informationMODALITY, SI! MODAL LOGIC, NO!
MODALITY, SI! MODAL LOGIC, NO! John McCarthy Computer Science Department Stanford University Stanford, CA 94305 jmc@cs.stanford.edu http://www-formal.stanford.edu/jmc/ 1997 Mar 18, 5:23 p.m. Abstract This
More informationCOMP9414/ 9814/ 3411: Artificial Intelligence. Week 2. Classifying AI Tasks
COMP9414/ 9814/ 3411: Artificial Intelligence Week 2. Classifying AI Tasks Russell & Norvig, Chapter 2. COMP9414/9814/3411 18s1 Tasks & Agent Types 1 Examples of AI Tasks Week 2: Wumpus World, Robocup
More informationAutomated Reasoning. Satisfiability Checking
What the dictionaries say: Automated Reasoning reasoning: the process by which one judgement deduced from another or others which are given (Oxford Englh Dictionary) reasoning: the drawing of inferences
More informationFrom: AAAI Technical Report FS Compilation copyright 1994, AAAI (www.aaai.org). All rights reserved.
From: AAAI Technical Report FS-94-02. Compilation copyright 1994, AAAI (www.aaai.org). All rights reserved. Information Loss Versus Information Degradation Deductively valid transitions are truth preserving
More informationPlanning. AIMA2e Chapter 11. AIMA2e Slides, Stuart Russell and Peter Norvig, Completed by Kazim Fouladi, Fall 2008 AIMA2e Chapter 11 1
Planning AIMA2e Chapter 11 AIMA2e Slides, Stuart Russell and Peter Norvig, Completed by Kazim Fouladi, Fall 2008 AIMA2e Chapter 11 1 Outline Search vs. planning STRIPS operators Partial-order planning
More informationEARIN Jarosław Arabas Room #223, Electronics Bldg.
EARIN http://elektron.elka.pw.edu.pl/~jarabas/earin.html Jarosław Arabas jarabas@elka.pw.edu.pl Room #223, Electronics Bldg. Paweł Cichosz pcichosz@elka.pw.edu.pl Room #215, Electronics Bldg. EARIN Jarosław
More informationBy Amalia Harte, Grade 5, Fox Mill Elementary School Herndon, Va.
A Child in Hiding By Amalia Harte, Grade 5, Fox Mill Elementary School Herndon, Va. In 1940, at the beginning of World War II (1939-1945), the armed forces of Nazi Germany conquered 1 France. Benno Harte,
More informationTopic Present Past Future Speculating/ Theoretical Work/ Studies
FCE (Cambridge First Certificate) Speaking- Needs Analysis and Useful Language Take turns asking each other about the topics below and reacting to what your partner says, making notes in the boxes given.
More information22c:145 Artificial Intelligence
22c:145 Artificial Intelligence Fall 2005 Informed Search and Exploration II Cesare Tinelli The University of Iowa Copyright 2001-05 Cesare Tinelli and Hantao Zhang. a a These notes are copyrighted material
More informationFamily Communication Survey
Please do not write in this box: ID: Family: Family Communication Survey The purpose of this survey is to determine the characteristics of communication between parents and their adolescent children. Please
More informationArtificial Intelligence: An overview
Artificial Intelligence: An overview Thomas Trappenberg January 4, 2009 Based on the slides provided by Russell and Norvig, Chapter 1 & 2 What is AI? Systems that think like humans Systems that act like
More informationArtificial Intelligence
Torralba and Wahlster Artificial Intelligence Chapter 1: Introduction 1/22 Artificial Intelligence 1. Introduction What is AI, Anyway? Álvaro Torralba Wolfgang Wahlster Summer Term 2018 Thanks to Prof.
More informationHOUGHTON MIFFLIN HARCOURT
HOUGHTON MIFFLIN HARCOURT by Gail Mack PHOTOGRAPHY CREDITS: Cover image100/corbis. 1 BananaStock/Jupiter Images. 4 BananaStock/Jupiter Images. 5 (b) CORBIS, (t) Bettmann/CORBIS. 6 image100/corbis. 7 Masterfile
More informationLecture 6: Metagaming
Lecture 6: Game Optimization Symmetry and Factoring Structure Identification Evaluation Functions Monte Carlo Tree Search 1 Rule Ordering Example: ancestor(x,z)
More informationCS 202, section 2 Final Exam 13 December Pledge: Signature:
CS 22, section 2 Final Exam 3 December 24 Name: KEY E-mail ID: @virginia.edu Pledge: Signature: There are 8 minutes (3 hours) for this exam and 8 points on the test; don t spend too long on any one question!
More informationPROBABILISTIC REASONING IN INTELLIGENT SYSTEMS NETWORKS OF PLAUSIBLE INFERENCE MORGAN KAUFMANN SERIES IN REPRESENTATION AND REASONING
PROBABILISTIC REASONING IN INTELLIGENT SYSTEMS NETWORKS OF PLAUSIBLE INFERENCE MORGAN KAUFMANN SERIES IN REPRESENTATION AND REASONING page 1 / 5 page 2 / 5 probabilistic reasoning in intelligent pdf The
More informationCSc 372. Comparative Programming Languages. 23 : Prolog Basics. Department of Computer Science University of Arizona
1/33 CSc 372 Comparative Programming Languages 23 : Prolog Basics Department of Computer Science University of Arizona collberg@gmail.com Copyright c 2013 Christian Collberg 2/33 Prolog Types The term
More informationBy Amalia Harte, Grade 5, Fox Mill Elementary School Herndon, Va.
A Child in Hiding By Amalia Harte, Grade 5, Fox Mill Elementary School Herndon, Va. In 1940, at the beginning of World War II (1939-1945), the armed forces of Nazi Germany conquered 1 France. Benno Harte,
More informationFormal Verification. Lecture 5: Computation Tree Logic (CTL)
Formal Verification Lecture 5: Computation Tree Logic (CTL) Jacques Fleuriot 1 jdf@inf.ac.uk 1 With thanks to Bob Atkey for some of the diagrams. Recap Previously: Linear-time Temporal Logic This time:
More informationThe attribution problem in Cognitive Science. Thinking Meat?! Formal Systems. Formal Systems have a history
The attribution problem in Cognitive Science Thinking Meat?! How can we get Reason-respecting behavior out of a lump of flesh? We can t see the processes we care the most about, so we must infer them from
More informationterm var nonvar compound atomic atom number Prolog Types CSc 372 Comparative Programming Languages 16 : Prolog Basics
Prolog Types CSc 372 Comparative Programming Languages 16 : Prolog Basics Department of Computer Science University of Arizona The term is Prolog s basic data structure. Everything is expressed in the
More informationAgents in the Real World Agents and Knowledge Representation and Reasoning
Agents in the Real World Agents and Knowledge Representation and Reasoning An Introduction Mitsubishi Concordia, Java-based mobile agent system. http://www.merl.com/projects/concordia Copernic Agents for
More informationSophia s War: A Tale of the Revolution By Avi
1 A Reading Group Guide for Sophia s War: A Tale of the Revolution By Avi About the Book In 1776, the War of Independence comes to New York City and to twelve- year- old Sophia Calderwood s family. William,
More informationCOMP9414: Artificial Intelligence Adversarial Search
CMP9414, Wednesday 4 March, 004 CMP9414: Artificial Intelligence In many problems especially game playing you re are pitted against an opponent This means that certain operators are beyond your control
More informationHEREDITARY CANCER FAMILY HISTORY QUESTIONNAIRE
Packet received: Appointment: HEREDITARY CANCER FAMILY HISTORY QUESTIONNAIRE Please complete this questionnaire. While this can take some time, a review of your family history will allow us to provide
More informationCISC 1600 Lecture 3.4 Agent-based programming
CISC 1600 Lecture 3.4 Agent-based programming Topics: Agents and environments Rationality Performance, Environment, Actuators, Sensors Four basic types of agents Multi-agent systems NetLogo Agents interact
More informationHomework 5 Answers PS 30 November 2013
Homework 5 Answers PS 30 November 2013 Problems which you should be able to do easily 1. Consider the Battle of the Sexes game below. 1a 2, 1 0, 0 1b 0, 0 1, 2 a. Find all Nash equilibria (pure strategy
More informationOn the GED essay, you ll need to write a short essay, about four
Write Smart 373 What Is the GED Essay Like? On the GED essay, you ll need to write a short essay, about four or five paragraphs long. The GED essay gives you a prompt that asks you to talk about your beliefs
More informationCOMP219: Artificial Intelligence. Lecture 17: Semantic Networks
COMP219: Artificial Intelligence Lecture 17: Semantic Networks 1 Overview Last time Rules as a KR scheme; forward vs backward chaining Today Another approach to knowledge representation Structured objects:
More informationTableaux. Jiří Vyskočil 2017
Tableaux Jiří Vyskočil 2017 Tableau /tæbloʊ/ methods Tableau method is another useful deduction method for automated theorem proving in propositional, first-order, modal, temporal and many other logics.
More informationGame Mechanics Minesweeper is a game in which the player must correctly deduce the positions of
Table of Contents Game Mechanics...2 Game Play...3 Game Strategy...4 Truth...4 Contrapositive... 5 Exhaustion...6 Burnout...8 Game Difficulty... 10 Experiment One... 12 Experiment Two...14 Experiment Three...16
More informationMidterm. CS440, Fall 2003
Midterm CS440, Fall 003 This test is closed book, closed notes, no calculators. You have :30 hours to answer the questions. If you think a problem is ambiguously stated, state your assumptions and solve
More informationA Logic for Social Influence through Communication
A Logic for Social Influence through Communication Zoé Christoff Institute for Logic, Language and Computation, University of Amsterdam zoe.christoff@gmail.com Abstract. We propose a two dimensional social
More informationBinary Addition. Boolean Algebra & Logic Gates. Recap from Monday. CSC 103 September 12, Binary numbers ( 1.1.1) How Computers Work
Binary Addition How Computers Work High level conceptual questions Boolean Algebra & Logic Gates CSC 103 September 12, 2007 What Are Computers? What do computers do? How do they do it? How do they affect
More informationCOMP60421 Family History in OWL Edition 1.0
COMP60421 Family History in OWL Edition 1.0 Robert Stevens and Sean Bechhofer School of Computer Science University of Manchester Oxford Road Manchester United Kingdom M13 9PL November 4, 2014 Preamble
More informationProtecting Family Relationships: Good Contact in Care
Protecting Family Relationships: Good Contact in Care @ChildreninWales www.childreninwales.org.uk Getting More Involved - a young person s guide to health and well-being Getting More Involved - a young
More informationYour Name and ID. (a) ( 3 points) Breadth First Search is complete even if zero step-costs are allowed.
1 UC Davis: Winter 2003 ECS 170 Introduction to Artificial Intelligence Final Examination, Open Text Book and Open Class Notes. Answer All questions on the question paper in the spaces provided Show all
More informationCOMP219: Artificial Intelligence. Lecture 17: Semantic Networks
COMP219: Artificial Intelligence Lecture 17: Semantic Networks 1 Overview Last time Rules as a KR scheme; forward vs backward chaining Today Another approach to knowledge representation Structured objects:
More informationCSE 473 Artificial Intelligence (AI) Outline
CSE 473 Artificial Intelligence (AI) Rajesh Rao (Instructor) Ravi Kiran (TA) http://www.cs.washington.edu/473 UW CSE AI faculty Goals of this course Logistics What is AI? Examples Challenges Outline 2
More informationBeing a Good Citizen
Contents To the Student...5 Comprehension Skills Recognizing the Main Idea...7 Recalling s...8 Determining the Sequence of Events...9 Identifying Cause-and-Effect Relationships...10 Comparing and Contrasting...11
More informationComputer Science Faculty Publications
Computer Science Faculty Publications Computer Science 2-4-2017 Playful AI Education Todd W. Neller Gettysburg College Follow this and additional works at: https://cupola.gettysburg.edu/csfac Part of the
More informationUMBC CMSC 671 Midterm Exam 22 October 2012
Your name: 1 2 3 4 5 6 7 8 total 20 40 35 40 30 10 15 10 200 UMBC CMSC 671 Midterm Exam 22 October 2012 Write all of your answers on this exam, which is closed book and consists of six problems, summing
More informationArtificial Intelligence
Artificial Intelligence Dr Ahmed Rafat Abas Computer Science Dept, Faculty of Computers and Informatics, Zagazig University arabas@zu.edu.eg http://www.arsaliem.faculty.zu.edu.eg/ Programming in Prolog
More informationA New Earth Online Class
1. "What really matters is not what function you fulfill in this world, but whether you identify with your function to such an extent that it takes you over and becomes a role that you play. When you play
More informationCS 380: ARTIFICIAL INTELLIGENCE RATIONAL AGENTS. Santiago Ontañón
CS 380: ARTIFICIAL INTELLIGENCE RATIONAL AGENTS Santiago Ontañón so367@drexel.edu Outline What is an Agent? Rationality Agents and Environments Agent Types (these slides are adapted from Russel & Norvig
More informationMonte Carlo Tree Search. Simon M. Lucas
Monte Carlo Tree Search Simon M. Lucas Outline MCTS: The Excitement! A tutorial: how it works Important heuristics: RAVE / AMAF Applications to video games and real-time control The Excitement Game playing
More informationCSEP 573 Applications of Artificial Intelligence Winter 2011 Assignment 3 Due: Wednesday February 16, 6:30PM
CSEP 573 Applications of Artificial Intelligence Winter 2011 Assignment 3 Due: Wednesday February 16, 6:30PM Q 1: [ 9 points ] The purpose of this question is to show that STRIPS is more expressive than
More informationHow to AI COGS 105. Traditional Rule Concept. if (wus=="hi") { was = "hi back to ya"; }
COGS 105 Week 14b: AI and Robotics How to AI Many robotics and engineering problems work from a taskbased perspective (see competing traditions from last class). What is your task? What are the inputs
More informationEXERGY, ENERGY SYSTEM ANALYSIS AND OPTIMIZATION Vol. III - Artificial Intelligence in Component Design - Roberto Melli
ARTIFICIAL INTELLIGENCE IN COMPONENT DESIGN University of Rome 1 "La Sapienza," Italy Keywords: Expert Systems, Knowledge-Based Systems, Artificial Intelligence, Knowledge Acquisition. Contents 1. Introduction
More informationThe Basic Rules of Chess
Introduction The Basic Rules of Chess One of the questions parents of young children frequently ask Chess coaches is: How old does my child have to be to learn chess? I have personally taught over 500
More informationModelling a player s logical actions through the game Hunt The Wumpus
Modelling a player s logical actions through the game Hunt The Wumpus 0921741 January 30, 2013 Abstract The aim of this report is to give an introduction to the Hunt The Wumpus game and discuss observed
More informationArtificial Intelligence
Introduction to Artificial Intelligence Christian Jacob Department of Computer Science University of Calgary What is AI? How does the human brain work? What is intelligence? How do we emulate the human
More informationArtificial Intelligence. Topic 9. Planning. Search vs. planning Planning Languages and STRIPS State Space vs. Plan Space Partial-order Planning
rtificial Intelligence Topic 9 Planning Search vs. planning Planning Languages and STRIPS State Space vs. Plan Space Partial-order Planning Reading: Russell & Norvig, hapter 11 c ara MacNish. Includes
More informationHow To Uncover Your Genealogy
Page 1 of 1 Contents Why You Need To Explore Your Past... 9 Genealogy And History... 11 Research And Effort Methods... 13 Creating A Family Tree... 15 Hiring A Professional... 17 Family Tree Software...
More informationManchester Family History Advanced OWL Tutorial Edition 1.1
Manchester Family History Advanced OWL Tutorial Edition 1.1 Robert Stevens, Margaret Stevens, Nicolas Matentzoglu and Simon Jupp Bio-Health Informatics Group School of Computer Science University of Manchester
More informationDay 6: Synergize. Synergize by playing at least 3 of the games below using either a deck of cards or using the number cards in the handout.
Day 6: Synergize Name: Card Games: Synergize by playing at least 3 of the games below using either a deck of cards or using the number cards in the handout. * Addition War You will need a partner for this
More informationExpressing wishes and regrets. LEVEL NUMBER LANGUAGE Advanced B2_1047X_EN English
Expressing wishes and regrets SKILLS LEVEL NUMBER LANGUAGE Advanced B2_1047X_EN English Goals Learn how to express wishes and regrets Practise using the past perfect tense to talk about regrets Practise
More information2017, Margot Starbuck
COVER LETTER The job of your cover letter is to convince the reader to open your proposal. 1. Make a personal connection Address your letter to a particular person. Has he or she represented or published
More informationDefault Reasoning in CHR
Default Reasoning in CHR Marcos Aurélio 1,2, François Fages 2, Jacques Robin 1 1 Universidade Federal de Pernambuco, Recife, Brazil 2 INRIA, Rocquencourt, France Abstract. CHR has emerged as a versatile
More informationSales Configurator Information Systems Design Theory
Sales Configurator Information Systems Design Theory Juha Tiihonen 1 & Tomi Männistö 2 & Alexander Felfernig 3 1 Department of Computer Science and Engineering, Aalto University, Espoo, Finland. juha.tiihonen@aalto.fi
More informationCIS/CSE 774 Principles of Distributed Access Control Exam 1 October 3, Points Possible. Total 60
Name: CIS/CSE 774 Principles of Distributed Access Control Exam 1 October 3, 2013 Question Points Possible Points Received 1 24 2 12 3 12 4 12 Total 60 Instructions: 1. This exam is a closed-book, closed-notes
More informationPlayful AI Education. Todd W. Neller Gettysburg College
Playful AI Education Todd W. Neller Gettysburg College Introduction Teachers teach best when sharing from the core of their enjoyment of the material. E.g. Those with enthusiasm for graphics should use
More informationAwareness in Games, Awareness in Logic
Awareness in Games, Awareness in Logic Joseph Halpern Leandro Rêgo Cornell University Awareness in Games, Awareness in Logic p 1/37 Game Theory Standard game theory models assume that the structure of
More informationMTH 103 H Final Exam. 1. I study and I pass the course is an example of a. (a) conjunction (b) disjunction. (c) conditional (d) connective
MTH 103 H Final Exam Name: 1. I study and I pass the course is an example of a (a) conjunction (b) disjunction (c) conditional (d) connective 2. Which of the following is equivalent to (p q)? (a) p q (b)
More information2/6/2006 Team #7: Pez Project: Empty Clip Members: Alan Witkowski, Steve Huff, Thos Swallow, Travis Cooper Document: SRS
2/6/2006 Team #7: Pez Project: Empty Clip Members: Alan Witkowski, Steve Huff, Thos Swallow, Travis Cooper Document: SRS 1. Introduction Purpose of this section: General background and reference information
More informationBEDTIME-GAME FOR THE WHOLE FAMILY
Create The Opportunity For Safe Communication Build Trust & Teach Values Strengthen Your Relationships Develop Your Child 's Emotional Intelligence BEDTIME-GAME FOR THE WHOLE FAMILY Created by RULES FOR
More information