We think you have liked this presentation. If you wish to download it, please recommend it to your friends in any social system. Share buttons are a little bit lower. Thank you!
Presentation is loading. Please wait.
Published byArianna Wherley
Modified about 1 year ago
predicates nondeterm isa(symbol,symbol) nondeterm hasprop(symbol,symbol,symbol). nondeterm hasproperty(symbol,symbol,symbol). clauses isa(canary,bird). isa(robin,bird). isa(ostrich,bird). isa(bird,animal). isa(opus,penguin). isa(penguin,bird). isa(fish,animal). isa(tweety,canary). hasprop(tweety,color,white). hasprop(robin,color,red). hasprop(canary,color,yellow). hasprop(penguin,color,brown). hasprop(bird,travel,fly). hasprop(fish,travel,swim). hasprop(ostrich,travel,walk). hasprop(penguin,travel,walk). hasprop(robin,sound,sing). hasprop(canary,sound,sing). hasprop(bird,cover,feather). hasprop(animal,cover,skin). hasproperty(Obj,Pr,Val):-hasprop(Obj,Pr,Val). hasproperty(Obj,Pr,Val):- isa(Obj,Parent),hasproperty(Parent,Pr,Val). goal hasproperty(Obj,Pr,fly). Implementing inference using inheretance
Name:bird Isa: animal Prop:flies,feather Default: Name:animal Isa: animate Prop:eats,skin Default: Name:canary Isa: bird Prop: color(yellow),sound(sing) Default:size(small) Name:tweety Isa: canary Prop: color(yellow),sound(sing) Default:color(white) Frames from a knowledge base of birds
domains obj=symbol prop=travel(symbol);color(symbol);call(symbol);size(symbol);cover(symbol);actio n(symbol) listp=prop* name=name(obj) isa=isa(obj) predicates nondeterm frame(name,isa,listp,listp) nondeterm get(prop,obj) nondeterm member(prop,listp) nondeterm memberf(prop,listp) nondeterm uget(obj,listp) nondeterm equal(prop,prop) print(listp) clauses frame(name(bird),isa(animal),[travel(flies),cover(feathers)],). frame(name(penguin),isa(bird),[color(brown)],[travel(walks)]). frame(name(canary),isa(bird),[color(yellow),call(sing)],[size(small)]). frame(name(tweety),isa(canary),,[color(white)]). equal(travel(_),travel(_)). equal(color(_),color(_)). equal(call(_),call(_)). equal(size(_),size(_)). equal(cover(_),cover(_)). equal(action(_),action(_)).
memberf(P,[H|_]):-equal(P,H). memberf(Pro,[_|T]):-memberf(Pro,T). member(P,[H|_]):-P=H. member(Pro,[_|T]):-member(Pro,T). get(Pro,Obj):-frame(name(Obj),_,LP,_),member(Pro,LP). get(Pro,Obj):-frame(name(Obj),_,_,LD),member(Pro,LD). get(Pro,Obj):-frame(name(Obj),isa(Parent),_,_),get(Pro,Parent). uget(Obj,L):-get(H,Obj),NOT(memberf(H,L)),uget(Obj,[H|L]). uget(Obj,L):-write(Obj),write(":"),print(L). print(). print([H|T]):-write(H),print(T). goal uget(tweety,). tweety:cover("feathers")travel("flies")size("small")call("sing")color("white")yes
CSE (c) S. Tanimoto, 2005 Knowledge Representation 1 Knowledge Representation (Introduction) Knowledge Information Data Knowledge representation:
Click on this icon to start animation At the end of animation, ‘right click’ and select ‘end show’. Animation frame 1 of 32 To hasten the speed of animation,
CPSC 322 Introduction to Artificial Intelligence November 3, 2004.
1 CS 385 Fall 2006 Chapter 7 Knowledge Representation 7.1.1, 7.1.5, 7.2.
Knowledge Representation Semantic Network dan Frame.
Knowledge Representation Techniques Lecture Module - 15.
Representations One of the major distinctions between ordinary software and AI is the need to represent domain knowledge (or other forms of worldly knowledge)
For Friday Finish chapter 10 No homework (get started on program 2)
Animal Name: Picture of Animal. Where does your animal live? What part of the world does your animal live in? Picture of Bird Picture of Flower.
Semantic Networks The idea behind a semantic network is that knowledge is often best understood as a set of concepts that are related to one another. The.
Knowledge Representation. 2 KNOWLEDGE REPRESENTATION AND INFERENCE What is knowledge What is knowledge What is knowledge representation (KR) What is knowledge.
1 Logic Programming School of Informatics, University of Edinburgh Describing State Change Predicate logic is stateless: if p(a) can once be deduced from.
An Overview of Ontologies and their Practical Applications Gianluca Correndo
1 Frame Theory A vague paradigm - to organize knowledge in high-level structures “A Framework for Representing Knowledge” - Minsky, 1974 Knowledge is encoded.
The Best Pet Bird Team Names:. The Best Pet Bird, Page 2 Presented by The 3 birds that we researched were: Parrots Canaries Cockatiels.
For Wednesday Read chapter 13 Homework: –Chapter 10, exercise 5 (part 1 only, don’t redo) Progress for program 2 due.
Animal Groups Your Name. There are six animal groups: Group 1 Group 2 Group 3 Group 4 Group 5 Group 6.
Chapter 4 Knowledge Representation Artificial Intelligence ดร. วิภาดา เวทย์ประสิทธิ์ ภาควิชาวิทยาการคอมพิวเตอร์ คณะ วิทยาศาสตร์ มหาวิทยาลัยสงขลานครินทร์
There are many kinds of animals. Animals can be put into groups based upon their characteristics. Some animals do not have backbones.
CSE (c) S. Tanimoto, 2007 ISA Hierarchies 1 ISA Hierarchies: A Basis for Knowledge Representation with Semantic Networks Outline: The Directed Acyclic.
1 Lectures on Artificial Intelligence (CS 364) 1 Khurshid Ahmad Professor of Artificial Intelligence Centre for Knowledge Management September 2001.
Becoming a Scientist Skills and Tools. Questioning Being curious about the world. What questions do you have about this photograph?
Contrary to the beliefs of early workers in AI, experience has shown that Intelligent Systems cannot achieve anything useful unless they contain a large.
Unit 5 Simple Present, Time Clauses, Used To, and Would.
Unit 31 Object Relative Clauses (Adjective Clauses with Object Relative Pronouns)
Semantic Networks and Frames. Semantic networks - history Network notations are almost as old as logic Porphyry (3rd century AD) – tree-based hierarchies.
Semantic Nets  Example 1 Represent the following sentences using a semantic net: (a) Tom is a cat. (b) Tom caught a bird. (c) Tom is owned by John.
Knowledge Representation 1. CONTENTS What is knowledge? How to represent knowledge? Definition of KR Characteristics of KR Schemes Types of KR Schemes:
Default Reasoning the problem: in FOL, universally-quantified rules cannot have exceptions – x bird(x) can_fly(x) –bird(tweety) –bird(opus) can_fly(opus)
KNOWLEDGE BASED SYSTEMS Dr.A.Kannan. ARTIFICIAL INTELLIGENCE AI – John Mc Carthy Make Computers to do things. Developing Intelligent Computer Programs.
1 The Logic of Quantified Statements. 2 Definition of Predicate Predicate is a sentence that contains finite number of variables; becomes a statement.
1 Knowledge Representation We’ve discussed generic search techniques. Usually we start out with a generic technique and enhance it to take advantage of.
Semantic Nets, Frames, World Representation CS – W February, 2004.
1 Expert Systems Lecture 3 Knowledge Representation Technique.
For Friday Exam 1. For Monday No reading Take home portion of exam due.
Structured Knowledge Chapter 7. 2 Logic Notations Does logic represent well knowledge in structures?
Problem Independent Forward Chaining Forward chaining is a reasoning process that begins with the known facts and tries to work forward to find a successful.
Knowledge Representation. Introduction Domain specific knowledge is needed to solve some problems. Knowledge base – representation. Inference techniques.
1 Semantic Web Semantic Web DL Relationships with other Formalisms Habib Rostami.
Devina DesaiF r a m e P r o b l e m What is a Frame Problem Environment for an agent is not static Identifying which things remain static in changing word.
Observation vs. Inferences The Local Environment.
Copyright © 2002 Cycorp Writing Efficient CycL Part 1 Part One –Simpler is Better –Use Rule Macro Predicates –Create Simplifying Vocabulary Part Two –Factor.
CSC411Artificial Intelligence1 Knowledge Representation Contents Issues in Knowledge Representation AI Representational Systems Semantic Networks Scripts.
Ch. 12 – Knowledge Representation Supplemental slides for CSE 327 Prof. Jeff Heflin.
Created by: Denise Oxendine & Vonnie (Mrs. Purple) Lewis Curriculum Specialists…PSRC Objective: To acquire a better knowledge of the implementation.
Knowledge Representation. Introduction Knowledge is organized in knowledge base in one or more configurations. A good knowledge representation ‘naturally’
Knowledge Representation. Key Issue in AI 1. Mapping between objects and relations in a problem domain and computational objects and relations in a program.
Dave Reed Knowledge representation associationist knowledge semantic nets, conceptual dependencies structured knowledge frames, scripts alternative.
Knowledge Representation Lecture 2 out of 5. Last Week Intelligence needs knowledge We need to represent this knowledge in a way a computer can process.
CPSC 322 Introduction to Artificial Intelligence November 5, 2004.
© 2017 SlidePlayer.com Inc. All rights reserved.