But whether or not the ultimate goal is appropriate and achievable, the specific formalization projects that have emerged from this program have been successful in several ways.
Just as programming systems, expert systems and knowledge bases have created corresponding software engineering disciplines, large-scale formalization projects require a carefully thought through and tested methodology.
As we tried to show in discussing the special case of action and planning in Section 4, this pressure may lead us to seek logics that can facilitate the formalization projects: for instance, nonmonotomic logics and logics that explicitly represent context.
The recent formalization of citizen science projects addresses technical issues related to volunteer participation like data quality—so that citizen scientists can make longstanding, meaningful contributions to scientific projects.
In 1920, Hilbert proposed his general formalist research project for the axiomatic formalization of mathematics, which he also extended to physics.
According to the theory of shared understanding [1], the formalization of a process in a software project helps reduce the overall complexity, and once the stakeholders are familiarized with the process itself, they can make assumptions on parts of the organizations that are unfamiliar to them.
Finally, the theory of shared understanding proposed by Aranda [1], argues that the formalization of a process in a software project helps reduce the overall complexity, because once a process is formalized, it facilitates that the stakeholders familiarize with the process itself rather than the details of each part of the organization.
In addressing transhumance issues, the project has worked on elaboration and formalization of the local natural resource institutions within the context of decentralization reform in the West African Sahel, and participatory management of conflict between the host communities and the transhumant herders.
> The requirement for an efficient representation of experiment protocols is recognized as a pressing problem, and several other projects are applying ontologies to the formalization of knowledge about experiment data.
The Project Coordinator will also be tasked to generate a Sponsor Formalization Letter (SFL) and arrange for a meeting with the Project Sponsor.
