Use of Propositional Logic in building AI Logic and Game Development.
Arunakumari B. NShreya RavikumarVikramaditya JasonT. A SarikaSyed AdnanThippeswamy GPublished in: ICCCNT (2023)
Keyphrases
- propositional logic
- game development
- lattice theory
- horn logic
- proof procedure
- truth maintenance systems
- possibilistic logic
- first order logic
- artificial intelligence
- belief revision
- key features
- valued logic
- expert systems
- knowledge representation
- computer games
- belief change
- machine learning
- quantified boolean formulae
- logic programming
- video games
- development process
- serious games
- automated reasoning
- classical logic
- virtual world
- game play
- search space
- educational games
- modal logic
- satisfiability testing