On the Cognitive Logic of Human Propositional Reasoning: Merging Ranking Functions.
Eda Ismail-TsaousKai SauerwaldMarco RagniGabriele Kern-IsbernerChristoph BeierlePublished in: ECSQARU (2023)
Keyphrases
- ranking functions
- deductive reasoning
- human reasoning
- probabilistic logic
- learning to rank
- cognitive psychology
- proof procedure
- cognitive abilities
- sound and complete axiomatization
- document retrieval
- proof theory
- web search
- multi valued
- automated reasoning
- truth maintenance systems
- propositional logic
- supervised learning
- knowledge representation
- computational properties
- web search engines
- ranking algorithm
- first order logic
- active sampling
- machine learning
- logical framework
- logic programs
- information retrieval
- logic programming
- collaborative filtering