Model-Theoretic Logic for Mathematical Theory of Semantic Information and Communication.
Ahmet Faruk SazSiheng XiongYashas Malur SaiduttaFaramarz FekriPublished in: CoRR (2024)
Keyphrases
- semantic information
- mathematical theory
- model theoretic
- proof theoretic
- deductive databases
- operational semantics
- description logics
- logic programs
- fixpoint
- wordnet
- default reasoning
- decision procedures
- domain knowledge
- general theory
- keywords
- probabilistic reasoning
- metadata
- background knowledge
- low level
- high level
- mathematical models
- proof theory
- computational model
- xml documents
- image processing
- database
- uncertain information
- nonmonotonic reasoning
- contextual information
- modal logic
- logic programming
- knowledge base
- artificial intelligence
- machine learning
- linear logic
- xml data