University of Science and Technology Faculty of Computer
- Slides: 44
University of Science and Technology Faculty of Computer Science and Information Technology Artificial Intelligence (AI) 4 th Year B. Sc : Information Technology Academic Year : 2017 -2018 Instructor : Diaa Eldin Mustafa Ahmed Knowledge Representation (KR)
ARTIFICIAL INTELLIGENCE (AI) KNOWLEDGE REPRESENTATION SCHEMES Ruchi Sharma ruchisharma 1701@gmail. com http: //www. wiziq. com/tutor-profile/376074 -Ruchi
Contents ü Quick Recall – AI concept ü Knowledge Representation – Concept & Features ü Knowledge Representation - Techniques/Schemes ü Understanding Semantic Networks – Facts ü Understanding Semantic Networks – Examples ü Understanding Frames – Facts ü Understanding Frames – Examples ü Understanding Propositional Logic & FOPL – Facts ü Understanding Propositional Logic & FOPL - Examples ü Understanding Rule-based Systems - Facts ü Understanding Rule-based Systems - Examples Ruchi Sharma ruchisharma 1701@gmail. com http: //www. wiziq. com/tutor-profile/376074 -Ruchi
Quick Recall – AI Concepts 1. 2. Artificial Intelligence deals with creating computer systems that can ü simulate human intelligent behaviour in a particular domain ü learn new concepts and tasks ü reason & draw conclusions ü learn from the examples & past related experience A computer possessing artificial intelligence( an expert system) has two basic parts ü Knowledge Base – containing the knowledge it uses ü Inference-control unit – which facilitates the appropriate & contextual use of KB Ruchi Sharma ruchisharma 1701@gmail. com http: //www. wiziq. com/tutor-profile/376074 -Ruchi
Knowledge Representation – Concept & Features Knowledge representation is a method used to code knowledge in the knowledge base of an expert system. An ideal knowledge representation scheme should ü have inferencing capability ü have a set of well defined syntax & semantics ü allow the knowledge engineer to express knowledge in a language ( which can be inferred) ü allow new knowledge to be inferred from the basic facts already stored in the KB Ruchi Sharma ruchisharma 1701@gmail. com http: //www. wiziq. com/tutor-profile/376074 -Ruchi
Knowledge Representation – Techniques/Schemes Different knowledge representation schemes are used today among which the most common are ü Semantic Networks ü Frames ü Propositional logic & FOPL ü Rule-based system Ruchi Sharma ruchisharma 1701@gmail. com http: //www. wiziq. com/tutor-profile/376074 -Ruchi
Understanding Semantic Networks - Facts ü A semantic network is a directed graph with labelled nodes & arrows. Nodes are commonly used for objects & the arrows for relations. ü The pictorial representation of objects, their attributes & relationships between them & other entities make them better than many other representation schemes. Ruchi Sharma ruchisharma 1701@gmail. com http: //www. wiziq. com/tutor-profile/376074 -Ruchi
Understanding Semantic Networks – An example Let us make a semantic net with the following piece of information “Tweety is a yellow bird having wings to fly. ” Fact 1 : Tweety is a bird. Fact 2 : Birds can fly. Fact 3 : Tweety is yellow in color. CAN fly tweety bird A-KIND-OF HAS-PARTS wings Ruchi Sharma ruchisharma 1701@gmail. com http: //www. wiziq. com/tutor-profile/376074 -Ruchi yellow COLOR
Understanding Frames – Facts ü Frames are record-like structures that have slots & slot-values for an entity ü Using frames, the knowledge about an object/event can be stored together in the KB as a unit ü A slot in a frame § specify a characteristic of the entity which the frame represents § Contains information as attribute-value pairs, default values etc. Ruchi Sharma ruchisharma 1701@gmail. com http: //www. wiziq. com/tutor-profile/376074 -Ruchi
Understanding Frames - Examples 1. An example frame corresponding to the semantic net eg quoted earlier (Tweety (SPECIES (VALUE bird)) (COLOR (VALUE yellow)) (ACTIVITY (VALUE fly))) 2. Employee Details ( Ruchi Sharma (PROFESSION (VALUE Tutor)) (EMPID (VALUE 376074)) (SUBJECT (VALUE Computers))) Ruchi Sharma ruchisharma 1701@gmail. com http: //www. wiziq. com/tutor-profile/376074 -Ruchi
Understanding Propositional Logic – Facts ü Symbolic logic is a formalized system of logic which employs abstract symbols of various aspects of natural language. ü Propositional logic is the simplest form of the symbolic logic, in which the knowledge is represented in the form of declarative statements called propositions. ü Each proposition, denoted by a symbol, can assume either of the two values – true or false. Eg P : It is raining. Q : The visibility is low. Ruchi Sharma ruchisharma 1701@gmail. com http: //www. wiziq. com/tutor-profile/376074 -Ruchi
Understanding Propositional Logic – Facts (Contd. ) ü Propositions are also called formulas or well-formed-formulas(wffs) ü Formulas can be atomic or compound § Atomic formulas – elementary propositional sentences § Compound formulas – formed from the atomic formulas using logical connectives ( ^, V, !, ~, ) eg R : It is raining and the visibility is low. Ruchi Sharma ruchisharma 1701@gmail. com http: //www. wiziq. com/tutor-profile/376074 -Ruchi
Understanding Propositional Logic - Examples 1. If given the statements P, Q and S as : P : It is raining. Q : The visibility is low. S : I can’t drive. Then, the statement “It is raining and the visibility is low, so I can’t drive. ” will be formalized as P^Q 2. S If given the statements P & Q as : P : He needs a doctor. Q : He is unwell. we can conclude Q P Ruchi Sharma ruchisharma 1701@gmail. com http: //www. wiziq. com/tutor-profile/376074 -Ruchi
Understanding First order predicate logic (FOPL) ü FOPL was developed to extend the expressiveness of propositional logic. ü It works by breaking a proposition into various parts & representing them as symbols. ü The symbolic structure includes § individual symbols - some constants as names § variable symbols – as x, y, a, b etc § function symbols – as ‘product’ § predicate symbols – as P, Q etc Ruchi Sharma ruchisharma 1701@gmail. com http: //www. wiziq. com/tutor-profile/376074 -Ruchi
Understanding FOPL - Example Given statements P: Every bird can fly. Q : Tweety is a bird. R : Tweety can fly. Using FOPL, lets define the following B(x) for x is a bird. F(x) for x can fly. P : V(x) ((B(x) F(X)) Q : B(TWEETY)) R: v(x)(B(x) F(x)) ^ B(TWEETY) Ruchi Sharma ruchisharma 1701@gmail. com http: //www. wiziq. com/tutor-profile/376074 -Ruchi F(TWEETY)
Understanding Rule-based System – Facts ü A Rule-based system represents knowledge in the form of a set of rules. ü Each rule represents a small chunk of knowledge relating to the given domain. ü A number of related rules along with some known facts collectively may correspond to a chain of inferences. ü An interpreter(inference engine) uses the facts & rules to derive conclusions about the current context & situation as presented by the user input. Ruchi Sharma ruchisharma 1701@gmail. com http: //www. wiziq. com/tutor-profile/376074 -Ruchi
Understanding Rule-based System – Example Suppose a rule-based system has the following statements R 1 : If A is an animal and A lays no eggs, then A is a mammal. F 1 : Lucida is an animal. F 2 : Lucida lays no eggs. The inference engine will update the rule base after interpreting the above set as : R 1 : If A is an animal and A lays no eggs, then A is a mammal. F 1 : Lucida is an animal. F 2 : Lucida lays no eggs. F 3 : Lucida is a mammal. Ruchi Sharma ruchisharma 1701@gmail. com http: //www. wiziq. com/tutor-profile/376074 -Ruchi
u o k. Y n a Th Ruchi Sharma ruchisharma 1701@gmail. com http: //www. wiziq. com/tutor-profile/376074 -Ruchi
You will be expected to know 19 AI - (2017 -2018) -Diaa Eldein Mustafa - Lecture (5)
q. 20 AI - (2017 -2018) -Diaa Eldein Mustafa - Lecture (5)
q. 21 AI - (2017 -2018) -Diaa Eldein Mustafa - Lecture (5)
q. 22 AI - (2017 -2018) -Diaa Eldein Mustafa - Lecture (5)
q. 23 AI - (2017 -2018) -Diaa Eldein Mustafa - Lecture (5)
q. 24 AI - (2017 -2018) -Diaa Eldein Mustafa - Lecture (5)
q. 25 AI - (2017 -2018) -Diaa Eldein Mustafa - Lecture (5)
q. 26 AI - (2017 -2018) -Diaa Eldein Mustafa - Lecture (5)
q. 27 AI - (2017 -2018) -Diaa Eldein Mustafa - Lecture (5)
q. 28 AI - (2017 -2018) -Diaa Eldein Mustafa - Lecture (5)
q. 29 AI - (2017 -2018) -Diaa Eldein Mustafa - Lecture (5)
q. 30 AI - (2017 -2018) -Diaa Eldein Mustafa - Lecture (5)
q. 31 AI - (2017 -2018) -Diaa Eldein Mustafa - Lecture (5)
q. 32 AI - (2017 -2018) -Diaa Eldein Mustafa - Lecture (5)
q. 33 AI - (2017 -2018) -Diaa Eldein Mustafa - Lecture (5)
q. 34 AI - (2017 -2018) -Diaa Eldein Mustafa - Lecture (5)
q. 35 AI - (2017 -2018) -Diaa Eldein Mustafa - Lecture (5)
q. 36 AI - (2017 -2018) -Diaa Eldein Mustafa - Lecture (5)
q. 37 AI - (2017 -2018) -Diaa Eldein Mustafa - Lecture (5)
q. 38 AI - (2017 -2018) -Diaa Eldein Mustafa - Lecture (5)
q. 39 AI - (2017 -2018) -Diaa Eldein Mustafa - Lecture (5)
q. 40 AI - (2017 -2018) -Diaa Eldein Mustafa - Lecture (5)
q. 41 AI - (2017 -2018) -Diaa Eldein Mustafa - Lecture (5)
q. 42 AI - (2017 -2018) -Diaa Eldein Mustafa - Lecture (5)
q. 43 AI - (2017 -2018) -Diaa Eldein Mustafa - Lecture (5)
Thank You End 44 AI - (2017 -2018) -Diaa Eldein Mustafa - Lecture (5)
- University of bridgeport computer science
- Computer science tutor bridgeport
- Fsu computer science
- Brown university computer science faculty
- Ucl computer science
- Usth
- Ulsan national institute of science and technology
- The university of science and technology yemen
- Jordan university of science and technology
- Jordan university of science and technology
- Jordan university of science and technology
- The university of shanghai for science and technology
- University of science and technology of mazandaran
- Pingtung university of science and technology
- University of science and technology kumasi
- Mongolian university of science and technology logo
- National yunlin university of science and technology
- Science fusion think central
- Mendel university faculty of business and economics
- Elearningunideb
- Faculty of business and economics mendel university in brno
- Lee kong chian faculty of engineering and science
- Lee kong chian faculty of engineering and science
- Hijjawi faculty for engineering technology
- Paragraph on my favourite subject science
- University of phoenix computer science
- Computer science yonsei university
- York university computer science
- Unc chapel hill computer science
- Seoul national university computer science
- Osaka university computer science
- Computer science columbia university
- Towson university computer science
- K-state computer science
- Trinity university computer science
- Brandeis computer science
- University of tartu institute of computer science
- Kotebe metropolitan university website
- Columbia university department of computer science
- Herszon kherson maritime college of merchant marine fleet
- Hubert kairuki memorial university faculty of medicine
- Hyperparathyreosis
- King abdulaziz university faculty of medicine
- Singularity university faculty
- Agnes csaki semmelweis