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 ...
Studia Logica: An International Journal for Symbolic Logic, Vol. 100, No. 6, Recent Developments related to Residuated Lattices and Substructural Logics (December 2012), pp. 1291-1315 (25 pages) An ...
This course is available on the MPhil/PhD in Philosophy. This course is not available as an outside option to students on other programmes. The course is, in general, only aimed at those students who ...