Approach: Computational Logic
Process information as logical expressions.
Includes Relational Database Rules
More than 5th Generation (Prolog)
Includes (fast) Automatic Theorem Proving / Optimized, Restricted
Research is on Logical Formalisms for
Description
Solving
Simulation
Proven in business: online catalog merging
AI Planning (Deductive Synthesis) to manage state change in Process Synthesis
Current research includes
Relational Nets
and
Differential Logic
Includes research on user interface and usability
@copy 2007 Charles Petrie - permission to reproduce widely with attribution
