Introduction to Knowledge Representation

Slides:



Advertisements
Similar presentations
How to Use This Presentation
Advertisements

Problem Solving Well-formed predicate calculus expressions provide a means of describing objects and relations in a problem domain and inference rule.
An Overview of Ontologies and their Practical Applications Gianluca Correndo
CS570 Artificial Intelligence Semantic Web & Ontology 2
IPY and Semantics Siri Jodha S. Khalsa Paul Cooper Peter Pulsifer Paul Overduin Eugeny Vyazilov Heather lane.
Knowledge Representation
So What Does it All Mean? Geospatial Semantics and Ontologies Dr Kristin Stock.
Semiotics and Ontologies. Ontologies contain categories, lexicons contain word senses, terminologies contain terms, directories contain addresses, catalogs.
CPSC 322 Introduction to Artificial Intelligence November 5, 2004.
Ontology From Wikipedia, the free encyclopedia In philosophy, ontology (from the Greek oν, genitive oντος: of being (part. of εiναι: to be) and –λογία:
14th September 2006 Dr Bogdan L. Vrusias
INTRODUCTION TO ARTIFICIAL INTELLIGENCE Massimo Poesio LECTURE 4: Semantic Networks and Description Logics.
Until more recent times, scientists named Things with crazy long names that Just described the organism. Apis pubescens, thorace subgriseo, abdomine.
 Contrary to the beliefs of early workers in AI, experience has shown that Intelligent Systems cannot achieve anything useful unless they contain a large.
Organization of Semantic Memory The study of Collins & Quillian (1969):Collins & Quillian (1969): The authors were interested in the organization of semantic.
Knowledge ß How do we organize our knowledge? ß How do we access our knowledge? ß Do we really use categories?
PSY 369: Psycholinguistics Mental representations II.
Knowing Semantic memory.
Natural Categories Hierarchical organization of categories –Superordinate (e.g., furniture) –Basic-level (e.g., chair) –Subordinate (e.g., armchair) Rosch.
Knowledge Acquisitioning. Definition The transfer and transformation of potential problem solving expertise from some knowledge source to a program.
Knowledge Representation Reading: Chapter
What is an Ontology? AmphibiaTree 2006 Workshop Saturday 8:45–9:15 A. Maglia.
Categorization  How do we organize our knowledge?  How do we retrieve knowledge when we need it?
Objects Objects are at the heart of the Object Oriented Paradigm What is an object?
Foundations This chapter lays down the fundamental ideas and choices on which our approach is based. First, it identifies the needs of architects in the.
Semantic Web Technologies Lecture # 2 Faculty of Computer Science, IBA.
Lecture 10 – Semantic Networks 1 Two questions about knowledge of the world 1.How are concepts stored? We have already considered prototype and other models.
FRE 2672 Urban Ontologies : the Towntology prototype towards case studies Chantal BERDIER (EDU), Catherine ROUSSEY (LIRIS)
ARTIFICIAL INTELLIGENCE [INTELLIGENT AGENTS PARADIGM] Professor Janis Grundspenkis Riga Technical University Faculty of Computer Science and Information.
Lectures on Artificial Intelligence – CS289 Conceptual Graphs
AI – CS289 Knowledge Representation Conceptual Graphs 25 th September 2006 Dr Bogdan L. Vrusias
Knowledge representation
Of 39 lecture 2: ontology - basics. of 39 ontology a branch of metaphysics relating to the nature and relations of being a particular theory about the.
INF 384 C, Spring 2009 Ontologies Knowledge representation to support computer reasoning.
Semantic Memory Knowledge memory Main questions How do we gain knowledge? How is our knowledge represented and organised in the mind-brain? What happens.
Nancy Lawler U.S. Department of Defense ISO/IEC Part 2: Classification Schemes Metadata Registries — Part 2: Classification Schemes The revision.
Knowledge Representation CPTR 314. The need of a Good Representation  The representation that is used to represent a problem is very important  The.
Artificial Intelligence Knowledge Representation.
PSY 323 – COGNITION Chapter 9: Knowledge.  Categorization ◦ Process by which things are placed into groups  Concept ◦ Mental groupings of similar objects,
Chapter 14 Table of Contents
Discovering Descriptive Knowledge Lecture 18. Descriptive Knowledge in Science In an earlier lecture, we introduced the representation and use of taxonomies.
Semantic web course – Computer Engineering Department – Sharif Univ. of Technology – Fall Knowledge Representation Semantic Web - Fall 2005 Computer.
EEL 5937 Ontologies EEL 5937 Multi Agent Systems Lecture 5, Jan 23 th, 2003 Lotzi Bölöni.
SKOS. Ontologies Metadata –Resources marked-up with descriptions of their content. No good unless everyone speaks the same language; Terminologies –Provide.
Semantic Nets, Frames, World Representation CS – W February, 2004.
Artificial Intelligence 2004 Ontology
Presentation Structure  Background What a semantic network is What an ontology is  Ontology languages XML, RDF, DAML+OIL  Use of Semantic in Web Services.
1 Lectures on Artificial Intelligence (CS 364) 1 Khurshid Ahmad Professor of Artificial Intelligence Centre for Knowledge Management September 2001.
Knowledge Representation
Some Thoughts to Consider 8 How difficult is it to get a group of people, or a group of companies, or a group of nations to agree on a particular ontology?
Knowledge Representation. Keywordsquick way for agents to locate potentially useful information Thesaurimore structured approach than keywords, arranging.
1 CS 385 Fall 2006 Chapter 7 Knowledge Representation 7.1.1, 7.1.5, 7.2.
INFO 629 Dr. R. Weber Copyright R. Weber Knowledge representation methods Knowledge bases, case bases, databases.
EEL 5937 Ontologies EEL 5937 Multi Agent Systems Lotzi Bölöni.
Artificial Intelligence Knowledge Representation.
Definition and Technologies Knowledge Representation.
Ontologies COMP6028 Semantic Web Technologies Dr Nicholas Gibbins
Knowledge Representation Part I Ontology Jan Pettersen Nytun Knowledge Representation Part I, JPN, UiA1.
Module 5 Other Knowledge Representation Formalisms
Knowledge Representation & Logic
Knowledge Representation Techniques
A calculus of propositions
Artificial Intelligence
COMP6215 Semantic Web Technologies
ece 627 intelligent web: ontology and beyond
Ontology From Wikipedia, the free encyclopedia
Ontology.
13th September 2005 Dr Bogdan L. Vrusias
KNOWLEDGE REPRESENTATION
Ontology.
Presentation transcript:

Introduction to Knowledge Representation 11th September 2006 Dr Bogdan L. Vrusias b.vrusias@surrey.ac.uk

Contents Defining Knowledge Representation Knowledge Representation Schemes Semantic Networks Taxonomy Ontology 11th September 2006 Bogdan L. Vrusias © 2006

Knowledge Representation 'A representation is a set of conventions about how to describe a class of things. A description makes use of the conventions of a representation to describe some particular thing.' (Winston 1992:16). 'Good representations make important objects and relations explicit, expose natural constraints, and bring objects and relations together' (ibid: 45) The representation principle: Once a problem is described using an appropriate representation, the problem is almost solved. 11th September 2006 Bogdan L. Vrusias © 2006

Starting with an Example The Farmer, The Fox, The Goose and The Grain: The farmer must get a fox, a goose and a sack of grain across a river, however his boat is small and he can only carry one thing at a time. His problem is that if he leaves the fox with the goose the goose will be eaten, and if he leaves the goose with the grain, the grain will be eaten… A good representation makes it easier for us to solve the problem: Draw possible safe combinations in a diagram. Arrange appropriate combinations in order. Link appropriate arrangements to represent boat trips. Problem is solved! 11th September 2006 Bogdan L. Vrusias © 2006

Grain Fox Farmer Goose 11th September 2006 Bogdan L. Vrusias © 2006

Knowledge Representation Schemes A number of knowledge representation schemes (or formalisms) have been used to represent the knowledge of humans in a systematic manner. This knowledge is represented in a knowledge base such that it can be retrieved for solving problems. Amongst the well-established knowledge representation schemes are: Production Rules Semantic Networks Frames Conceptual Dependency Grammar Conceptual Graphs Ontology Predicate and Modal Logic Conceptual or Terminological Logics XML / RDF 11th September 2006 Bogdan L. Vrusias © 2006

Semantic Networks Ross Quillian (1966 and 1968) was among the early AI workers to develop a computational model which represented 'concepts' as hierarchical networks. This model was amended with some additional psychological assumptions to characterise the structure of [human] semantic memory. 11th September 2006 Bogdan L. Vrusias © 2006

Semantic Networks Collins and Quillian (1969) proposed that: Concepts can be represented as hierarchies of inter- connected concept nodes (e.g. animal, bird, canary) Any concept has a number of associated attributes at a given level (e.g. animal --> has skin; eats etc.) Some concept nodes are superordinates of other nodes (e.g. animal > bird) and some are subordinates (canary < bird) 11th September 2006 Bogdan L. Vrusias © 2006

Semantic Networks For reasons of cognitive economy, subordinates inherit all the attributes of their superordinate concepts. Some instances of a concept are excepted from the attributes that help [humans] to define the superordinates (e.g. ostrich is excepted from flying) Various [psychological] processes search these hierarchies for information about the concepts represented. 11th September 2006 Bogdan L. Vrusias © 2006

Semantic Network Example canary can sing, is yellow bird can fly, has wings, has feathers is-a ostrich runs fast, cannot fly, is tall animal can breathe, can eat, has skin is-a is-a salmon lays eggs; swims upstream, is pink, is edible fish can swim, has fins, has gills is-a is-a 11th September 2006 Bogdan L. Vrusias © 2006

Semantic Network Example From the above taxonomic organisation of knowledge about a number of different animals, one can conclude, by inheriting properties down the taxonomy, that canaries, ostriches and salmon all have skin and can breathe. But we as humans can also make exceptions to inherited properties in that we can represent an not-flying bird in a (sub-) hierarchy of birds by simply noting the exception, can't fly. Collins and Quillian carried out a number of tests on human subjects and found that the subjects recognise propositions lower down the hierarchy (canary is a yellow bird) more readily than propositions higher up the hierarchy (canary has skin). 11th September 2006 Bogdan L. Vrusias © 2006

Defining Inheritance AI researchers have refined the notion of inheritance: It is called a specialised inferencing technique 'for representing properties of classes, exceptions to inherited properties, multiple superclasses, and structured concepts with specific relations among the structural elements' (Touretzky 1992:690). 11th September 2006 Bogdan L. Vrusias © 2006

Semantic Networks A semantic network is a structure for representing knowledge as a pattern of interconnected nodes and arcs. Nodes in the net represent concepts of entities, attributes, events, values. Arcs in the network represent relationships that hold between the concepts. A semantic network is a graph theoretic data structure whose nodes represent word senses and whose arcs express semantic relationships between these word senses. Quillian gave an account, perhaps first used by a computer scientist, of the associate features of human memory that incorporated a spreading activation model of computation. 11th September 2006 Bogdan L. Vrusias © 2006

Networks and 'Meaning' Representation The biosystematic notions of taxonomies, where the concept of superordinates and subordinates plays a major role on the knowledge representation literature. TAXONOMY OF LIFE: The taxonomic organisation of species in a hierarchical structure: Kingdom > Phylum (division in botany) > Class > Order > Family > Genus > Species Carolus Linneaus (c.18th century Swedish botanist) devised the system of binomial nomenclature used for naming species: each species has a two-part Latin name, formed by appending a specific epithet to the genus name. The latter is capitalised and both parts italicised. 11th September 2006 Bogdan L. Vrusias © 2006

Modern Taxonomy Example   DOG SUGAR MAPLE BREAD MOULD INTESTINAL BACTERIUM POND ALGAE KINGDOM Animalia (animals) Plantae (plants) Fungi (fungi) Prokaryotae (bacteria) Protoctista (algae, protozoa, slim moulds) PHYLUM Chordata Magnoliophyta Zygomycota Omnibacteria Chlorophyta CLASS Mammalia Rosidae Zygomycetes Enterobacteria Euconjugatae ORDER Carnivora Sapindales Macorales Eubacteriales Zygnematales FAMILY Canidae Aceraceae Mucoraceae (E. coli does not have a family classification) Zygnemataceae GENUS Canis Acer Rhizopus Escherichia Spirogyra SPECIES C. familiaris A.saccharum R. stolonifer E. Coli S. crassa 11th September 2006 Bogdan L. Vrusias © 2006

Representation and Biosystematics Work in knowledge representation has been influenced by key notions in biosystematics. However, there are crucial differences between what a taxonomist does and a knowledge engineer does. The key difference is that of the intended audience in the two cases: for the taxonomist the audience is intelligent and human and for the knowledge engineer the primary 'audience' is a computer system, or more accurately the representation program. 11th September 2006 Bogdan L. Vrusias © 2006

Ontology Definition: “The science or study of being; that department of metaphysics which relates to the being or essence of things, or to being in the abstract.” (OED online, http://www.oed.com/) 11th September 2006 Bogdan L. Vrusias © 2006

Ontology AI experts, like Tom Gruber, suggest that: 'In the context of knowledge sharing, I use the term ontology to mean a specification of a conceptualization. That is, an ontology is a description (like a formal specification of a program) of the concepts and relationships that can exist for an agent or a community of agents. This definition is consistent with the usage of ontology as set-of-concept-definitions, but more general. And it is certainly a different sense of the word than its use in philosophy.‘ (www-ksl.stanford.edu/kst/what-is-an-ontology.html; last visited 10/09/06) 11th September 2006 Bogdan L. Vrusias © 2006

Ontology Also Tom Gruber, suggest that: 'An ontology is an explicit specification of a conceptualization. The term is borrowed from philosophy, where an Ontology is a systematic account of Existence. For AI systems, what "exists" is that which can be represented. When the knowledge of a domain is represented in a declarative formalism, the set of objects that can be represented is called the universe of discourse. This set of objects, and the describable relationships among them, are reflected in the representational vocabulary with which a knowledge-based program represents knowledge. Thus, in the context of AI, we can describe the ontology of a program by defining a set of representational terms. In such an ontology, definitions associate the names of entities in the universe of discourse (e.g., classes, relations, functions, or other objects) with human-readable text describing what the names mean, and formal axioms that constrain the interpretation and well-formed use of these terms. Formally, an ontology is the statement of a logical theory.‘ (www-ksl.stanford.edu/kst/what-is-an-ontology.html; last visited 10/09/06) 11th September 2006 Bogdan L. Vrusias © 2006

Ontology as a Specification Mechanism A body of formally represented knowledge is based on a conceptualization: the objects, concepts, and other entities that are assumed to exist in some area of interest and the relationships that hold among them (Genesereth & Nilsson, 1987). A conceptualization is an abstract, simplified view of the world that we wish to represent for some purpose. Every knowledge base, knowledge-based system, or knowledge-level agent is committed to some conceptualization, explicitly or implicitly. 11th September 2006 Bogdan L. Vrusias © 2006

Ontology 11th September 2006 Bogdan L. Vrusias © 2006

Closing Questions??? Remarks??? Comments!!! Evaluation! 11th September 2006 Bogdan L. Vrusias © 2006