Atoms
.See: Description
Interface | Description |
---|---|
Reasoner |
An oprimizer to minimize the total weighted incompatibility
of the terms provided by a TermStore.
|
Class | Description |
---|---|
ExecutableReasoner |
An abstract superclass for reasoners implemented as command-line executables.
|
Atoms
.
Reasoner
and its implementations are the main
tools for inference. See the function subpackage provides interfaces and classes
for defining functions that GroundRules
should use.Copyright © 2018 University of California, Santa Cruz. All rights reserved.