Measurement-Theoretic Foundations of Gradable-Predicate Logic.
Satoru SuzukiPublished in: JSAI-isAI Workshops (2011)
Keyphrases
- predicate logic
- knowledge representation and reasoning
- semantic net
- temporal logic
- formal logic
- semantic network
- artificial intelligence
- computational linguistics
- predicate calculus
- lower level
- knowledge based systems
- description logics
- knowledge representation
- data sources
- relational databases
- computer science
- machine learning
- fluent calculus