Prolegomena to Salient-Similarity-Based Vague Predicate Logic.

Published in: JSAI-isAI Workshops (2010)

Keyphrases

predicate logic
knowledge representation and reasoning
formal logic
semantic network
computational linguistics
temporal logic
predicate calculus
semantic net
uncertain information
highly expressive
artificial intelligence
fuzzy logic
lower level
databases
general purpose
order sorted