From OntologPSMW
Revision as of 16:56, 11 May 2022 by KenBaclawski (Talk | contribs)
| Session | Personal Emergency Management |
|---|---|
| Duration | 1 hour |
| Date/Time | 20 Apr 2022 16:00 GMT |
| 9:00am PDT/12:00pm EDT | |
| 5:00pm BST/6:00pm CEST | |
| Convener | Ravi Sharma |
| Track | Environment Disasters |
Contents |
- Andrew Dougherty - Personal Emergency Management using the Free Life Planner (2A1)
- Andrew John Dougherty is an Independent A.I. Researcher who has worked at the University of Chicago, the University of Illinois at Urbana/Champaign and Carnegie Mellon University as a research programmer. He has released almost 150 original codebases on github.com, most of which pertain to his Formalized Research Database: Cluster, Study and Apply (FRDCSA) project. He has spent the last 22 years developing FRDCSA, motivated by a corollary he proved as an undergraduate, which puts constraints from algorithmic information theory on AI programs. He helps manage an AGI Discord chat server for FRDCSA, Logicmoo and (other related metaprojects) with ~150 members. He has worked with Logicmoo, Cyc, Emacs, Perl and Prolog. Today's presentation was generated from custom markup by software he wrote, which has been automated in order to expedite the many necessary presentations about FRDCSA and Logicmoo going forward, and to calibrate and fine-tune the process. (2A2)
- Date: Wednesday, 20 Apr 2022 (2B1)
- Start Time: 9:00am PDT / 12:00pm EDT / 6:00pm CEST / 5:00pm BST / 1600 UTC (2B2)
- Expected Call Duration: 1 hour (2B3)
- If the chat room is not available, then use the Zoom chat room. (2B5A)
- One tap mobile (2B6)
[12:03] Ravi Sharma: Welcome everyone to the exciting session
(2D1)
[12:09] Andrew Dougherty: https://github.com/aindilis/ontolog-summit-2022-presentation/blob/main/presentation.txt
(2D2)
[12:46] Janet Singer: Two very important aspects of your project that should apply to all ontology efforts
(2D4)
- Approach a problem by reducing it to a harder problem, I.e. put your problem in a broader systems context, and (2D5)
- Evaluation of anything developed should ultimately be in terms of how it produces value for the user, requiring operations and pragmatics to be brought into the picture (2D6)
[12:53] Alex Shkotin: Is there any chance to compare to Wolfram Mathematica?
(2D7)
[13:03] Janet Singer: Excellent work and talk, thanks. Need to leave
(2D8)
[13:11] Andrew Dougherty: Thank you so much!
(2D9)
Added later by Alex Shkotin:
(2D11)
- After his great report about FRDCSA today. (2D12)
- What kind of formal language is used? kind of Prolog? (2D13)
- And what about the point that the only generally accepted formal language is a language of mathematics in its totality? Not to be confused with Wolfram language ;-) (2D14)
- Let me wait for fairy tale on math language :-) Why not? (2D15)
