>>12194295
>AtomSpace is a knowledge representation (KR) database and the associated query/reasoning engine to fetch and manipulate that data, and perform reasoning on it. Data is represented in the form of graphs, and more generally, as hypergraphs; thus the AtomSpace is a kind of graph database, the query engine is a general graph re-writing system, and the rule-engine is a generalized rule-driven inferencing system. The vertices and edges of a graph, known as Atoms, are used to represent not only "data", but also "procedures"; thus, many graphs are executable programs as well as data structures. These Atoms, which are permanent and immutable, can be assigned fleeting, changing Values to indicate the truth or likelihood of that atom, or to hold other kinds of transient data. The AtomSpace enables flow-based programming, where Atoms represent the pipes, and Values are what flows through the pipes.
https://wiki.opencog.org/w/AtomSpace
from U Babylon, knowledge representation
Major Categories of Knowledge
Declarative Knowledge
Procedural Knowledge
Metaknowledge
Declarative Knowledge
Descriptive Representation of
Knowledge
Expressed in a factual statement
Shallow
Important in the initial stage of
knowledge acquisition
Procedural Knowledge
Considers the manner in which things
work under different sets of
circumstances
– Includes step-by-step sequences and
how-to types of instructions
– May also include explanations
– Involves automatic response to stimuli
– May tell how to use declarative
knowledge and how to make inferences
Descriptive knowledge relates to a
specific object. Includes information
about the meaning, roles,
environment, resources, activities,
associations and outcomes of the
object
Procedural knowledge relates to the
procedures employed in the problem solving process
Metaknowledge
Knowledge about Knowledge
In ES(Expert System),
Metaknowledge refers to
knowledge about the operation of
knowledge-based systems
Its reasoning capabilities
Knowledge Modeling
The knowledge model views
knowledge acquisition as the
construction of a model of problemsolving behavior– a model in terms
of knowledge instead of
representations
Can reuse models across
applications
http://www.uobabylon.edu.iq/eprints/publication_10_16325_213.pdf