COMP219: Artificial Intelligence. Lecture 17: Semantic Networks
|
|
- Melissa Flowers
- 5 years ago
- Views:
Transcription
1 COMP219: Artificial Intelligence Lecture 17: Semantic Networks 1
2 Overview Last time Rules as a KR scheme; forward vs backward chaining Today Another approach to knowledge representation Structured objects: semantic nets Notation Extended example Learning outcomes covered today: Distinguish the characteristics, and advantages and disadvantages, of the major knowledge representation paradigms that have been used in AI, such as production rules, semantic networks, propositional logic and first-order logic; Solve simple knowledge-based problems using the AI representations studied; 2
3 Structured Objects Structured objects are Knowledge representation formalisms whose components are essentially similar to the nodes and arcs found in graphs In contrast to production rules and formal logic 3
4 Semantic Networks Charles S Peirce 1909 existential graphs Quillian in 1968 semantic memory as a model for human memory; reasonable view of how semantic information is stored by humans associative reasoning (via links) Semantic net is a labelled graph nodes in graph represent objects, concepts, or situations/events arcs in graph represent relationships between these things 4
5 Semantic Networks Relationships Concepts concepts Individuals individuals 5
6 Important Arc Types Subset X is a kind of Y Penguin subset Bird: Concept to Concept Member X is a Y: X is an instance of Y Opus member Penguin: Individual to Concept R-relation X relation-name Y Opus is a friend of Bill; Lou is a parent of Ian Individual to Individual 6
7 Inheritance Inheritance is one of the main kinds of reasoning done in semantic nets The subset relation is often used to link a class and its superclass Some links (e.g. legs) are inherited along subset paths Many variants of semantic nets semantics can be relatively informal or very formal What's in a Link: Foundations for Semantic Networks (Woods, 1975) 7
8 Example 8
9 Example Bill has four legs 9
10 Example Bill has four legs 10
11 Example Bill has four legs 11
12 Example Bill has four legs 12
13 Example Bill has four legs 13
14 Example Bill has four legs Opus is a Bird 14
15 Example Bill has four legs Opus is a Bird 15
16 Example Bill has four legs Opus is a Bird 16
17 Example Bill has four legs Opus is a Bird 17
18 Example Bill has four legs Opus is a Bird Opus walks 18
19 Multiple Inheritance A node can have any number of superclasses that contain it, enabling a node to inherit properties from multiple parent nodes and their ancestors in the network. It can cause conflicting inheritance Nixon Diamond: 19
20 Problems with Semantic Nets Binary relations are easy to represent Others are harder Example: Opus brings tequila to the party where who Party Brings Opus what Tequila 20
21 Exercise Suppose we have the information Bill brings whiskey to the party. How could we extend the semantic network to include this information? Can you see any problems with the reasoning in the example once we introduce this information? 21
22 Binary Relations Any relation can be rewritten as a set of binary relations Bringing-1(Opus,tequilla,party) Bringing-2(Bill,whiskey,party) Make the event a thing and make one binary relation per role who(bringing-1,opus); who(bringing-2,bill) what(bringing-1,tequila); what(bringing-2,whiskey) where(bringing-1,party); where(bringing-2,party) 22
23 Binary Relations Any relation can be rewritten Turn relation as a set into a of thing: binary relations 'thingification' (McCarthy) more common: Bringing-1(Opus,tequilla,party) reification from Latin (res) Bringing-2(Bill,whiskey,party) Make the event a thing and make one binary relation per role who(bringing-1,opus); who(bringing-2,bill) what(bringing-1,tequila); what(bringing-2,whiskey) where(bringing-1,party); where(bringing-2,party) 23
24 Now we can see who brought what where Bringing 1 what tequila Party who Opus where Bringing 2 what whiskey who Bill 24
25 Other Problems are Harder Negation Opus and Dirk are not friends Can just assume an absence of a link Cancellation/Exception Property inherited from a distant superclass cancelled at a lower level Birds fly, penguins don t Disjunction Opus either drinks tea or coffee Quantification every dog has bitten a postman every dog has bitten every postman 25
26 Advantages of Semantic Nets Easy to visualise Flexible: relationships can be arbitrarily defined by the knowledge engineer Formal definitions of semantic networks have been developed Related knowledge is easily clustered Efficient in space requirements Objects represented only once Inference reduced to search 26
27 Disadvantages of Semantic Nets Inheritance (particularly from multiple sources and when exceptions in inheritance are required) can cause problems No standards about node and arc types, and semantics might not be quite clear (what does IS-A mea?n) Limited expressiveness: may require a number of specially coded procedures ('procedural attachment') The above problems make it difficult to verify and validate the systems share knowledge reuse knowledge acquire knowledge methodically 27
28 wikipedia The Story of Othello Othello was a general who was married to Desdemona Iago was a captain who was married to Emilia; he hated Othello Iago told Othello lies about Desdemona Othello killed Desdemona with a pillow. He felt remorse and killed himself with a dagger 28
29 Othello was a general who was married to Desdemona rank general Othello Married to Desdem ona 29
30 Iago was a captain who was married to Emilia; he hated Othello rank general Othello Married to Desdem ona hated Iago Married to Emilia rank captain 30
31 Iago told Othello lies about Desdemona rank general Othello hated Married to deceived Lying-1 about Desdem ona liar Iago Married to Emilia rank captain 31
32 dagger weapon motive remorse general killed Killing-2 Killing-1 motive rank killer killer killed jealousy captain Othello hated Married to deceived Lying-1 about Desdem ona weapon Pillow rank Iago liar Married to Emilia Othello killed Desdemona with a pillow. He felt remorse and killed himself with a dagger 32
33 Prolog Organised by Relations marriedto(husband,wife). marriedto(x,y):-marriedto(y,x). rank(soldier,rank). male(person). alive(person). killing(killer,killed,weapon,motive). motiveforkilling(person,motive):- killing(person,_,_,motive). And so on 33
34 Manipulating the Knowledge So far we have represented the knowledge in a variety of ways We also need to manipulate the knowledge This can be done in a variety of ways 34
35 dagger weapon motive remorse Spreading Activation general killed Killing-2 Killing-1 motive rank killer killer killed jealousy captain Othello hated Married to deceived Lying-1 about Desdem ona weapon Pillow rank Iago liar Married to Emilia What do the pillow and the dagger have in common? 35
36 dagger 1 weapon motive remorse Spreading Activation general killed Killing-2 Killing-1 motive rank killer killer killed jealousy captain Othello hated Married to deceived Lying-1 about Desdem ona weapon 1 Pillow rank Iago liar Married to Emilia What do the pillow and the dagger have in common? 36
37 dagger 1 weapon motive 2 remorse Spreading Activation general killed Killing-2 Killing-1 motive rank killer killer killed jealousy captain Othello hated Married to deceived Lying-1 about Desdem ona weapon 1 Pillow rank Iago liar Married to Emilia What do the pillow and the dagger have in common? 37
38 general dagger 1 weapon killed motive 2 Killing-2 remorse 2 Killing-1 Spreading Activation motive rank killer killer killed jealousy captain Othello hated Married to deceived Lying-1 about Desdem ona weapon 1 Pillow rank Iago liar Married to Emilia What do the pillow and the dagger have in common? 38
39 general captain rank dagger 1 motive weapon 2 Killing-2 killed killer rank killer 3 Married to Othello deceived Lying-1 hated liar Married to Iago 3 remorse about killed Desdem ona Emilia 2 Killing-1 weapon 1 Pillow Spreading Activation motive jealousy What do the pillow and the dagger have in common? 39
40 general captain rank dagger 1 motive weapon 2 Killing-2 killed killer rank killer 3 3 Married to Othello deceived Lying-1 hated liar Married to Iago 3 remorse about killed 3 Desdem ona Emilia 2 Killing-1 weapon 1 Pillow Spreading Activation motive 3 jealousy What do the pillow and the dagger have in common? 40
41 general captain rank dagger 1 motive weapon 2 Killing-2 killed killer rank killer 3 3 Married to Othello deceived Lying-1 hated liar Married to Iago 3 remorse about killed 3 Desdem ona Emilia 2 Killing-1 weapon 1 Pillow Spreading Activation motive 3 jealousy What do the pillow and the dagger have in common? Weapons used by Othello in killings 41
42 Using Rules IF (?X is-a killing) AND (?X killed?y) THEN REMOVE (?Y alive T) AND ADD (?Y alive F). IF create(killing,?x,?y) THEN execute(?x.weapon) AND execute(?x.motive) AND put(?y.alive,f). Or we can use clauses for Prolog alive(x,false):-killing(_,x,_,_). 42
43 Frames Development of semantic nets Desire to exploit the powerful mechanism of inheritance Observation: things of a given type participate in the same set of relationships A lot of information is available by default it is the exceptions that are interesting 43
44 Frames Frames - semantic net with properties and methods Devised by Marvin Minsky, Incorporates certain valuable human thinking characteristics: Expectations, assumptions, stereotypes, exceptions. The essence of this form of knowledge is that we represent the typical case and exceptions, rather than give definitions. Hierarchical structure, similar to class hierarchies. 44
45 Problems with Frames & Semantic Nets Useful for representing certain sorts of knowledge e.g., inheritance But node and edge types can be ad hoc. no clear meaning, or semantics. Inheritance reasoning is very easy, but more general reasoning is difficult to define often special purpose. 45
46 Developments Many of the ideas of frames are now expressed in ontologies (see next lecture) Frame system + procedures for retrieving and manipulating knowledge = Object System AI research influenced the development of Object Oriented Programming, which has become a standard paradigm good example of how AI contributes to mainstream computing 46
47 Agents Agents can be seen as a development from OO programming: Agents don t wait for messages: they proactively poll the environment to find new information. Agents decide whether to respond to messages. The elements of proactivity and autonomy make them part of AI. 47
48 Summary Semantic networks were a popular method of structuring information In recent years people have attempted to be more principled and formal Simply working on special cases and limited domains is no longer enough Next we will consider these developments in the context of ontologies and logic-based approaches Structured objects developed into OO programming, now a conventional technique Next time Expert systems and ontologies 48
COMP219: 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 informationMethodology for Agent-Oriented Software
ب.ظ 03:55 1 of 7 2006/10/27 Next: About this document... Methodology for Agent-Oriented Software Design Principal Investigator dr. Frank S. de Boer (frankb@cs.uu.nl) Summary The main research goal of this
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 informationCOMP219: Artificial Intelligence. Lecture 2: AI Problems and Applications
COMP219: Artificial Intelligence Lecture 2: AI Problems and Applications 1 Introduction Last time General module information Characterisation of AI and what it is about Today Overview of some common AI
More informationConversion Masters in IT (MIT) AI as Representation and Search. (Representation and Search Strategies) Lecture 002. Sandro Spina
Conversion Masters in IT (MIT) AI as Representation and Search (Representation and Search Strategies) Lecture 002 Sandro Spina Physical Symbol System Hypothesis Intelligent Activity is achieved through
More informationDesigning Semantic Virtual Reality Applications
Designing Semantic Virtual Reality Applications F. Kleinermann, O. De Troyer, H. Mansouri, R. Romero, B. Pellens, W. Bille WISE Research group, Vrije Universiteit Brussel, Pleinlaan 2, 1050 Brussels, Belgium
More informationTEACHER S PET PUBLICATIONS. PUZZLE PACK for Othello based on the play by William Shakespeare
TEACHER S PET PUBLICATIONS PUZZLE PACK for Othello based on the play by William Shakespeare Puzzle Pack Written By William T. Collins 2005 Teacher s Pet Publications, Inc. All Rights Reserved The materials
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 informationAI Day on Knowledge Representation and Automated Reasoning
Faculty of Engineering and Natural Sciences AI Day on Knowledge Representation and Automated Reasoning Wednesday, 21 May 2008 13:40 15:30, FENS G035 15:40 17:00, FENS G029 Knowledge Representation and
More informationCSC 550: Introduction to Artificial Intelligence. Fall 2004
CSC 550: Introduction to Artificial Intelligence Fall 2004 See online syllabus at: http://www.creighton.edu/~davereed/csc550 Course goals: survey the field of Artificial Intelligence, including major areas
More informationCOMPUTATONAL INTELLIGENCE
COMPUTATONAL INTELLIGENCE October 2011 November 2011 Siegfried Nijssen partially based on slides by Uzay Kaymak Leiden Institute of Advanced Computer Science e-mail: snijssen@liacs.nl Katholieke Universiteit
More informationAI in Business Enterprises
AI in Business Enterprises Are Humans Rational? Rini Palitmittam 10 th October 2017 Image Courtesy: Google Images Founders of Modern Artificial Intelligence Image Courtesy: Google Images Founders of Modern
More informationIntelligent Robotics: Introduction
Intelligent Robotics: Introduction Intelligent Robotics 06-13520 Intelligent Robotics (Extended) 06-15267 Jeremy Wyatt School of Computer Science University of Birmingham, 2011/12 Plan Intellectual aims
More informationCS 354R: Computer Game Technology
CS 354R: Computer Game Technology Introduction to Game AI Fall 2018 What does the A stand for? 2 What is AI? AI is the control of every non-human entity in a game The other cars in a car game The opponents
More informationAgent-Based Systems. Agent-Based Systems. Agent-Based Systems. Five pervasive trends in computing history. Agent-Based Systems. Agent-Based Systems
Five pervasive trends in computing history Michael Rovatsos mrovatso@inf.ed.ac.uk Lecture 1 Introduction Ubiquity Cost of processing power decreases dramatically (e.g. Moore s Law), computers used everywhere
More informationLogic and Artificial Intelligence Lecture 16
Logic and Artificial Intelligence Lecture 16 Eric Pacuit Currently Visiting the Center for Formal Epistemology, CMU Center for Logic and Philosophy of Science Tilburg University ai.stanford.edu/ epacuit
More informationArtificial Intelligence
Politecnico di Milano Artificial Intelligence Artificial Intelligence What and When Viola Schiaffonati viola.schiaffonati@polimi.it What is artificial intelligence? When has been AI created? Are there
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 informationUnit 8: Problems of Common Sense
Unit 8: Problems of Common Sense AI is brain-dead Can a machine have intelligence? Difficulty of Endowing Common Sense to Computers Philosophical Objections Strong vs. Weak AI Reference copyright c 2013
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 informationKnowledge Management for Command and Control
Knowledge Management for Command and Control Dr. Marion G. Ceruti, Dwight R. Wilcox and Brenda J. Powers Space and Naval Warfare Systems Center, San Diego, CA 9 th International Command and Control Research
More informationQuick work: Memory allocation
Quick work: Memory allocation The OS is using a fixed partition algorithm. Processes place requests to the OS in the following sequence: P1=15 KB, P2=5 KB, P3=30 KB Draw the memory map at the end, if each
More informationNeuro-Fuzzy and Soft Computing: Fuzzy Sets. Chapter 1 of Neuro-Fuzzy and Soft Computing by Jang, Sun and Mizutani
Chapter 1 of Neuro-Fuzzy and Soft Computing by Jang, Sun and Mizutani Outline Introduction Soft Computing (SC) vs. Conventional Artificial Intelligence (AI) Neuro-Fuzzy (NF) and SC Characteristics 2 Introduction
More informationLecture 1 What is AI? EECS 348 Intro to Artificial Intelligence Doug Downey
Lecture 1 What is AI? EECS 348 Intro to Artificial Intelligence Doug Downey Outline 1) What is AI: The Course 2) What is AI: The Field 3) Why to take the class (or not) 4) A Brief History of AI 5) Predict
More informationCS344: Introduction to Artificial Intelligence (associated lab: CS386)
CS344: Introduction to Artificial Intelligence (associated lab: CS386) Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 1: Introduction 3 rd Jan, 2011 Basic Facts Faculty instructor: Dr. Pushpak Bhattacharyya
More informationIntroduction to cognitive science Session 3: Cognitivism
Introduction to cognitive science Session 3: Cognitivism Martin Takáč Centre for cognitive science DAI FMFI Comenius University in Bratislava Príprava štúdia matematiky a informatiky na FMFI UK v anglickom
More informationAND ENGINEERING SYSTEMS
SPbSPU JASS 2008 Advisor: Prof. Tatiana A. Gavrilova By: Natalia Danilova KNOWLEDGE-BASED CONTROL AND ENGINEERING SYSTEMS Contents Introduction Concepts Approaches Case-studies Perspectives Conclusion
More informationLecture 1 What is AI?
Lecture 1 What is AI? EECS 348 Intro to Artificial Intelligence Doug Downey With material adapted from Oren Etzioni (UW) and Stuart Russell (UC Berkeley) Outline 1) What is AI: The Course 2) What is AI:
More informationDesign Rationale as an Enabling Factor for Concurrent Process Engineering
612 Rafael Batres, Atsushi Aoyama, and Yuji NAKA Design Rationale as an Enabling Factor for Concurrent Process Engineering Rafael Batres, Atsushi Aoyama, and Yuji NAKA Tokyo Institute of Technology, Yokohama
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 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 informationApplication of Definitive Scripts to Computer Aided Conceptual Design
University of Warwick Department of Engineering Application of Definitive Scripts to Computer Aided Conceptual Design Alan John Cartwright MSc CEng MIMechE A thesis submitted in compliance with the regulations
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 informationStructural Analysis of Agent Oriented Methodologies
International Journal of Information & Computation Technology. ISSN 0974-2239 Volume 4, Number 6 (2014), pp. 613-618 International Research Publications House http://www. irphouse.com Structural Analysis
More informationGoals of this Course. CSE 473 Artificial Intelligence. AI as Science. AI as Engineering. Dieter Fox Colin Zheng
CSE 473 Artificial Intelligence Dieter Fox Colin Zheng www.cs.washington.edu/education/courses/cse473/08au Goals of this Course To introduce you to a set of key: Paradigms & Techniques Teach you to identify
More informationCHARACTERS. OTHELLO, a noble Moor. BRABANTIO, Desdemona s father. CASSIO, Othello s lieutenant. IAGO, a villain. RODERIGO, a Venetian gentleman
45 CHARACTERS, a noble Moor BRABANTIO, Desdemona s father, Othello s lieutenant, a villain RODERIGO, a Venetian gentleman OF VENICE MONTANO, Governor of Cyprus LODOVICO, a Venetian nobleman GRATIANO, a
More informationES 492: SCIENCE IN THE MOVIES
UNIVERSITY OF SOUTH ALABAMA ES 492: SCIENCE IN THE MOVIES LECTURE 5: ROBOTICS AND AI PRESENTER: HANNAH BECTON TODAY'S AGENDA 1. Robotics and Real-Time Systems 2. Reacting to the environment around them
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 informationOthello. Act IV Notes
Othello Act IV Notes Act IV Scene 1 Read IV.1.1137-1140 Othello is trying, even after swearing that Desdemona was unfaithful, not to condemn her too harshly. He is talking with Iago about the handkerchief
More informationINTRODUCTION. a complex system, that using new information technologies (software & hardware) combined
COMPUTATIONAL INTELLIGENCE & APPLICATIONS INTRODUCTION What is an INTELLIGENT SYSTEM? a complex system, that using new information technologies (software & hardware) combined with communication technologies,
More informationThe power behind an intelligent system is knowledge.
Induction systems 1 The power behind an intelligent system is knowledge. We can trace the system success or failure to the quality of its knowledge. Difficult task: 1. Extracting the knowledge. 2. Encoding
More informationConvergence and coevolution Business Ecosystems. Digital Ecosystems
CITY HALL OF PARIS - 9 & 10 November 2006 The Digital Convergence Towards a More Competitive, Mobile and Inclusive Knowledge-Based Society Convergence and coevolution Business Ecosystems and Digital Ecosystems
More informationA Historical Example One of the most famous problems in graph theory is the bridges of Konigsberg. The Real Koningsberg
A Historical Example One of the most famous problems in graph theory is the bridges of Konigsberg The Real Koningsberg Can you cross every bridge exactly once and come back to the start? Here is an abstraction
More informationOthello. Teaching Unit. Individual Learning Packet. by William Shakespeare. ISBN Reorder No
Individual Learning Packet Teaching Unit Othello by William Shakespeare Copyright 1995 by Prestwick House Inc., P.O. Box 658, Clayton, DE 19938. 1-800-932-4593. www.prestwickhouse.com Permission to copy
More informationCSE 573 Problem Set 1. Answers on 10/17/08
CSE 573 Problem Set. Answers on 0/7/08 Please work on this problem set individually. (Subsequent problem sets may allow group discussion. If any problem doesn t contain enough information for you to answer
More informationPedigree Reconstruction using Identity by Descent
Pedigree Reconstruction using Identity by Descent Bonnie Kirkpatrick Electrical Engineering and Computer Sciences University of California at Berkeley Technical Report No. UCB/EECS-2010-43 http://www.eecs.berkeley.edu/pubs/techrpts/2010/eecs-2010-43.html
More informationOverview of Expert Systems
MINE 432 Industrial Automation and Robotics (Part 3) Overview of Expert Systems A. Farzanegan Fall 2014 Norman B. Keevil Institute of Mining Engineering Expertise and Human Expert Expertise is skill or
More informationPure Versus Applied Informatics
Pure Versus Applied Informatics A. J. Cowling Department of Computer Science University of Sheffield Structure of Presentation Introduction The structure of mathematics as a discipline. Analysing Pure
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 informationGraph-of-word and TW-IDF: New Approach to Ad Hoc IR (CIKM 2013) Learning to Rank: From Pairwise Approach to Listwise Approach (ICML 2007)
Graph-of-word and TW-IDF: New Approach to Ad Hoc IR (CIKM 2013) Learning to Rank: From Pairwise Approach to Listwise Approach (ICML 2007) Qin Huazheng 2014/10/15 Graph-of-word and TW-IDF: New Approach
More informationProcedural Content Generation
Lecture 14 Generation In Beginning, There Was Rogue 2 In Beginning, There Was Rogue Roguelike Genre Classic RPG style Procedural dungeons Permadeath 3 A Brief History of Roguelikes Precursors (1978) Beneath
More informationProcedural Content Generation
Lecture 13 Generation In Beginning, There Was Rogue 2 In Beginning, There Was Rogue Roguelike Genre Classic RPG style Procedural dungeons Permadeath 3 A Brief History of Roguelikes Precursors (1978) Beneath
More informationHistory and Philosophical Underpinnings
History and Philosophical Underpinnings Last Class Recap game-theory why normal search won t work minimax algorithm brute-force traversal of game tree for best move alpha-beta pruning how to improve on
More informationCS 480: GAME AI TACTIC AND STRATEGY. 5/15/2012 Santiago Ontañón
CS 480: GAME AI TACTIC AND STRATEGY 5/15/2012 Santiago Ontañón santi@cs.drexel.edu https://www.cs.drexel.edu/~santi/teaching/2012/cs480/intro.html Reminders Check BBVista site for the course regularly
More informationCountering Capability A Model Driven Approach
Countering Capability A Model Driven Approach Robbie Forder, Douglas Sim Dstl Information Management Portsdown West Portsdown Hill Road Fareham PO17 6AD UNITED KINGDOM rforder@dstl.gov.uk, drsim@dstl.gov.uk
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 informationCS 440 / ECE 448 Introduction to Artificial Intelligence Spring 2010 Lecture #5
CS 440 / ECE 448 Introduction to Artificial Intelligence Spring 2010 Lecture #5 Instructor: Eyal Amir Grad TAs: Wen Pu, Yonatan Bisk Undergrad TAs: Sam Johnson, Nikhil Johri Topics Game playing Game trees
More informationThe Nature of Informatics
The Nature of Informatics Alan Bundy University of Edinburgh 19-Sep-11 1 What is Informatics? The study of the structure, behaviour, and interactions of both natural and artificial computational systems.
More informationHaslingden High School English Faculty HOMEWORK BOOKLET Year 8 - Block A - Shakespeare
Haslingden High School English Faculty HOMEWORK BOOKLET Year 8 - Block A - Shakespeare Name: Form: Subject Teacher: Date Given: Date to Hand in: Effort: House Points: WWW: IOTI: Parent / Guardian Comment:
More informationTEACHER S PET PUBLICATIONS. LitPlan Teacher Pack for Othello based on the play by William Shakespeare
TEACHER S PET PUBLICATIONS LitPlan Teacher Pack for Othello based on the play by William Shakespeare Written by Mary B. Collins 1996 Teacher s Pet Publications, Inc. All Rights Reserved This LitPlan for
More informationCPS331 Lecture: Intelligent Agents last revised July 25, 2018
CPS331 Lecture: Intelligent Agents last revised July 25, 2018 Objectives: 1. To introduce the basic notion of an agent 2. To discuss various types of agents Materials: 1. Projectable of Russell and Norvig
More informationWhere are we? Knowledge Engineering Semester 2, Speech Act Theory. Categories of Agent Interaction
H T O F E E U D N I I N V E B R U S R I H G Knowledge Engineering Semester 2, 2004-05 Michael Rovatsos mrovatso@inf.ed.ac.uk Lecture 12 Agent Interaction & Communication 22th February 2005 T Y Where are
More informationMSc(CompSc) List of courses offered in
Office of the MSc Programme in Computer Science Department of Computer Science The University of Hong Kong Pokfulam Road, Hong Kong. Tel: (+852) 3917 1828 Fax: (+852) 2547 4442 Email: msccs@cs.hku.hk (The
More informationModel Oriented Domain Analysis & Engineering Thinking Tools for Interdisciplinary Research, Design, and Engineering
Model Oriented Domain Analysis & Engineering Thinking Tools for Interdisciplinary Research, Design, and Engineering knowledge sharing knowledge validation knowledge visualisation knowledge reuse collaboration
More informationKNOWLEDGE-BASED CONTROL AND ENGINEERING SYSTEMS
JOINT ADVANCED STUDENT SCHOOL 2008, ST. PETERSBURG KNOWLEDGE-BASED CONTROL AND ENGINEERING SYSTEMS Final Report by Natalia Danilova born on 24.04.1987 address: Grazhdanski pr. 28 Saint-Petersburg, Russia
More informationEvolution of Knowledge Management: From Expert Systems to Innovation 2.0
IAEA International Conference on Human Resource Development for Nuclear Power Programs: Building and Sustaining Capacity, 12-16 May 2014 Evolution of Knowledge Management: From Expert Systems to Innovation
More informationPermutations and Combinations Section
A B I L E N E C H R I S T I A N U N I V E R S I T Y Department of Mathematics Permutations and Combinations Section 13.3-13.4 Dr. John Ehrke Department of Mathematics Fall 2012 Permutations A permutation
More informationGrundlagen des Software Engineering Fundamentals of Software Engineering
Software Engineering Research Group: Processes and Measurement Fachbereich Informatik TU Kaiserslautern Grundlagen des Software Engineering Fundamentals of Software Engineering Winter Term 2011/12 Prof.
More informationThe Intelligent Computer. Winston, Chapter 1
The Intelligent Computer Winston, Chapter 1 Michael Eisenberg and Gerhard Fischer TA: Ann Eisenberg AI Course, Fall 1997 Eisenberg/Fischer 1 AI Course, Fall97 Artificial Intelligence engineering goal:
More informationKnowledge Life-Cycle Management over a Distributed Architecture
Knowledge Life-Cycle Management over a Distributed Architecture Marco Schorlemmer 1 Stephen Potter 1 David Robertson 1 Derek Sleeman 2 1 Centre for Intelligent Systems and their Applications School of
More information2010 HSC Software Design and Development Marking Guidelines
00 HSC Software Design and Development Marking Guidelines Section I Question Answer A A A 4 D 5 C 6 B 7 B 8 D 9 D 0 C D B B 4 D 5 A 6 B 7 C 8 D 9 C 0 C 00 HSC Software Design and Development Marking Guidelines
More information10/12/2015. SHRDLU: 1969 NLP solved?? : A sea change in AI technologies. SHRDLU: A demonstration proof. 1990: Parsing Research in Crisis
SHRDLU: 1969 NLP solved?? 1980-1995: A sea change in AI technologies Example: Natural Language Processing The Great Wave off Kanagawa by Hokusai, ~1830 ] Person: PICK UP A BIG RED BLOCK. Computer: OK.
More informationMulti-Agent Systems in Distributed Communication Environments
Multi-Agent Systems in Distributed Communication Environments CAMELIA CHIRA, D. DUMITRESCU Department of Computer Science Babes-Bolyai University 1B M. Kogalniceanu Street, Cluj-Napoca, 400084 ROMANIA
More informationObjects 101: An Introduction
Objects 101: An Introduction Benefits of Object Technology Object Mythology Anatomy of an Object Anatomy of a Class Classes and Instances Anthromorphizing Objects Definitions of: Message Encapsulation
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 informationCS 540: Introduction to Artificial Intelligence
CS 540: Introduction to Artificial Intelligence Mid Exam: 7:15-9:15 pm, October 25, 2000 Room 1240 CS & Stats CLOSED BOOK (one sheet of notes and a calculator allowed) Write your answers on these pages
More informationFORMAL MODELING AND VERIFICATION OF MULTI-AGENTS SYSTEM USING WELL- FORMED NETS
FORMAL MODELING AND VERIFICATION OF MULTI-AGENTS SYSTEM USING WELL- FORMED NETS Meriem Taibi 1 and Malika Ioualalen 1 1 LSI - USTHB - BP 32, El-Alia, Bab-Ezzouar, 16111 - Alger, Algerie taibi,ioualalen@lsi-usthb.dz
More informationFrom ProbLog to ProLogic
From ProbLog to ProLogic Angelika Kimmig, Bernd Gutmann, Luc De Raedt Fluffy, 21/03/2007 Part I: ProbLog Motivating Application ProbLog Inference Experiments A Probabilistic Graph Problem What is the probability
More informationContents. ACT 1 Scene Scene Scene ACT 2 Scene Scene Scene ACT 3 Scene Scene Scene 3...
Contents ACT 1 Scene 1............................ 5 Scene 2............................10 Scene 3............................14 ACT 2 Scene 1........................... 23 Scene 2............................29
More informationWebs of Belief and Chains of Trust
Webs of Belief and Chains of Trust Semantics and Agency in a World of Connected Things Pete Rai Cisco-SPVSS There is a common conviction that, in order to facilitate the future world of connected things,
More informationRequired Course Numbers. Test Content Categories. Computer Science 8 12 Curriculum Crosswalk Page 2 of 14
TExES Computer Science 8 12 Curriculum Crosswalk Test Content Categories Domain I Technology Applications Core Competency 001: The computer science teacher knows technology terminology and concepts; the
More informationCPS331 Lecture: Search in Games last revised 2/16/10
CPS331 Lecture: Search in Games last revised 2/16/10 Objectives: 1. To introduce mini-max search 2. To introduce the use of static evaluation functions 3. To introduce alpha-beta pruning Materials: 1.
More informationSimple Search Algorithms
Lecture 3 of Artificial Intelligence Simple Search Algorithms AI Lec03/1 Topics of this lecture Random search Search with closed list Search with open list Depth-first and breadth-first search again Uniform-cost
More informationPatterns and their impact on system concerns
Patterns and their impact on system concerns Michael Weiss Department of Systems and Computer Engineering Carleton University, Ottawa, Canada weiss@sce.carleton.ca Abstract Making the link between architectural
More informationPrepared by Vaishnavi Moorthy Asst Prof- Dept of Cse
UNIT II-REPRESENTATION OF KNOWLEDGE (9 hours) Game playing - Knowledge representation, Knowledge representation using Predicate logic, Introduction tounit-2 predicate calculus, Resolution, Use of predicate
More informationMaking Simple Decisions CS3523 AI for Computer Games The University of Aberdeen
Making Simple Decisions CS3523 AI for Computer Games The University of Aberdeen Contents Decision making Search and Optimization Decision Trees State Machines Motivating Question How can we program rules
More informationAIEDAM Special Issue: Sketching, and Pen-based Design Interaction Edited by: Maria C. Yang and Levent Burak Kara
AIEDAM Special Issue: Sketching, and Pen-based Design Interaction Edited by: Maria C. Yang and Levent Burak Kara Sketching has long been an essential medium of design cognition, recognized for its ability
More informationChallenges In Context
Challenges In Context Stewart Fallis 2, Ian Millard 1, David De Roure 1 Kevin Page 1 1 Intelligence, Agents, Multimedia Group University of Southampton http://www.iam.ecs.soton.ac.uk/ 2 Mobility Centre
More informationCOS 402 Machine Learning and Artificial Intelligence Fall Lecture 1: Intro
COS 402 Machine Learning and Artificial Intelligence Fall 2016 Lecture 1: Intro Sanjeev Arora Elad Hazan Today s Agenda Defining intelligence and AI state-of-the-art, goals Course outline AI by introspection
More informationSystems Engineering CSC 595_495 Spring 2018 Howard Rosenthal
Systems Engineering CSC 595_495 Spring 2018 Howard Rosenthal 1 Notice This course is based on and includes material from the text: The Engineering Design of Systems: Models and Methods (Wiley Series in
More informationOthello Study Guide Questions Act I, Scene i Act I, Scene ii Act I, Scene iii
Othello Study Guide Questions Since only a class set is available to you from the English department, you may also access the full text of the play from any of the following websites: www.folgerdigitaltexts.org/html/oth.html
More informationArtificial Intelligence
What is AI? Artificial Intelligence How does the human brain work? How do we emulate the human brain? Rob Kremer Department of Computer Science University of Calgary 1 What is How do we create Who cares?
More informationAn ontology-based knowledge management system to support technology intelligence
An ontology-based knowledge management system to support technology intelligence Husam Arman, Allan Hodgson, Nabil Gindy University of Nottingham, School of M3, Nottingham, UK ABSTRACT High technology
More informationDevelopment of a guideline authoring tool with PROTÉGÉ II, based on the DILEMMA Generic Protocol and Guideline Model
Development of a guideline authoring tool with PROTÉGÉ II, based on the DILEMMA Generic Protocol and Guideline Model Peter D. Johnson 1 and Mark A. Musen 2 1 PRESTIGE Project c/o Information Department,
More informationRomantic Partnerships and the Dispersion of Social Ties
Introduction Embeddedness and Evaluation Combining Features Romantic Partnerships and the of Social Ties Lars Backstrom Jon Kleinberg presented by Yehonatan Cohen 2014-11-12 Introduction Embeddedness and
More informationPOLICY RESEARCH, ACTION RESEARCH, AND INTERPRETIVE RESEARCH IN INFORMATION SYSTEMS AREAS
Faculty of Computer Science - University of Indonesia POLICY RESEARCH, ACTION RESEARCH, AND INTERPRETIVE RESEARCH IN INFORMATION SYSTEMS AREAS RESEARCH METHODOLOGY CLASS Lecturer : RIRI SATRIA Date : October
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 informationDigital Logic Circuits
Digital Logic Circuits Lecture 5 Section 2.4 Robb T. Koether Hampden-Sydney College Wed, Jan 23, 2013 Robb T. Koether (Hampden-Sydney College) Digital Logic Circuits Wed, Jan 23, 2013 1 / 25 1 Logic Gates
More informationThis article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and
This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution
More information