From 41d54827a8413a7e060d61bce2cd7d47baa34204 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <michael.kohlhase@fau.de> Date: Tue, 15 May 2018 13:39:53 +0200 Subject: [PATCH] Update almanac.md --- projects/almanac.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/projects/almanac.md b/projects/almanac.md index a86939d..3f4942b 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. -- GitLab