Please enable JavaScript.
Coggle requires JavaScript to display documents.
Cap 10: Knowledge Representation (Planification (Frame problem,…
Cap 10: Knowledge Representation
Ontologic engineering
General purpose
Representation of abstract concepts
Superior ontology
General framework
Unification
Planification
Frame problem
Possibility axiom
Effect axiom
Unique-name axiom
Unique name assumption
State-successor axiom
Categories
Heritage
Objects
Predictates
Subclasify
Taxonomies
Disjunction
Mental
Teorem
Objects
Events
Reification
Individualization
Uncountable matter
Contable matter
Segregation of objects
Matter and substance
Situation Calculation
Situation
Logical terms
Flows
Functions
Eternal
Category reasoning
Semantic nets
Existential graphs
Multiple heritage
Circunscription
Knowledge
Online shopping
Default reasoning
Unique names assumption
Closed world assumption
Logical minimization
Values on properties
Flow calculation
Events calculation
Intervals
Objects
Composed objects
Truth maitenance
Justification
Default logic
Substances