Leila,
I’m hoping to share some new knowledge representation techniques which could be of use to a number of projects for purposes of brainstorming. A number of new projects could be made possible with the new techniques; one could, for instance, envision a “wiki knowledgebase” project where predicate calculus expressions are hyperlinks to wiki experiences for users. As for what problem that I would like to see someday addressed, I hope to someday see advancements in the intersection of educational technology and crowdsourcing. We can envision crowdsourced: dialogue systems, intelligent tutoring systems, learning objects, textbooks, courses, and curricula [1][2]. Such projects could utilize a number of existing and new technologies, for instance Wikipedia, Wikibooks and Wikidata. Best regards, Adam [1] http://www.phoster.com/discussions/instructional-design-crowdsourcing-and-quality-control/ [2] http://www.phoster.com/discussions/crowdsourcing-dialogue-systems/ ________________________________ From: Wikitech-l <[email protected]> on behalf of Leila Zia <[email protected]> Sent: Wednesday, October 17, 2018 1:30:51 PM To: Research into Wikimedia content and communities Cc: [email protected] Subject: Re: [Wikitech-l] [Wiki-research-l] URL-addressable Predicate Calculus Hi Adam, I'm missing the context here. Can you expand what problem you'd like to see addressed with the proposal you shared here? Best, Leila -- Leila Zia Senior Research Scientist, Lead Wikimedia Foundation On Wed, Oct 17, 2018 at 2:32 AM Adam Sobieski <[email protected]> wrote: > > I would like to share, for discussion, some knowledge representation ideas > with respect to a URL-addressable predicate calculus. > > In the following examples, we can use the prefix “mw” for > “https://machine.wikipedia.org/” as per > xmlns:mw="https://machine.wikipedia.org/"; . > > mw:P1 > → https://machine.wikipedia.org/P1 > > mw:P1(arg0, arg1, arg2) > → https://machine.wikipedia.org/P1?A0=arg0&A1=arg1&A2=arg2 > > mw:P2 > → https://machine.wikipedia.org/P2 > > mw:P2<t0, t1, t2> > → https://machine.wikipedia.org/P2?T0=t0&T1=t1&T2=t2 > > mw:P2<t0, t1, t2>(arg0, arg1, arg2) > → https://machine.wikipedia.org/P2?T0=t0&T1=t1&T2=t2&A0=arg0&A1=arg1&A2=arg2 > > Some points: > > 1. There is a mapping between each predicate calculus expression and a URL. > > 2. Navigating to mapped-to URLs results in processing on servers, e.g. PHP > scripts, which generates outputs. > > 3. The outputs vary per the content types requested via HTTP request headers. > > 4. The outputs may also vary per the languages requested via HTTP request > headers. > > 5. Navigating to https://machine.wikipedia.org/P1 generates a definition for > a predicate. > > 6. Navigating to https://machine.wikipedia.org/P2?T0=t0&T1=t1&T2=t2 generates > a definition for a predicate after assigning values to the parameters T0, T1, > T2. That is, a definition of a predicate is generated by a script, e.g. a PHP > script, which may vary its output based on the values for T0, T1, T2. > > 7. The possible values for T0, T1, T2, A0, A1, A2 may be drawn from the same > set. T0, T1, T2 need not be constrained to be types from a type system. > > 8. The values for T0, T1, T2, A0, A1, A2, that is t0, t1, t2, arg0, arg1, > arg2, could also each resolve to URLs. > > > Best regards, > Adam Sobieski > http://www.phoster.com/contents/ > > _______________________________________________ > Wiki-research-l mailing list > [email protected] > https://lists.wikimedia.org/mailman/listinfo/wiki-research-l _______________________________________________ Wikitech-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikitech-l _______________________________________________ Wikitech-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikitech-l
