Capturing Intended Meaning

First order logic is ontologically neutral

Logical KBs often rely on natural language to convey intended meaning

Previous slide Next slide Back to first slide View graphic version

Notes:

Removed existential quantifier