View source for Submissions:2015/The socially driven logical prover

<!-- Simply provide information about your submission below and save the page. -->
;Title: The socially driven problem solver 

;[[Submissions#Proposal Themes|Theme]]: community<!-- community, tech, outreach, GLAM, or education -->

;[[Submissions#Presentation Types|Type of submission]]: presentation<!-- panel, workshop, or presentation -->

;Author: Yevgeny Yakushev

;E-mail address: starik1@yahoo.com<!-- this field must be entered, otherwise, submission will not be checked -->

;Username: yevgenyyakushev

;Affiliation: personal<!-- organization, company, etc. -->

;Abstract: 
The proposed Social Prover may bring dynamics to Wikipedia. It will make Wikipedia not just a database of knowledge or educational place but a socially driven computer that generates solutions for problems, already solved or to be solved. 

The Prover should provide means for collaborative solving of problems submitted by user.
It should present means for problem formalization. 
Different types of logic should be available: formal, informal, modal, fuzzy, etc. 
Different types of logic presentation must be possible: symbolic, graph, text.
Users can contribute according to their skills and interests to help solving the problems or sub-problems. 
By being subscribed, the user can automatically receive requests from the system if his or her skills match with a newly submitted sub-problem. By solving a sub-problem, the user can then participate in finding the solution to a larger problem.  He can also see the derivation of solutions. 
The solution can be reused in different solutions. The system should discover the candidate solutions for reuse.
There should be possibly multiple versions of solutions, if needed, for a single problem. 
The automated logic validator can check formal logic. 
The automated Prover should be able to deduct proof, if possible. 
The system should have a means for induction of hypothesis automatically, or by human assistance.  

I see the society as driven not just by democracy but also by social intelligence. Individuals who may contribute the knowledge may have a larger impact on the society. 

The system eventually should be a reference point for finding motivations for social, political, economic, and cultural decisions. If a government makes a decision, it will be eventually compared with the decision generated by the community. If the government's decision does not match the existing in the system derivation of the solution, then it will force the government to come up with more convincing solution. 

<!-- at least 300 words to describe your proposal -->

;Length of presentation: 15-30 min.<!-- 30-45 min. for panels, 30-75 min. for workshops, 15-30 min. for presentations -->

;Special schedule requests: <!-- (for example - can not present on Saturday) -->

;Will you attend WikiConference USA if your submission is not accepted?:yes

<!-- Do not edit the section below. -->
== Interested attendees ==

'''If you are interested in attending this session, please sign with your username below. This will help reviewers to decide which sessions are of high interest. Sign with four tildes. (<nowiki>~~~~</nowiki>).'''

# ''Add your username here.''

[[Category:Submissions/2015]]