This post is regarding the discussion of rule
languages in the mini-series, "Ontology, Rules, and Logic Programming for
Reasoning and Applications" .
Three rule-based systems, RuleML, RuleLog, and
Algos, each of which contains
a representation of higher order logic, have
surfaced in the Mini-series.
There are interesting comparisons to be made
between them, as well as the general topic of the usefulness of higher order
logic. Also there is potential discussion regarding how rule systems fit into
context of knowledge representation in general.
The first two rule systems have been presented
previously. I have added a third, called the Algos system. The this system is
described in
http://ontolog.cim3.net/file/work/RulesReasoningLP/2013-07-25_community-planning/Rules_for_engineering--HensonGraves_20130801a.pdf. It
was developed for use in relatively stable
knowledge contexts. The use of
a rule system within a stable
domain is, of course, very different from
knowledge acquisition and theory
development. The molecular unit for
reasoning in Algos is a collection of
rules used to represent an application
such as the description of a
molecule, or a design specification for an
automobile. A collection of rules
is an axiom set (satzsystem). When
developing and using these axiom sets the
objective is to enable
collaboration within a community, of humans and now
machines, based on
semantic interoperability. Reasoning with an axiom set
can be used to solve
application problems such as determining if a system
behavior is a
consequence of the axiom set. Axiom sets can directly
represent directed
graphs that occur in application descriptions. These
axiom sets get combined
and use other models. The general axiom sets
that get specialized and used
in applications can be regarded as
ontologies.
Look forward to
discussion
Henson