Visually Interacting with a Knowledge Base Using Frames, Logic, and Propositional Graphs.
Daniel R. SchlegelStuart C. ShapiroPublished in: GKR (2011)
Keyphrases
- knowledge base
- deductive reasoning
- sound and complete axiomatization
- logic programming
- multi valued
- logical formulas
- propositional knowledge base
- belief revision
- truth maintenance systems
- default logic
- probabilistic logic
- classical first order logic
- propositional variables
- first order logic
- proof procedure
- classical logic
- autoepistemic logic
- expert systems
- knowledge based systems
- propositional logic
- horn clauses
- knowledge acquisition
- reasoning engine
- description logics
- minimal models
- predicate calculus
- modal logic
- general logic programs
- video frames
- predicate logic
- directed graph
- moving objects
- theorem proving
- frame rate
- knowledge representation
- graph matching
- conjunctive normal form
- nonmonotonic logics
- relational structures
- possibilistic logic
- semantic network
- logical theories
- graph structure
- graph mining