Approach: Computational Logic
Computable expressions of First Order Logic
More than Relational Database Rules
*
More than 5th Generation (Prolog)
Includes (fast) Automatic Theorem Proving
Research is on Logical Formalisms for
Description
Solving
Simulation
Proven in business: online catalog merging
Includes AI Planning (Deductive Synthesis) approaches
Current research includes
Relational Nets
and
Differential Logic
Includes research on user interface and usability
Also relevant:
General Game Playing
,
now an
AAAI annual competition
*
What Not How: The Business Rules Approach
, C.J. Date, Addison-Wesley, 2000.
@copy 2006 Charles Petrie - permission to reproduce widely with attribution
