diff --git a/projects/almanac.md b/projects/almanac.md index a86939d78097bfccb0200940de7676268bffb3d3..3f4942b076d634012701d9f3c58b55a9e9784f07 100644 --- a/projects/almanac.md +++ b/projects/almanac.md @@ -22,13 +22,13 @@ proposal: http://kwarc.info/kohlhase/projects/almanac.pdf --- Decision situations require individuals and organizations to choose between a multitude of options based on facts, opinions, and arguments about the situation at hand or similar ones. Current support systems are mostly fact-based and fail to take into account arguments found on the web or in the literature. -The SPP brings together a community of researchers who develop robust and scalable models for argumentations in human communication in all their complexity and imprecision. The proposed ALMANAC project aims to support the logic-based pillar of this enterprise. There is already a large set of prior work on the representation of knowledge, inference, and argumentations and the SPP will no doubt develop more. +The SPP brings together a community of researchers who develop robust and scalable models for argumentations in human communication in all their complexity and imprecision. The ALMANAC project develops support for the logic-based pillar of this enterprise. There is already a large set of prior work on the representation of knowledge, inference, and argumentations and the SPP will no doubt develop more. The first objective of the proposed ALMANAC project is to provide a unifying infrastructure so that the SPP projects and wider community can interoperate, compare results, and create joint logic resources. Concretely we propose to -a. bring order into the zoo of proposed formalisms, -b. categorize their inter-relations, and -c. benchmark them on real-world corpora +1. bring order into the zoo of proposed formalisms, +2. categorize their inter-relations, and +3. benchmark them on real-world corpora For this the ALMANAC project proposes to utilize the OMDoc/MMT framework developed by the proposer’s research group. The framework uses theory graphs for the modular representation of domain knowledge in logical languages and for logical formalisms themselves in meta-logics. Inter-logic relations can be modelled as theory-morphisms: truth-preserving mappings between theories. The ALMANAC project wants to provide the SPP with a “logic atlas†as a resource of explicitly represented formalisms and frameworks that can serve as a basis for integration of methods.