This project brings together people who devote themselves, entirely or partially, to the application of knowledge engineering approaches, mainly the event bush method, to the geoscientific tasks. The team of the project may vary but the core remains the same since 2003. Here we present our state-of-the-art, the latest news and upcoming events. To contact us, please feel free to drop a line at email@example.com.
Permanent team members:
Victoria Shterkhun email: firstname.lastname@example.org
Alexander Rezyapkin email: email@example.com
Zinaida Khrabrykh email: firstname.lastname@example.org
Others come in and out. Newcomers always welcome both from the geoscience and computer/information/semantic science sides.
Our Publications (selected):
Our Partners (selected):
Some milestones since 2012
European Geosciences Union (EGU) General Assembly 2019, Vienna, Austria, 7-12 April 2019
Conceptual Tectonics: Proof and Refutation in Tectonic Knowledge
Convener: Vladimir Anokhin (email@example.com)
Co-conveners: Kristine Asch , Paolo Diviacco , Biju Longhinos
With the impressive theoretical progress of last decades, the global tectonics is about to reach a state that is quite unique not only for geology but for any descriptive domain of knowledge. This is the state of so high elaboration and maturity that a theory may be subject, like some theories of physics, chemistry, algebra and geometry, to the most rigorous inspection ever suggested in the science – the inspection for being formal sensu mathematical logic. Still, to bring the global tectonics to this state, quite a work remains to be done. This is an exciting cross-disciplinary work of knowledge engineers and geologists that would result in a quite new level of understanding the Earth and new quality of scientific collaboration on it.
However, being so different from all the fields that underwent such “high formalization” so far, the tectonics needs special formal treatment, which, in turn, requires special logico-mathematical formalism complementary to the traditional predicate logic. Thus the scope of this session appears highly cross-disciplinary, claiming for a joint intellectual journey of field geologists, experimentalists and modelers, IT specialists and computer scientists, logicians and mathematicians.
Submit an abstract here:
Deadline for abstract submission is 10 January 2019.
Reasoning Research in the Geosciences mailing list:
Georeasoning mailing list – see it here
To join the list, send a message to firstname.lastname@example.org with SUBSCRIBE GEO-REASONING.
To post messages, send them to GEO-REASONING@jiscmail.ac.uk.
Geognosis Project, Office 366, ITMO University, Kronverksky Prospect, 49, St. Petersburg 197101, Russian Federation