A tutorial program for propositional logic with human/computer interactive learning.
Stacy LukinsAlan LevickiJennifer BurgPublished in: SIGCSE (2002)
Keyphrases
- propositional logic
- interactive learning
- human computer
- human computer interaction
- dialogue system
- belief revision
- first order logic
- interface design
- computer technology
- lattice theory
- quantified boolean formulae
- satisfiability testing
- propositional formulas
- belief change
- information systems
- machine learning
- attitudes toward
- user interface
- natural language