Logics of Costs and the Feasible Knowledge
Speaker: 
Libor Behounek
Institution: 
Academy of Sciences of the Czech Republic
Department: 
Institute of Computer Science
Date: 
1 December 2010 - 12:00pm

Girard's linear logic is often interpreted as the logic of
resources, while formal fuzzy logics are usually understood
as logics of partial truth. I will argue that deductive
fuzzy logics can be interpreted in terms of resources as
well, and that under most circumstances they actually capture
resource-aware reasoning more accurately than linear logic.
I will then apply the resource-based interpretation of fuzzy
logic to the notion of feasible knowledge (i.e., the knowledge
feasibly derivable by logical inference from the agent's actual
knowledge) and show that a certain well-motivated combination
of epistemic logic and fuzzy logic avoids the paradox of logical
omniscience encountered in most standard accounts of epistemic
logic.