This is a preview. Log in through your library . Abstract Deductive inference is usually regarded as being "tautological" or "analytical": the information conveyed by the conclusion is contained in ...

Propositional proof complexity is the study of the sizes of propositional proofs, and more generally, the resources necessary to certify propositional tautologies. Questions about proof sizes have ...

when thinking about logical agents, we imagine that the agent has a knowledge base (KB for short) that contains logical sentences that describe the state of the world you could think of a KB as a ...