Language
One of the most important design decisions involved in representing
world knowledge within a machine is the choice of language used. Some
languages can be more expressive than others, but they usually tend to
be hard to work with. Other languages that can be easy to work with
from a practical point of view may not be expressive enough to capture
all that needs to be represented about the world.
CIRL
Our work focuses on a variety of languages. All of the
languages we work with are logic-based in the sense that they label
sentences as true or false, without an attempt to incorporate
probabilistic or other "fuzzy" information.
Subareas:
Multi-valued logic
First-order logic
Propositional logic
Pseudo-Boolean
Parent areas:
Knowledge Representation
Back to the CIRL Overview Page.