Society semantics and the logic way to collective intelligence.
Walter CarnielliMamede Lima-MarquesPublished in: J. Appl. Non Class. Logics (2017)
Keyphrases
- collective intelligence
- logic programming
- proof theory
- nonmonotonic logics
- epistemic logic
- sound and complete axiomatization
- social search
- sound and complete with respect
- modal logic
- propositional dynamic logic
- logical framework
- computational collective intelligence
- swarm intelligence
- conditional logic
- modal operators
- dynamic logic
- social web
- social networking
- alternating time temporal logic
- model theoretic
- operational semantics
- artificial intelligence
- classical logic
- rule engine
- open innovation
- social media
- derivation rules
- information foraging
- logic programs
- fine grained
- computational models
- belief revision
- model checking
- objective function
- decision making
- fixed point semantics
- search engine