Speaker:
Libor BehounekInstitution:
Academy of Sciences of the Czech RepublicDepartment:
Institute of Computer ScienceDate:
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.
