For questions related to the concept of a knowledge base, which is a set of sentences (or propositions), which are, for example, used to implement knowledge-based intelligent agents. Each sentence represents some assertion about the world. Sentences that are not derived but are given as true are sometimes called axioms. We can perform inference to derive new facts given the sentences in the knowledge base.

There is no tag wiki for this tag … yet!

Tag wikis help introduce newcomers to the tag. They contain an overview of the topic defined by the tag, along with guidelines on its usage.

All registered users may propose new tag wikis.

(Note that if you have less than 4000 reputation, your tag wiki will be peer reviewed before it is published.)