|
|
CG Tool Information
Tool
pCG
Synopsis A general purpose programming language featuring
CGs as first class values, pCG was motivated out of a desire to
implement Mineau's Process mechanism and to make progress toward
his notion of a Conceptual Programming Environment (see ICCS 1998,
"From Actors to Processes"). It is essentially an object-based
language, also permitting functional and declarative programming
styles. pCG is redistributable under the GNU General Public License.
Platform Java 2 (JDK 1.2.2). Tested under Windows 98,
Windows 2000 and Linux 2.2 (RedHat 6.0).
Compliance with CGTools CGIF final graphs
Syntactic Level 5. pCG's CGIF parser can handle the
complete syntax as specified in Sections 7.1 and 7.2 of the June
2001 version of the CG
Standard.
Semantic
Level 2. pCG's current CGIF parser implicitly incorporates concept and
relation type lattices into the currently active pCG Knowledge Base via
the subtype relation, e.g.(GT [TypeLabel: "Entity"] [TypeLabel: "Hand"])
as specified in Section 7.3 of the June 2001 version of the
CG Standard.
Since pCG does not however currently apply any interpretation to
the context labels KnowledgeBase, TypeHierarchy, RelationHierarchy,
CatalogOfIndividuals, or Assertion, a semantic compliance level of higher
than 2 cannot yet be claimed. Moreover it does not yet handle the
semantics associated with CGIF lambda expressions, disjuncts, conjuncts
(i.e. types must be labels), or structure descriptors.
Documentation
- cgp/README (installation notes and quick introduction).
- cgp/pCG.pdf (user manual).
- pCGLang.pdf, the ICCS 2001 CGTools Workshop
paper.
Author Information
David Benn,
djbenn@ozemail.com.au,
http://www.adelaide.net.au/~dbenn/
Dan Corbett,
corbett@cs.unisa.edu.au
|