Copyright © 2002 Cycorp Introduction Fundamental Expression Types Top Level Collections Time and Dates Spatial Properties and Relations Event Types Information.

Slides:



Advertisements
Similar presentations
CH-4 Ontologies, Querying and Data Integration. Introduction to RDF(S) RDF stands for Resource Description Framework. RDF is a standard for describing.
Advertisements

Copyright © 2002 Cycorp Introduction Fundamental Expression Types Top Level Collections Time and Dates Spatial Properties and Relations Event Types Information.
Multi-Contextual Knowledge Base and Inference Engine
The Logic of Quantified Statements
9. Sense Properties and stereotypes
1 Ontology Language Comparisons doug foxvog 16 September 2004.
Knowledge Representation Praveen Paritosh CogSci 207: Fall 2003: Week 1 Thu, Sep 30, 2004.
Outline Recap Knowledge Representation I Textbook: Chapters 6, 7, 9 and 10.
Computability and Complexity 8-1 Computability and Complexity Andrei Bulatov Logic Reminder.
Copyright © 2002 Cycorp Why use logic? CycL Syntax Collections and Individuals (#$isa and #$genls) Microtheories Foundations of Knowledge Representation.
Copyright © 2002 Cycorp Introduction Fundamental Expression Types Top Level Collections Time and Dates Spatial Properties and Relations Event Types Information.
Copyright © 2002 Cycorp Why use logic? CycL Syntax Collections and Individuals (#$isa and #$genls) Microtheories Foundations of Knowledge Representation.
1 Lecture 34 Introduction to Knowledge Representation & Expert Systems Overview  Lecture Objective  Introduction to Knowledge Representation  Knowledge.
Overview of Cyc Tom O'Hara NMSU AI Seminar 18 February 2002.
Copyright © 2002 Cycorp Errors with Constants, Variables, and Reliance on NL Errors with Specialization, Generalization, and Rules Other Errors Errors.
Copyright © 2002 Cycorp Logical Aspects of Inference Incompleteness in Searching Incompleteness from Resource Bounds and Continuable Searches Inference.
Copyright © 2002 Cycorp Events in Cyc Roles and Event Predicates Actor Slots Sub-events OE Example: Events and Roles.
Copyright © 2002 Cycorp Introduction Fundamental Expression Types Top Level Collections Time and Dates Spatial Properties and Relations Event Types Information.
Copyright © 2002 Cycorp Errors with Constants, Variables, and Reliance on NL Errors with Specialization, Generalization, and Rules Other Errors Errors.
Copyright © 2002 Cycorp Why use logic? CycL Syntax Collections and Individuals (#$isa and #$genls) Microtheories Foundations of Knowledge Representation.
Modelling Conceptual Knowledge using Logic - Week 6 Lee McCluskey Department of Computing and Mathematical Sciences University of Huddersfield.
Copyright © 2002 Cycorp A Bundle of Assertions Think of a microtheory (mt) as a set of assertions. Each microtheory bundles assertions based on –a shared.
Cyc Seven Differences between Cyc and Frames Systems.
Copyright © 2002 Cycorp Why use logic? CycL Syntax Collections and Individuals (#$isa and #$genls) Microtheories Foundations of Knowledge Representation.
Copyright © 2002 Cycorp The Basics Arity Argument Types Second-Order Predicates More on Functions Predicates and Denotational Functions.
Copyright © 2002 Cycorp Writing Efficient CycL: Part 2 Part One: General Suggestions –Simpler is Better –Use Rule Macro Predicates –Create Simplifying.
Copyright © 2002 Cycorp Introduction Fundamental Expression Types Top Level Collections Time and Dates Spatial Properties and Relations Event Types Information.
Copyright © 2002 Cycorp Writing Efficient CycL Part 1 Part One –Simpler is Better –Use Rule Macro Predicates –Create Simplifying Vocabulary Part Two –Factor.
The Semantic Web – WEEK 10: Introduction to Description Logics The “Layer Cake” Model – [From Rector & Horrocks Semantic Web cuurse] We are back down to.
03 -1 Lecture 03 First-Order Predicate Logic Topics –Syntax –Formal Semantics –Denotational Semantics –Formal Inference –Resolution.
Copyright © 2002 Cycorp The Basics Arity Argument Types Second-Order Predicates More on Functions Predicates and Denotational Functions.
Knowledge Representation II Praveen Paritosh CogSci 207: Fall 2003: Week 2 Tue, Oct 5, 2004.
Copyright © 2002 Cycorp Introduction Fundamental Expression Types Top Level Collections Time and Dates Spatial Properties and Relations Event Types Information.
Copyright © 2002 Cycorp The Basics Arity Argument Types Second-Order Predicates More on Functions Predicates and Denotational Functions.
Chapter 3 Describing Syntax and Semantics. Copyright © 2007 Addison-Wesley. All rights reserved 3–2.
Ontology Mapping with Cyc doug foxvog 14 July 2004
Predicates and Quantifiers
CSE 331 Software Design & Implementation Hal Perkins Autumn 2012 Java Classes, Interfaces, and Types 1.
ARTIFICIAL INTELLIGENCE [INTELLIGENT AGENTS PARADIGM] Professor Janis Grundspenkis Riga Technical University Faculty of Computer Science and Information.
1 Artificial Intelligence Applications Institute Centre for Intelligent Systems and their Applications Stuart Aitken Artificial Intelligence Applications.
Namesys & Cyc. Namesys, Hans Reiser File system development File system is part of operating system File system puts information.
Declarative vs Procedural Programming  Procedural programming requires that – the programmer tell the computer what to do. That is, how to get the output.
Chapter 1, Part II: Predicate Logic With Question/Answer Animations.
Many Sorted First-order Logic Student: Liuxing Kan Instructor: William Farmer Dept. of Computing and Software McMaster University, Hamilton, CA.
ARTIFICIAL INTELLIGENCE Lecture 3 Predicate Calculus.
1.  Provides the ability to access individual assertions. e.g. in Predicate calculus we may say: P denotes “It rained on Tuesday” but in predicate calculus.
First-Order Logic Introduction Syntax and Semantics Using First-Order Logic Summary.
CSE (c) S. Tanimoto, 2005 Knowledge Representation 1 Knowledge Representation (Introduction) Knowledge Information Data Knowledge representation:
 Copyright 2005 Digital Enterprise Research Institute. All rights reserved. WSLA Language Specification
NLP. Introduction to NLP Pros –Compositional –Declarative Cons –Limited expressive power –Represents facts.
The Syntax of CycL. CycL is a formal language whose syntax derives from first-order predicate calculus (the language of formal logic) and from Lisp. In.
ARTIFICIAL INTELLIGENCE [INTELLIGENT AGENTS PARADIGM] Professor Janis Grundspenkis Riga Technical University Faculty of Computer Science and Information.
First-Order Logic Semantics Reading: Chapter 8, , FOL Syntax and Semantics read: FOL Knowledge Engineering read: FOL.
Cyc Jaehui Park Summarized by Jaehui Park, IDS Lab., Seoul National University Presented by Jaehui Park, IDS Lab., Seoul National University.
EEL 5937 Content languages EEL 5937 Multi Agent Systems Lecture 10, Feb. 6, 2003 Lotzi Bölöni.
Section 1.4. Propositional Functions Propositional functions become propositions (and have truth values) when their variables are each replaced by a value.
BBY 464 Semantic Information Management (Spring 2016) Ontologies and OWL: Web Ontology Language Yaşar Tonta & Orçun Madran [yasartonta,
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.
Common Sense Reasoning Humans use their common sense all the time – what is it? – can we instill it in our AI programs? – if not, what are the consequences.
Notes 8: Predicate logic and inference
Date of download: 12/30/2017 Copyright © ASME. All rights reserved.
Survey of Knowledge Base Content
Ontology.
7th Ch 5.2.
Knowledge Representation (Introduction)
Knowledge Representation (Introduction)
Predicates and Quantifiers
Knowledge Representation (Introduction)
Cat.
Presentation transcript:

Copyright © 2002 Cycorp Introduction Fundamental Expression Types Top Level Collections Time and Dates Spatial Properties and Relations Event Types Information More Content Areas Survey of Knowledge Base Content

Copyright © 2002 Cycorp Constants Constants denoting individuals, collections, and collections of collections: - #$GeorgeWBush, #$Sudan, #$0-TheDigit - #$WorldLeader, #$Country - #$AutomobileTypeByBrand, #$WineTypeByColor

Copyright © 2002 Cycorp Functions Functions and Functional Expressions: - #$PresidentFn (#$PresidentFn #$Mexico) - #$MotherFn (#$MotherFn (#$PresidentFn #$UnitedStates)) - #$GroupFn (#$GroupFn #$Person)

Copyright © 2002 Cycorp Terms Used to Relate: #$isa and #$genls Fundamental terms relating individuals to collections, and interrelating collections: - #$isa (#$isa #$GeorgeWBush #$WorldLeader) (#$isa #$Cat #$OrganismClassificationType) - #$genls (#$genls #$Cat #$Carnivore)

Copyright © 2002 Cycorp Terms Used to Relate: #$typeGenls Fundamental terms relating individuals to collections, and interrelating collections: - #$typeGenls (#$typeGenls #$OrganismClassificationType #$BiologicalLivingObject) - (#$genls #$Cat #$Carnivore) - (#$isa #$Cat #$OrganismClassificationType)

Copyright © 2002 Cycorp Terms Used to Relate: #$disjointWith Fundamental terms relating individuals to collections, and interrelating collections: - #$disjointWith (#$disjointWith #$Fish #$Mammal)

Copyright © 2002 Cycorp Other Terms Used to Relate Other Relational Terms: - #$biologicalRelatives (#$biologicalRelatives #$JerryLeeLewis #$JimmySwaggart) - #$geographicalSubregions (#$geographicalSubregions #$UnitedStates #$Utah-State) - #$greaterThan (#$greaterThan 25 3) - #$orbits (#$orbits #$MoonOfEarth #$PlanetEarth) - #$authorOfLiteraryWork-CW (#$authorOfLiteraryWork-CW #$HermanMelville #$MobyDickNovel)

Copyright © 2002 Cycorp Connecting Relational Terms: #$genlPreds and #$genlInverse Terms Connecting Relational Terms: - #$genlPreds (#$genlPreds #$geographicalSubregions #$physicalParts) (#$genlPreds #$physicalParts #$temporallyIntersects) (#$genlPreds #$father #$biologicalRelatives) - #$genlInverse (#$genlInverse #$causes-EventEvent #$startsAfterStartingOf) (#$genlInverse #$father #$biologicalRelatives)

Copyright © 2002 Cycorp Predicates for Well-formedness: #$arity and #$argxIsa Predicates For Describing Syntactic and Semantic Conditions for Well-Formedness: - #$arity (#$arity #$biologicalMother 2) - #$arg1Isa, #$arg2Isa, etc. (#$arg1Isa #$biologicalMother #$Animal) (#$arg2Isa #$biologicalMother #$FemaleAnimal)

Copyright © 2002 Cycorp Logical Connectives: #$or #$or (#$or (#$isa #$ChrisX #$CollegeGraduate) (#$isa #$ChrisX #$ComputerProgrammer) (#$isa #$ChrisX #$Genius))

Copyright © 2002 Cycorp Logical Connectives: #$and and #$not #$and, #$not (#$not (#$and (#$isa #$ChrisX #$MalePerson) (#$isa #$ChrisX #$FemalePerson)))

Copyright © 2002 Cycorp Logical Connectives: #$implies #$implies (#$implies (#$isa #$ChrisX #$MalePerson) (#$not (#$isa #$ChrisX #$FemalePerson)))

Copyright © 2002 Cycorp Quantifiers: #$forAll #$forAll (#$forAll ?COUNTRY (#$forAll ?PERSON (#$implies (#$and (#$isa ?COUNTRY #$Superpower) (#$headsGovernment ?COUNTRY ?PERSON)) (#$hasStatus ?PERSON #$WorldLeader))))

Copyright © 2002 Cycorp Quantifiers: #$thereExists #$thereExists (#$forAll ?ANIMAL (#$implies (#$isa ?ANIMAL #$Vertebrate) (#thereExists ?PART (#$and (#$isa ?PART #$Tongue) (#$anatomicalParts ?ANIMAL ?PART)))))

Copyright © 2002 Cycorp Summary Constants denote individuals, collections, and collections of collections Functions and Functional Expressions denote terms Terms used to relate: #$isa, #$genls, #$typeGenls, #$disjointWith Connecting Relational Terms: #$genlPreds and #$genlInverse Predicates For Describing Well-Formedness: #$arity and #$argxIsa Logical Connectives and Quantifiers

Feedback: Privacy Policy Feedback
Do Not Sell My Personal Information
About project: SlidePlayer Terms of Service

© 2025 SlidePlayer.com. Inc. All rights reserved.