Index of /~andrewdo/writings

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]3t-planning-output.txt2017-06-29 21:01 38K 
[TXT]AI-Planet.txt2018-07-22 09:51 4.6K 
[   ]FRD.odp2010-08-18 18:31 322K 
[TXT]FreeLifePlannerProgress-20160419.txt2016-04-19 07:03 16K 
[   ]Mathematical Knowledge Management Project(2).pdf2018-11-22 06:58 91K 
[   ]Mathematical Knowledge Management Project(3).pdf2018-11-24 04:54 256K 
[   ]Mathematical Knowledge Management Project.pdf2018-11-19 00:05 74K 
[   ]Microtheories.pdf2019-08-27 13:39 7.0M 
[TXT]Microtheories.txt2019-08-27 13:39 21K 
[TXT]News-Challenge-1.html2018-01-15 11:53 30K 
[DIR]News-Challenge-1_files/2017-04-20 23:01 -  
[TXT]News-Challenge-2.html2018-01-15 12:34 45K 
[DIR]News-Challenge-2_files/2017-04-20 23:01 -  
[TXT]News-Challenge-edited.html2017-06-29 18:41 45K 
[TXT]News Challenge - How can we harness data and information for the health of communities? - Personal Life Planning Assistant-edited.html2017-06-29 18:41 45K 
[TXT]News Challenge - How can we harness data and information for the health of communities? - Personal Life Planning Assistant.html2017-04-20 21:09 42K 
[DIR]News Challenge - How can we harness data and information for the health of communities? - Personal Life Planning Assistant_files/2017-04-20 23:01 -  
[TXT]News Challenge - How might we make data work for individuals and communities? - Personal Life Planning Assistant.html2017-04-20 21:09 30K 
[DIR]News Challenge - How might we make data work for individuals and communities? - Personal Life Planning Assistant_files/2017-04-20 23:01 -  
[TXT]Overview.html2011-06-01 14:21 3.2M 
[   ]Overview.odt2011-05-18 15:00 2.4M 
[   ]Overview.pdf2011-05-18 15:00 1.3M 
[TXT]README.html2019-04-29 01:29 35K 
[TXT]SCHLEMIEL.txt2017-09-11 05:51 3.6K 
[   ]Temporal-Planning-and-Inferencing-for-Personal-Task-Management-with-SPSE2.pdf2011-03-29 08:29 416K 
[   ]Temporal-Planning-and-Inferencing-for-Personal-Task-Management-with-SPSE2.ps.gz2013-03-29 18:59 362K 
[TXT]Temporal-Planning-and-Inferencing-for-Personal-Task-Management-with-SPSE2.txt2011-08-15 16:50 31K 
[TXT]a_gamification_logic.pl2018-02-15 13:06 5.6K 
[TXT]academician.txt2011-09-19 19:41 6.8K 
[TXT]acknowledgments.html2016-07-03 06:57 1.6K 
[TXT]ainnir.htm2017-06-13 13:44 12K 
[TXT]ainnir.html2017-06-13 13:45 17K 
[TXT]ann-story.txt2018-01-27 23:07 3.5K 
[TXT]app-list.txt2009-06-23 19:59 1.5K 
[TXT]artificialintelligence.txt2018-02-04 13:32 11K 
[TXT]at-last.html2016-06-03 03:25 155  
[DIR]basekb/2015-10-15 22:45 -  
[TXT]being_broke.pl2017-06-28 15:06 4.4K 
[TXT]bill-gates-critique.html2012-09-29 13:43 5.0K 
[TXT]blocking.txt2017-09-14 22:43 1.7K 
[TXT]cant-expect-him-to.html2016-07-02 18:29 157  
[TXT]cape-fix.txt2011-04-11 20:26 4.9K 
[TXT]circular-dependencies.txt2016-05-16 00:58 5.0K 
[TXT]classical-recommendations.html2016-07-03 07:47 2.5K 
[TXT]cogbot-use-cases-for-POSI.txt2012-07-22 00:40 6.6K 
[TXT]cuchulainnry.html2011-06-23 19:33 4.5K 
[TXT]current-domains.txt2017-07-03 20:49 2.4K 
[TXT]dangerously-cheesy.txt2018-02-03 22:20 9.7K 
[TXT]desc.txt2016-09-24 19:56 11K 
[TXT]domain.html2011-01-11 05:30 30K 
[TXT]facebook-post-47.txt2016-03-23 00:41 4.4K 
[   ]flourish-2009.odp2009-04-12 15:47 1.2M 
[   ]flourish-2009.ppt2009-08-16 18:37 1.4M 
[IMG]flp-landing-page.jpg2018-11-12 00:56 191K 
[TXT]flp-update-2.html2018-11-22 06:51 226  
[TXT]flp-update-3.html2018-11-22 06:52 225  
[TXT]flp-update-4.html2018-11-26 05:39 74K 
[TXT]flp-update.html2018-11-22 06:51 225  
[TXT]frdcsa-2.0-requirements-draft.txt2013-09-16 23:12 8.9K 
[   ]frdcsa-posi-flyer.pdf2009-04-04 07:21 47K 
[DIR]frdcsasite/2008-09-26 00:09 -  
[TXT]homeless-story-orig.html2018-02-08 22:54 32K 
[TXT]homeless-story.html2019-10-04 19:45 39K 
[DIR]homeless-story/2018-05-06 11:59 -  
[   ]icaps-2011-paper-submission.pdf2011-03-29 08:32 416K 
[TXT]intersession.html2007-09-24 19:40 3.8K 
[TXT]irc-conversation-20170627.txt2017-06-27 17:47 8.6K 
[TXT]java-requirements.html2009-04-23 17:51 14K 
[TXT]knight-aiethics-proposal.txt2018-10-22 11:38 6.0K 
[TXT]latin-sayings-regarding-preparedness.txt2017-06-29 22:20 2.0K 
[TXT]letter.txt2018-01-17 18:20 2.2K 
[TXT]library-proposal.html2009-02-23 13:04 15K 
[TXT]log.txt2011-09-19 19:54 5.8K 
[TXT]modules.txt2009-10-14 18:20 7.1K 
[TXT]more-music.html2016-07-03 07:34 44  
[IMG]multiseat.jpg2006-05-08 07:23 36K 
[   ]needed.do2017-10-05 21:48 1.9K 
[TXT]nlu.txt2009-10-21 15:00 12K 
[TXT]not-every-hollywood-artificial-intelligence-is-a-villain.txt2016-04-20 19:07 2.8K 
[TXT]overview.txt2018-01-18 16:03 8.7K 
[   ]panoply-presentation.odp2019-10-31 15:12 86K 
[DIR]pioneer.app/2018-10-04 06:02 -  
[TXT]posi-email.txt2009-05-06 12:02 3.8K 
[TXT]printing-on-the-cheap.html2016-08-10 16:01 3.3K 
[TXT]problem.html2011-01-11 05:30 1.3K 
[TXT]productivity_requirements.pl2018-09-21 22:37 5.5K 
[TXT]projects.txt2009-10-14 18:19 4.2K 
[TXT]prolog-20180215.txt2018-02-15 13:13 16K 
[TXT]prolog-agent-description.txt2019-05-17 08:19 5.0K 
[TXT]proposal.txt2014-04-14 16:19 8.7K 
[   ]requirements.notes2018-01-18 16:06 10K 
[TXT]sample-voice-commands.txt2017-07-11 03:00 8.4K 
[   ]semweb.odp2009-03-18 11:50 700K 
[   ]semweb.pdf2009-03-19 12:33 377K 
[   ]semweb.ppt2009-03-19 12:33 854K 
[TXT]sites.html2009-02-21 21:42 419  
[   ]social-networking-for-business.odp2009-04-12 16:00 561K 
[TXT]system-x.html2009-03-18 13:18 3.0K 
[TXT]the-words.html2016-07-10 22:15 154  
[TXT]tsfs.html2010-10-15 16:45 2.1K 
[   ]twitter-follower-analyzer.odp2009-08-10 17:12 178K 
[   ]twitter-follower-analyzer.pdf2009-08-10 17:12 68K 
[IMG]unsure-if-ai-doing-something-or-nothing-at-all.jpg2017-08-31 09:11 100K 
[DIR]videos/2016-07-10 22:13 -  
[TXT]vms.txt2017-06-28 20:51 627  
[   ]workhorse.odp2010-10-03 11:44 315K 
[   ]xaviar-doc.tgz2019-02-17 07:24 5.0M 
[TXT]yapc-na-2009-talk-abstract.html2009-05-13 14:25 1.6K 

. Panoply/FRDCSA/FLP Introduction/Tutorial

Welcome to the FRDCSA Project Introduction/Tutorial

Table of Contents

Table of Contents
Introduction
Emacs Refresher
Navigating the FRDCSA using Emacs
The Structure of the MyFRDCSA directories
The Structure of FRDCSA Internal and Minor Codebases
Running UniLang (the Universal Language)
Running FLP (the Free Life Planner)
Running SPSE2 (the Shared Priority System Editor v2)
Running Verber
Running CLEAR (the Computer LEarning ARchitecture)
Running RADAR and Packager
Running Problemspace
Using FreeKBS2
Systems Not Included In This Release
Programming With FRDCSA

Introduction

The FRDCSA will have been in continual development for 20 years as of August of 2019. Thankfully, we are now able to partially release the system to you! The VM distribution of FRDCSA is called Panoply.

I suppose you are already familiar with what the FRDCSA is, if not see https://frdcsa.org.

There are quite a few FRDCSA systems installed here. They can almost all be found subdirectories of the main project directory in /var/lib/myfrdcsa. Most project codebases are available in either: /var/lib/myfrdcsa/codebases/internal or /var/lib/myfrdcsa/codebases/minor.

However, this represents only a small fraction of what the FRDCSA proper currently can do. It will take time to create the next release of FRDCSA, but this will be a good way to learn the project basics and get in a position to make use of the next major release of Panoply, whenever that should hopefully happen.

The FRDCSA user interface is best run from Emacs. Without using Emacs, it will be impossible at present to make effective use of the system. So if you haven't already, please do the Emacs tutorial at least. It is preferable that you also read the Emacs info page. To access the Emacs Tutorial, run:

emacs
Followed by:
C-h t
That is, press Control h, then t. Usually I run emacs in a screen session, but note that the escape character has been changed from C-a to C-]. i.e.
screen -S flpTerm1
emacs -nw	
      

When running emacs, you will see that a lot of systems are loaded. There are a lot more such systems that we haven't been able to release, but maybe you can help us with that. To ask about helping out, please email Andrew Dougherty at adougher9@gmail.com

Emacs Refresher

Some useful Emacs tips and tricks are, if you get really stuck, try using

[ESC]-[ESC]-[ESC]
To exit Emacs, do
C-x C-c
followed by answering the shutdown questions.
M-x
stands for Meta (usually, Alt) simultaneously with x. You can use this followed by entering the in minibuffer (with tab completion) to run interactive Elisp functions.

To get more information, such as the name of the command, press

C-h k
followed by the key sequence. So for instance to learn more about C-x C-c, run
C-h k C-x C-c
If you have a function name under the emacs cursor (a.k.a. the point), press
C->
i.e.
C-S-.
and it will take you to Emacs Lisp source code for the function.

Navigating the FRDCSA using Emacs

FRDCSA is a large project with probably over 2 million lines of code. As such it has many special navigational features, usually Emacs key bindings. As a rule, most FRDCSA Emacs functions have as a prefix a name refering to the project they're contained in, such as

radar-jump-to-radar-directory
(here the prefix is "radar-"). To find various FRDCSA Emacs functions, one can do:
M-x apropos
and it will prompt for a search pattern to look up the functions whose names match the search pattern.

The primary method of using FRDCSA from Emacs is a mixture of common key bindings, as well as command line. We prefer the

M-x shell
method of accessing the terminal. We have a shortcut for switching to the current *shell* buffer and/or uniquely renaming the current shell buffer and creating a fresh *shell* buffer:
C-x n s
One can also switch between buffers of the same major mode using
C-x n y

Once a shell has been opened, one can navigate to almost any FRDCSA project using

C-c r r
which will prompt the user for the name of the project (with tab-completion).

There are a couple of other conveniences in the radar- command set, including:

C-c r e e
which will take you to the default Emacs code location of any selected project.
C-c r e t
will take you to the to.do file for any project.

If you are in a shell and there is a command name and you wish to edit the file, simply move the cursor over it and run

C-x C-f
, and it will retrieve the file in the path for it using the `which` command. If you have a Perl module under point, you can use
C-c r l s
to jump to the file if FRDCSA knows where to find it.

t

The Structure of the MyFRDCSA directories

If one looks at the /var/lib/myfrdcsa directory, one sees among other the following subdirectories:

codebases
.	internal (our custom codebase)
.	minor (more of our custom codebases)
.	external (codebases we have collected)
sandbox (external codebases are extracted into and packaged here)
datasets
repositories
.	external (more of the codebases we have collected)
.		git
.		svn 
.		...

internal and minor are our custom codebases. external and external/git etc are collected codebases. Codebases are extracted into and packaged in sandbox.

The Structure of FRDCSA Internal and Minor Codebases

Many FRDCSA projects have the following files or directories:

scripts (default scripts for the project)
frdcsa
.	FRDCSA.xml (file describing the project)
.	emacs (Emacs source code files for the project)
.	sys
.		flp (files pertaining to the Free Life Planner)
.		cso (files pertaining to the Comprehensive Software Ontology)
doc
sys or systems
Often times, there will be a similar set of files for running the software: So for instance, in the radar project there is:
RADAR.pm (The main Perl Module for the project)
RADAR (a directory containing Perl submodules)
radar (a shell command to invoke RADAR)

Running UniLang (the Universal Language)

Once you loaded Emacs, it is a good idea to start up the UniLang MultiAgent/IPC System. One does this by:

C-c r u
You will see a lot of stuff get launched. When it stops loading, you can go ahead and some things.

If you didn't see

Agent Emacs-Client-XXXX registered
(where XXXX is the PID of the invoking Emacs process) in the *ushell* buffer, try running:
C-c u u c
Alternatively you might see:
Name already taken: <Emacs-Client-XXXX>
bogus message, not processing
This means that Emacs-Client has connected too many times. This may happen occasionally as there are bugs in the Emacs-Client connection code. To return it to normal, enter the *ushell* buffer and type:
UniLang, deregister Emacs-Client-XXXX
followed by pressing enter. Then start it again, with:
C-c u u c

Or, as a temporary work-around (which usually, but not always works), you can run:

C-u C-c r U
and it will attempt to deregister the Emacs-Client agent and reconnect it.

Many FRDCSA programs such as FLP, Clear, SPSE2 and Paperless-Office all depend on UniLang running. There are some init.d scripts for unilang, but we don't really use them as of now. It is easier just to manage it from Emacs for now.

In a moment, we will return to running some of these programs, but for now, I'd like to introduce you further to the FRDCSA Emacs utilities. You can kill Unilang for now with:

C-c r k
You will see the message
Ushell stopped
in the Emacs minibuffer.

Running FLP (the Free Life Planner)

The Free Life Planner (FLP) is the flagshap application of the FRDCSA project. You can read more about it HERE. To summarize, it is a personal AI that attempts to help you effectively adminstrate your life. Not everyone believes they need such a program, so this is written mainly with the people who want such a thing in mind. It is capable of doing a lot of planning, scheduling and execution of plans, tasks, recurrences, reminders, etc.

To get FLP running, once simply has to run:

C-c f f r
You may have to type
yes[RET]
into the minibuffer a few times during this process. You will need to wait until you see the created *WSM* buffer say: DONE LOADING FREE-LIFE-PLANNER. If the windows are not displaying correctly you can straighten them out with:
C-u C-c f f w s

The command you used earlier:

C-c f f r
actually *restarts* FLP, but is generally more convenient as it will clean up any residual processes being run from a previous invocation of FLP without the need to restart the containing Emacs process. Note it will not restart your UniLang process if it is already running (since currently UniLang agents cannot automatically reconnect once disconnected, this prevents you from accidentally dropping connections to already running UniLang clients such as SPSE2 and CLEAR). I believe in this version it restarts OpenCYC each time. OpenCYC has been included here for convenience, but the actual FLP currently runs either ResearchCYC and/or LarKC_CL, so OpenCYC does not actually do much here.

From there it is best to point a web browser to http://10.0.2.15:3000, or whatever your correct IP address is.

If you haven't logged into it before or for a while, it will take you to the splash screen, which might say "Welcome to the Free Life Planner: IT'S NICE TO MEET YOU". From there, you should click SIGN IN in the top right. Currently, you will want to use the following credentials:

Username: admin
Password: changeme

This release of Panoply does not include a lot of the functionality behind the site. I am trying to get at least Plans and financial planning working.

Note that, from Emacs, it can take a while to move between windows using

C-x o
so ace-windows is provided and bound to
M-P
It will number the buffers starting with 1 and you just press the number of the buffer you want to more quickly navigate.

See how FLP typically starts up HERE (note, noisy).

If everything has loaded you can always jump to (if you're not already at) the *Formalog-REPL* buffer using:

C-c f p r
From there you can enter in Prolog queries. For instance (if Emacs-Client-XXXX is properly connected) you can enter
has[TAB]
and it will take a second but it should do tab completion over the constants in the knowledge base. Pressing
[TAB]
again should open the list of commands in a temporary buffer. You can switch over to this buffer with
M-P
and the number of the buffer, and then use
C-v
to scroll down and
M-v
to scroll up.

Another thing you might want to do is jump to a file or see all the files: you can:

C-c f f o p
to do minibuffer ido-completion on the files in the FRDCSA, opening the selected one. If the filename cache is not present, it will force it to regenerate the filename cache. You can force it with
C-c f f o P
You can use
[TAB]
at this point as above to open a temporary buffer with the names of the files. Enter
C-x C-f
over one of the files should open that file, as it's bound to kmax-ffap which is a fancier version of find-file-at-point which will use the `which` command to find the version of the file in the path. (Note as mentioned above you can also run C-x C-f on command names and it will also retrieve them using `which`.)

One thing you might want to do is search within these files, to do that you

C-c f f o G s
and wait for it to retrieve the filename cache, then type in your query. A separate buffer should open called *FLP-Search* with the results.

There are currently a couple of bugs to be aware of. Do not hit enter on any text in the *Formalog-REPL* until *WSM* has finished with "DONE LOADING FREE-LIFE-PLANNER". Otherwise it will cause it to list the contents of the knowledgebase using Data::Dumper in the *WSM* buffer, which takes a long time. Another thing is, if you use a command like

C-c f f o P
, Emacs will block for a little while. If you hit any key during this time, it's possible it will interrupt the QueryAgent Emacs call and never return a value, in which case you have to
C-g
and possibly restart.

Running SPSE2 (the Shared Priority System Editor v2)

SPSE2 is documented in this PAPER. SPSE2 is a precursor to the Free Life Planner. To get SPSE2 running, be sure to have UniLang running. Then, from a terminal, do the following:

spse2 -l
This will list the available Contexts. A context is simply a collection of assertions in the Knowledge Base. SPSE2 and FLP use FreeKBS2 Once you have a context in mind, or wish to create a context, run:
spse2 -c CONTEXT
where CONTEXT is the name of the context you wish to open.

To use SPSE2, you can see the keybindings using the same command as in Emacs:

C-h b
Also, adding
C-h
to the end of a prefix key is a method of listing available keybindings that start with the prefix key.

SPSE2 Contexts must always have at least one goal in them, so they start out by default containing a goal saying "Remove Me". Before removing it, create a new goal with

C-c n +
and then enter the goal in the Description text entry. Note that return is not bound to 'Create New Node' so that you can enter items with return in them, same with tab. You will want to click on 'Create New Node' when finished.

Once you have created at least two goals, you can mark a dependency between them, and/or any of several other binary relations. To mark a dependency, first make sure no goals are selected, then select the goal that depends on another goal first by clicking on the box of the goal with the

left mouse button
It should make the box appear darker. Then
shift-left mouse button
select the goal which it depends on, so that both of those goals have been selected. Finally, enter
C-c s b d
Here the s stands for modify relation, the b stands for binary, and the d stands for depends. To undo a binary relation, follow the same procedure to create one, but instead enter
C-c s B d
The capitalized B indicicates to remove the binary relation.

One can also create other binary (and unary) relations. To mark a goal or goals complete, ensure they are selected and then enter

C-c s u c
To mark that a goal provides another goal, meaning it is sufficient to achieve the latter by achieving the former, use
C-c s b p
and to say that a goal eases another goal, use
C-c s b e

There are many other features available with SPSE2 which unfortunately we don't have the time to document right now. But we will mention plan generation. Once you have sufficiently created a planning domain (or used the default provided domain), you can generate a plan to achieve it using the following: First select all the goals you want to accomplish (note you don't have to select all the goals depended on by a goal, it will include them automatically). Select from the Menu:

Action -> Domain -> Planning -> Generate Plan -> Selected
If successful, it should generate a PDDL planning domain and problem and pop up a window called "Verber GUI" with a button at the bottom saying "Generate Plan". Click this button and if the plan is successful generated it will pop up another window called "IEM2". You can then walk through the generated temporal plan with the "Next Point" and "Previous Point" buttons.

Note that we haven't gone into the temporal planning capabilities of SPSE2. The SPSE2 toolchain is currently being superseded by the Free Life Planner IEM.

See SPSE2 in action HERE.

Running Verber

Verber is the main planning federated planning system capable of invoking many other planners. Unfortunately several planners have not yet been fully integrated with Verber. One can invoke verber from the command line, Emacs, FLP or SPSE2. We will cover invoking from Emacs.

Verber has helper Emacs functions that allow you to debug planning domains rather quickly, for use in FLP and SPSE2. The main keybinding is:

C-c r v t
which invites you to tab-complete the name of a planning capsule. Although PDDL allows you to specify more than one problem file per domain file, we treat them as pairs for now. So a capsule is the shared prefix of both the domain file and the problem file. For instance if your domain file is "flp/flp.d.pddl", and your problem file is "flp/flp.p.pddl", the capsule is "flp/flp".

Use tab completion to select a domain. You can select "date-20170205" for instance using

C-c r v t
This will load 4 buffer windows, with the domain in the top left, the problem in the top right, the *shell* buffer in the bottom left and the Federated planning code in the bottom right. It also sets in memory that capsule to be planned with. To invoke the planner, first ensure that UniLang is running, then enter
C-c r v r
. The planner with then generate a plan if you were successful. It may take some time before the plan is completed. If you are using LPG-td as your planner, you should see: a few entries like:
TIME: 0.000300
if the plan was successful. To see the plan, use
C-r .sol
to move the cursor over the name of the solution file, and then run
C-x C-f
to open that file. You should see something like this:

; Version LPG-td-1.0
; Seed 14498422
; Command line: /var/lib/myfrdcsa/codebases/internal/verber/data/planner-library/lpg-td-1.0 -o date-20170205.d.pddl -f date-20170205.p.pddl -out /var/lib/myfrdcsa/codebases/internal/verber/data/worldmodel/worlds/date-20170205.p.pddl.LPG.sol -speed 
; Problem date-20170205.p.pddl
; Time 11.56
; Search time 0.22
; Parsing time 10.46
; Mutex time 0.84
; MetricValue 22.25

0.0003:   (LOCK-CONTAINER ANDREW-DOUGHERTY LAPTOP-BACKPACK DEN) [0.1000]
0.1005:   (MOVE ANDREW-DOUGHERTY DEN LIVING-ROOM) [0.1500]
0.2508:   (SLEEP ANDREW-DOUGHERTY COUCH LIVING-ROOM) [3.0000]
3.2510:   (MOVE ANDREW-DOUGHERTY LIVING-ROOM UPSTAIRS-BATHROOM) [0.1500]
3.4013:   (CHARGE-FULLY ELECTRIC-RAZOR-0 UPSTAIRS-BATHROOM-OUTLETS ANDREW-DOUGHERTY UPSTAIRS-BATHROOM) [2.0000]
5.4015:   (PICK-UP ANDREW-DOUGHERTY ELECTRIC-RAZOR-0 UPSTAIRS-BATHROOM) [0.1000]
5.5017:   (SHAVE ELECTRIC-RAZOR-0 ANDREW-DOUGHERTY UPSTAIRS-BATHROOM) [0.2500]
5.7520:   (SET-DOWN ANDREW-DOUGHERTY ELECTRIC-RAZOR-0 UPSTAIRS-BATHROOM) [0.1000]
5.8523:   (MOVE ANDREW-DOUGHERTY UPSTAIRS-BATHROOM BEDROOM) [0.1500]
6.0025:   (ARM ANDREW-DOUGHERTY TOWEL-2 BEDROOM) [0.0000]
6.0027:   (MOVE ANDREW-DOUGHERTY BEDROOM UPSTAIRS-BATHROOM) [0.1500]
6.1530:   (SHOWER ANDREW-DOUGHERTY TOWEL-2 UPSTAIRS-SHOWER UPSTAIRS-BATHROOM) [1.0000]

Verber is a wrapper around other planners, but it also is able to merge different planning domains, and even call code to generate other domains as part of the planning capsule rendering process. Unfortunately it is too lengthy to deal with here, and is still a WIP. It usually pulls in a .verb capsule from:

/var/lib/myfrdcsa/codebases/internal/verber/data/worldmodel/templates
and outputs the generated capsule to
/var/lib/myfrdcsa/codebases/internal/verber/data/worldmodel/worlds
, before executing the planner on the capsule.

Running CLEAR (the Computer LEarning ARchitecture)

One of the neatest FRDCSA applications is CLEAR, which uses text to speech to read books to you. It is capable of pausing, forwarding and so on. It also records what you have read for your convenience. To invoke clear, ensure UniLang is running and then run:

cla -u -r <FILE>
where <FILE> is the name of a file containing text. CLEAR automatically converts mosts formats to text, so you should be able to use PDFs, HTML etc.

If successful CLEAR will eventually open a Perl/Tk window and then immediately begin reading. You can use PAUSE to pause it, but note, it will continue to read till the end of the current sentence.

Running RADAR and Packager

More recent versions of RADAR and Packager have streamlined the process. For now, you can still use them, but you have to be careful. Also, probably most of the RADAR wrappers besides "git" are probably outdated. To use, you do:

radar https://github.com/TeamSPoon/pfc
or whatever your repo is. It will prompt with (randomized (to prevent changes to the menu from causing the user to accidentally select the wrong item)) menu, enter whatever the number is for "Git" at the prompt and press enter. It will then ask for the name of the codebase. Press the number for pfc (or whatever the name of your repo is). Alternatively, you can select 0 and hit enter and it will allow you to enter the name. It will ask if you want to execute the git clone command, press y and enter. It shold then clone the repository and put it in
/var/lib/myfrdcsa/repositories/external/git

To continue on to archiving the software, jump to that directory by using

C-c r r
git
run
packager pfc
or whatever your repo is called. Note this version requires you to be in the parent directory of the repo you are packaging. You can package any directory by selecting y when it asks to create a tgz file. (If you run packager on a regular file, it will still allow you to archive it, it just won't ask you to create the compressed file.) Create the compressed file, then select "y" when it asks you to move the file to the
/var/lib/myfrdcsa/codebases/external
directory.

Now you must change directories to some directory *not* containing "pfc" or whatever your archive is called. (This again is a bug that has been fixed in the development codebase). Then run again:

packager pfc
and it will give you a lot of options. Select 1 for "Extract" and press yes to all prompts. It will uncompress the archive in the
/var/lib/myfrdcsa/sandbox
directory.

Here is a trace of this in action:

andrewdo@panoply:~$ radar https://github.com/TeamSPoon/pfc
Subroutine DoCommand redefined at /usr/share/perl5/Packager/Package.pm line 178.
<ITEM:https://github.com/TeamSPoon/pfc>
0) Freshmeat
1) SVN
2) CVS
3) Git
4) Debian Package
5) URL
6) Local File
7) Perl Module
8) SourceForge CVS
9) Google Code
10) SourceForge SVN
11) SourceForge
12) CPAN Module (Experimental)
3
What is the name of this codebase?
0) Other
1) teamspoon
2) pfc
2
$VAR1 = 'Structure';
$VAR2 = {
          'Type' => 'Choose',
          'Contents' => [
                          'Other',
                          'teamspoon',
                          'pfc'
                        ],
          'Result' => 'pfc'
        };
$VAR3 = 'Record';
$VAR4 = 1;
cd /var/lib/myfrdcsa/repositories/git && git clone https://github.com/TeamSPoon/pfc
Execute this command?: y
Cloning into 'pfc'...
remote: Enumerating objects: 26, done.
remote: Counting objects: 100% (26/26), done.
remote: Compressing objects: 100% (21/21), done.
remote: Total 2648 (delta 7), reused 9 (delta 5), pack-reused 2622
Receiving objects: 100% (2648/2648), 1.57 MiB | 2.52 MiB/s, done.
Resolving deltas: 100% (2004/2004), done.
andrewdo@panoply:~$ pushd /var/lib/myfrdcsa/repositories/external/git
/var/lib/myfrdcsa/repositories/external/git ~ /var/lib/myfrdcsa/codebases/external /var/lib/myfrdcsa/repositories/external/git ~ ~ ~ ~ ~
andrewdo@panoply:/var/lib/myfrdcsa/repositories/external/git$ packager pfc
Subroutine DoCommand redefined at /usr/share/perl5/Packager/Package.pm line 178.
FIXME: Run this first before packaging a system from any of its dirs: ./softwareindexer  -p
Archive, then index directory <pfc>: y
tar -czf pfc.tgz pfc
Execute these commands?: y
pfc.tgz
Use < pfc-20190329 > to store < pfc.tgz >?: y
mkdir /var/lib/myfrdcsa/codebases/external/pfc-20190329
mv "pfc.tgz" /var/lib/myfrdcsa/codebases/external/pfc-20190329
Execute these commands?: y
andrewdo@panoply:/var/lib/myfrdcsa/repositories/external/git$ cd
andrewdo@panoply:~$ packager pfc
Subroutine DoCommand redefined at /usr/share/perl5/Packager/Package.pm line 178.
FIXME: Run this first before packaging a system from any of its dirs: ./softwareindexer  -p
Select CodeBase
<Chose:pfc>
<Chose:20190329>
0) Stash
1) Extract
2) ExtractMultiple
3) Build
4) Rebuild
5) Test
6) Edit
7) DpkgInstall
8) Upload
9) AptGetInstall
10) RemovePackage
11) RemoveSandbox
12) RemoveExternal
1
Choice: Extract
Checking InstallDir: </var/lib/myfrdcsa/sandbox/pfc-20190329>
<<</var/lib/myfrdcsa/codebases/external/pfc-20190329>>>
<Chose:pfc.tgz>
pfc.tgz
mkdir -p /var/lib/myfrdcsa/sandbox/pfc-20190329
Execute this command?: y
cd /var/lib/myfrdcsa/sandbox/pfc-20190329 && tar -xzf "/var/lib/myfrdcsa/codebases/external/pfc-20190329/pfc.tgz"
Execute this command?: y
mv pfc pfc-20190329
Execute this command?: y
Extracted
andrewdo@panoply:~$ pushd /var/lib/myfrdcsa/sandbox/pfc-20190329
/var/lib/myfrdcsa/sandbox/pfc-20190329 ~ ~ /var/lib/myfrdcsa/codebases/external /var/lib/myfrdcsa/repositories/external/git ~ ~ ~ ~ ~
andrewdo@panoply:/var/lib/myfrdcsa/sandbox/pfc-20190329$ cd pfc-20190329/
andrewdo@panoply:/var/lib/myfrdcsa/sandbox/pfc-20190329/pfc-20190329$ ls
examples  LICENSE.md  man  misc  pack.pl  pfc1.2  pfc2.2  prolog  README.md  t
andrewdo@panoply:/var/lib/myfrdcsa/sandbox/pfc-20190329/pfc-20190329$ 

Running Problemspace

Problemspace is fun little Emacs gimmick, it can be invoked by running:

M-x problemspace
Note it creates something like "The Matrix" but running in Emacs using Cyc assertions. (The current [2019-03-29,08:35:52] development version of FRDCSA is able to post sensor data to Problemspace).

Using FreeKBS2

FreeKBS2 is the Knowledge Based System of FRDCSA. It handles a few things, conversion between different knowledge interchange formats (like KIF, Perl Interlingua, Emacs Strings and Prolog), as well as persistence of assertions and even full reasoning in First-Order Logic with Equality.

Knowledge is partitioned into contexts which are similar to Cyc's concept of Microtheories. These are related assertions that express the truth about the domain in question. To list the Contexts that exist on your system, run

kbs2 -l
To view the contents of a context, move the cursor over the name of the context and press
C-u C-c s X
followed by
[RET]
This makes that context the default context. Make sure UniLang is running, then press
C-c s k
and wait for a little bit as UniLang queries the FreeKBS2 and renders the output to the window. There are major-modes for both viewing and editing the contents of a viewed context.

Move into the window that says "all-asserted-knowledge for context <CONTEXT>", and press

C-h m
or
C-h b
to get a listing of the commands that one can use in that major-mode. To visit the Elisp source code for the current major-mode in a buffer, run
C-c C-k C-m

FreeKBS2 has a nifty feature called FreeKBS2-Ring. This is like the Emacs kill ring except FreeKBS2 allows you to do all kinds of things with the contents of the ring. The ring has a stack which is a list of entries. The idea of the stack is to create expressions. For instance you could piece together an assertion like ("loves" "person1" "beer"), and then do things with that. The first element of the stack is called the Top of Stack (TOS), in this case "loves". The ring consisting of this stack and another assertion might look like: (("loves" "person1" "beer") ("loves" "person2" "yogurt")) These are all in Emacs String notation. Most commands have to do with adding elements to the stack, shifting new stacks onto the ring, rotating these stacks and rings, and inserting their contents and popping them. They are similar to an RPN scientific calculator in addition to being similar to the kill-ring. Many FRDCSA Elisp interactive commands use the TOS. For instance, to place the current filename into the TOS, run

C-c k f n
Press
q
to close the Ring viewer buffer. Then to insert the name of the file into your current buffer, run
C-c s i
Finally, to clear the stack run
C-c s c

You can also load an assertion in Emacs String notation by moving the cursor to the first parens of the any Elisp sexp and pressing

C-c s L

Systems Not Included In This Release

The FRDCSA is a large metaproject containing thousands of systems and due to constraints we have only been able to release several of the core systems. We are working to release all the other systems which gives the system more power. More will hopefully be included in the next release. Please note that very few of the external codebases have been released since we haven't completed vetting their licenses, and also to save space in this educational release of the Panoply VM.

Programming With FRDCSA

There are quite a few tools to help with programming, I will list some now.

	boss -  enables you to create and modify internal codebases
	perllib - a large collection of wrappers for various existing systems
      

Capability PerlLib System

The Perl modules for FRDCSA are sym-linked from their locations in subdirs of the internal and minor codebase directories to /usr/share/perl5