From OntologPSMW

Jump to: navigation, search
[ ]
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


Ontology Summit 2022 Personal Emergency Management     (2)

Agenda     (2A)

  • 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, 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)

Conference Call Information     (2B)

Attendees     (2C)

Discussion     (2D)

[12:03] Ravi Sharma: Welcome everyone to the exciting session     (2D1)

[12:46] Janet Singer: Two very important aspects of your project that should apply to all ontology efforts     (2D4)

  1. Approach a problem by reducing it to a harder problem, I.e. put your problem in a broader systems context, and     (2D5)
  2. 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)

Resources     (2E)

Previous Meetings     (2F)

Next Meetings     (2G)