Experiments on the Acquisition of Cognitive and Linguistic Competence to Communicate Propositional Logic Sentences.
Josefina SierraJosefina SantibáñezPublished in: AAAI Fall Symposium: Biologically Inspired Cognitive Architectures (2009)
Keyphrases
- propositional logic
- natural language
- linguistic features
- syntactic structures
- belief revision
- first order logic
- phrase structure
- syntactic analysis
- quantified boolean formulae
- possibilistic logic
- lattice theory
- linguistic expressions
- natural language processing
- proof procedure
- relational databases
- satisfiability testing
- davis putnam
- propositional satisfiability
- belief change
- np hard
- minimal change
- domain knowledge