Commonsense reasoning and automatic generation of IoT contextual knowledge: An Answer Set Programming approach.
Ana RubioRubén CantareroAlessandro MargaraGianpaolo CugolaDavid VillaJuan Carlos LópezPublished in: Internet Things (2024)
Keyphrases
- answer set programming
- commonsense reasoning
- contextual knowledge
- logic programming
- nonmonotonic reasoning
- knowledge representation
- event calculus
- reasoning tasks
- contextual information
- logic programs
- classical logic
- case based reasoning
- answer sets
- incomplete information
- autoepistemic logic
- knowledge sources
- formal theory
- deductive databases
- context aware
- knowledge base
- information overload
- default logic
- stable models
- artificial intelligence
- missing information
- background knowledge
- expert systems
- situation calculus
- default theories
- default reasoning
- databases
- human experts
- description logics
- machine learning