(I have written a function, called scry (I think I heard this name used in some other AI application, but it's very appropriate, as if looking into a crystal ball (or, in this case, a crystal CPU)). You say scry(predicate(Args)), and it returns all true predicates (i.e. relation instances) that match the single argument to scry. So for instance, here is a subset of the results of scry(ask(X,Y,Z)), where 'ask' is a relation that contains all instances where X is asking Y the question or comment Z. These are inferred from other things. One can tell the system through some programming that if the question has been answered, perhaps with an inferred or asserted statement "answer(ask(X,Y,Z),A1)." that it is no longer to show up in the results for the relation ask. Furthermore, using argumentation, if the answer later proves inadequate, i.e. there is some defeater, by some assertion like and(isa(A2,argument),defeats(A2,A1)), then it will show up again in the results for ask. Similarly if A2 is defeated and so on. frdcsaAgentFn(freeWOPR) or frdcsaAgentFn(resourceManager) are terms which refer to/mean/denote "the Free WOPR unilang agent" and "the Resource Manager unilang agent". The tacking on of "Fn" is a convention used in Knowledge-Based systems to mean that the symbol ending with them is a function which accepts arguments and maps them to a result. In this case the argument is a term (in this case, a constant) which denotes the "Free WOPR system", and the function returns the UniLang agent corresponding to the system given as an argument. ask(frdcsaAgentFn(freeWOPR),andrewDougherty,hasEffects(neg(inTime(completed('find out how much money is needed to renew ICRN domain'))),obtainAnswerOfType(effectsOfContingency))). ask(frdcsaAgentFn(freeWOPR),andrewDougherty,hasEffects(neg(inTime(completed('work with Justin on compression algorithm, am-utexas prolog amzi on picform.org, chipfab go in together'))),obtainAnswerOfType(effectsOfContingency))). ask(frdcsaAgentFn(freeWOPR),andrewDougherty,hasEffects(neg(inTime(completed('make blu-ray backups of the FRDCSA and leave in Chicago. take laptop.'))),obtainAnswerOfType(effectsOfContingency))). ask(frdcsaAgentFn(freeWOPR),andrewDougherty,hasEffects(neg(inTime(completed('Clean out fridge - some drawers are stuck'))),obtainAnswerOfType(effectsOfContingency))). ask(frdcsaAgentFn(freeWOPR),andrewDougherty,hasEffects(neg(inTime(completed('in Guest Bathroom clean bathroom and floor'))),obtainAnswerOfType(effectsOfContingency))). ask(frdcsaAgentFn(freeWOPR),andrewDougherty,hasEffects(neg(inTime(completed('vac v imp'))),obtainAnswerOfType(effectsOfContingency))). ask(frdcsaAgentFn(freeWOPR),andrewDougherty,hasEffects(neg(inTime(completed('go to parade'))),obtainAnswerOfType(effectsOfContingency))). ask(frdcsaAgentFn(freeWOPR),andrewDougherty,hasEffects(neg(inTime(completed('take meds before going to bed'))),obtainAnswerOfType(effectsOfContingency))). ask(frdcsaAgentFn(freeWOPR),andrewDougherty,hasEffects(neg(inTime(completed('pickup meds'))),obtainAnswerOfType(effectsOfContingency))). ask(frdcsaAgentFn(freeWOPR),andrewDougherty,hasEffects(neg(inTime(completed('pickup water'))),obtainAnswerOfType(effectsOfContingency))). ask(frdcsaAgentFn(freeWOPR),andrewDougherty,hasEffects(neg(inTime(completed('pickup groceries'))),obtainAnswerOfType(effectsOfContingency))). ask(frdcsaAgentFn(freeWOPR),andrewDougherty,hasEffects(neg(inTime(completed('ask about rabbits'))),obtainAnswerOfType(effectsOfContingency))). ask(frdcsaAgentFn(freeWOPR),andrewDougherty,hasEffects(neg(inTime(completed('add a reminder to check the bank balance every night during Merediths visit'))),obtainAnswerOfType(effectsOfContingency))). ask(frdcsaAgentFn(freeWOPR),andrewDougherty,hasEffects(neg(inTime(completed(makeAtLeastOneDebianPackagePerDay))),obtainAnswerOfType(effectsOfContingency))). ask(frdcsaAgentFn(freeWOPR),andrewDougherty,hasEffects(neg(inTime(completed('start recording all of the things we eat and such.'))),obtainAnswerOfType(effectsOfContingency))). ask(frdcsaAgentFn(freeWOPR),andrewDougherty,hasEffects(neg(inTime(completed('get temperature modules working, so as to tell us when the computer room is getting too cold.'))),obtainAnswerOfType(effectsOfContingency))). ask(frdcsaAgentFn(freeWOPR),andrewDougherty,hasEffects(neg(inTime(completed(study(prolog)))),obtainAnswerOfType(effectsOfContingency))). ask(frdcsaAgentFn(freeWOPR),andrewDougherty,hasEffects(neg(inTime(completed(study(amziAdventuresInPrologTutorial)))),obtainAnswerOfType(effectsOfContingency))). ask(frdcsaAgentFn(freeWOPR),andrewDougherty,hasEffects(neg(inTime(completed(study(freeLifePlanner)))),obtainAnswerOfType(effectsOfContingency))). ask(frdcsaAgentFn(freeWOPR),andrewDougherty,hasEffects(neg(inTime(completed(packageForDebian(sanchoGGPProgram)))),obtainAnswerOfType(effectsOfContingency))). ask(frdcsaAgentFn(freeWOPR),andrewDougherty,hasEffects(neg(inTime(completed(study(theArtAndScienceOfProgrammingRoboticAgents)))),obtainAnswerOfType(effectsOfContingency))). ask(frdcsaAgentFn(freeWOPR),andrewDougherty,hasEffects(neg(inTime(completed('figure out if there is shorthand for having multiple facts in heads'))),obtainAnswerOfType(effectsOfContingency))). ask(frdcsaAgentFn(freeWOPR),andrewDougherty,hasEffects(neg(inTime(completed('finish formalization of /var/lib/myfrdcsa/codebases/minor/resource-manager/shopping_list.pl'))),obtainAnswerOfType(effectsOfContingency))). ask(frdcsaAgentFn(freeWOPR),andrewDougherty,hasEffects(neg(inTime(completed('write an agent which looks at questions being asked of the user and proceeds onto google to try to resolve them. do this using a unilang query from formalog.'))),obtainAnswerOfType(effectsOfContingency))). ask(frdcsaAgentFn(freeWOPR),andrewDougherty,hasEffects(neg(inTime(completed(maintain(andrewDougherty,isClean(downstairsComputerRoom))))),obtainAnswerOfType(effectsOfContingency))). ask(frdcsaAgentFn(resourceManager),andrewDougherty,hasSource(qty(airFilterHAPF600D,2),obtainAnswerOfType(sourceOfItem))). ask(frdcsaAgentFn(resourceManager),andrewDougherty,hasSource(dusterForComputers,obtainAnswerOfType(sourceOfItem))). ask(frdcsaAgentFn(resourceManager),andrewDougherty,hasSource(payBill(comcastInternet,[2016-3]),obtainAnswerOfType(sourceOfItem))). ask(frdcsaAgentFn(resourceManager),andrewDougherty,hasSource(portableAirConditioner,obtainAnswerOfType(sourceOfItem))). ask(frdcsaAgentFn(resourceManager),andrewDougherty,hasSource(giftForFriend,obtainAnswerOfType(sourceOfItem))). ask(frdcsaAgentFn(resourceManager),andrewDougherty,hasSource(imakSmartGloves,obtainAnswerOfType(sourceOfItem))). ask(frdcsaAgentFn(resourceManager),andrewDougherty,hasSource(qty(airFilterHAPF600D,2),obtainAnswerOfType(sourceOfItem))). ask(frdcsaAgentFn(resourceManager),andrewDougherty,hasSource(qty(cellPhoneBattery,2),obtainAnswerOfType(sourceOfItem))). ask(frdcsaAgentFn(resourceManager),andrewDougherty,hasSource(laptopBattery,obtainAnswerOfType(sourceOfItem))). ask(frdcsaAgentFn(resourceManager),andrewDougherty,hasSource(bluetoothHeadset,obtainAnswerOfType(sourceOfItem))). ask(frdcsaAgentFn(resourceManager),andrewDougherty,hasSource(g930Headset,obtainAnswerOfType(sourceOfItem))). ask(frdcsaAgentFn(resourceManager),andrewDougherty,hasSource(qty(hdx5Shelf,3),obtainAnswerOfType(sourceOfItem))). ask(frdcsaAgentFn(resourceManager),andrewDougherty,hasSource(reasonableSupplyOf(adhesiveHooks),obtainAnswerOfType(sourceOfItem))). ask(frdcsaAgentFn(resourceManager),andrewDougherty,hasSource(reasonableSupplyOf(plasticSpoons),obtainAnswerOfType(sourceOfItem))). ask(frdcsaAgentFn(resourceManager),andrewDougherty,hasSource(reasonableSupplyOf(plasticForks),obtainAnswerOfType(sourceOfItem))). ask(frdcsaAgentFn(resourceManager),andrewDougherty,hasSource(powerSupplyForAnnFrdcsaOrg,obtainAnswerOfType(sourceOfItem))). ask(frdcsaAgentFn(resourceManager),andrewDougherty,hasSource(plasticBinsForOrganizing,obtainAnswerOfType(sourceOfItem))). ask(frdcsaAgentFn(resourceManager),andrewDougherty,hasSource(for(blinds,downstairsComputerRoom),obtainAnswerOfType(sourceOfItem))). ask(frdcsaAgentFn(resourceManager),andrewDougherty,hasSource(for(officeMat,downstairsComputerRoom),obtainAnswerOfType(sourceOfItem))). ask(frdcsaAgentFn(resourceManager),andrewDougherty,hasSource(gardenHoseSprayer,obtainAnswerOfType(sourceOfItem))). ask(frdcsaAgentFn(resourceManager),andrewDougherty,hasSource(airConditionerExtensionCord,obtainAnswerOfType(sourceOfItem))). ask(frdcsaAgentFn(resourceManager),andrewDougherty,hasSource(windowSecurityLocks,obtainAnswerOfType(sourceOfItem))). ask(frdcsaAgentFn(resourceManager),andrewDougherty,hasSource(externalPowerSwitchForAcerMonitor,obtainAnswerOfType(sourceOfItem))). ask(frdcsaAgentFn(resourceManager),douglasMiles,decideTruthValue(hasShoppingListItem(andrewDougherty,possess(douglasMiles,listOfPrologMUDFeatures)),obtainAnswerOfType(boolean))). ask(frdcsaAgentFn(resourceManager),meredithMcGhan,decideTruthValue(hasShoppingListItem(andrewDougherty,done(learnAbout(ai))),obtainAnswerOfType(boolean))). ask(frdcsaAgentFn(resourceManager),meredithMcGhan,decideTruthValue(hasShoppingListItem(andrewDougherty,know(howWillBenefit(ai,people))),obtainAnswerOfType(boolean))). ask(frdcsaAgentFn(resourceManager),meredithMcGhan,decideTruthValue(hasShoppingListItem(andrewDougherty,know(howCanUse(peopleInAfrica,ai))),obtainAnswerOfType(boolean))). ask(frdcsaAgentFn(resourceManager),andrewDougherty,decideTruthValue(hasShoppingListItem(andrewDougherty,purchase(qty(airFilterHAPF600D,2))),obtainAnswerOfType(boolean))). ask(frdcsaAgentFn(resourceManager),andrewDougherty,decideTruthValue(hasShoppingListItem(andrewDougherty,purchase(qty(cellPhoneBattery,2))),obtainAnswerOfType(boolean))). ask(frdcsaAgentFn(resourceManager),andrewDougherty,decideTruthValue(hasShoppingListItem(andrewDougherty,purchase(laptopBattery)),obtainAnswerOfType(boolean))). ask(frdcsaAgentFn(resourceManager),andrewDougherty,decideTruthValue(hasShoppingListItem(andrewDougherty,purchase(bluetoothHeadset)),obtainAnswerOfType(boolean))). ask(frdcsaAgentFn(resourceManager),andrewDougherty,decideTruthValue(hasShoppingListItem(andrewDougherty,repayLoan(justinCoslor,andrewDougherty,dollars(35))),obtainAnswerOfType(boolean))). ask(frdcsaAgentFn(resourceManager),andrewDougherty,decideTruthValue(hasShoppingListItem(andrewDougherty,niceCanOpener),obtainAnswerOfType(boolean))). ask(frdcsaAgentFn(resourceManager),andrewDougherty,decideTruthValue(hasShoppingListItem(andrewDougherty,computerForAndrew),obtainAnswerOfType(boolean))). ask(frdcsaAgentFn(resourceManager),andrewDougherty,decideTruthValue(hasShoppingListItem(andrewDougherty,purchase(g930Headset)),obtainAnswerOfType(boolean))). ask(frdcsaAgentFn(resourceManager),andrewDougherty,decideTruthValue(hasShoppingListItem(andrewDougherty,'external usb 3.0 blu-ray burner that has PowerDVD included'),obtainAnswerOfType(boolean))). ask(frdcsaAgentFn(resourceManager),andrewDougherty,decideTruthValue(hasShoppingListItem(andrewDougherty,roseQuartzCrystalBallFromEbay),obtainAnswerOfType(boolean))). ask(frdcsaAgentFn(resourceManager),andrewDougherty,decideTruthValue(hasShoppingListItem(andrewDougherty,citrineQuartzCrystalBallFromEbay),obtainAnswerOfType(boolean))). ask(andrewDougherty,douglasMiles,'does PrologMUD define various performatives within Prolog anywhere, such as ask, tell etc?'). ask(andrewDougherty,douglasMiles,'can you please try to get SWIPL-FLUX working again? I can give you the updates that I made.'). 311 results for Scrying for: ask(_G77903,_G77904,_G77905) There are many type checking, reducancy and other errors here, which reflect the fact that I am writing in Prolog without grounding and validating everything in and against PrologCyc's type system and argIsa relations (although I have implemented a basic version of those), so for instance, here it thinks listOfPrologMUDFeatures, i.e. constant denoting a list of all the features that PrologMUD can or should provide, is an item on our shopping list. As I continue to program I find errors like these and correct them by subtly changing the Prolog source. Prolog is very concise, so a small change usually has significant effects. ask(frdcsaAgentFn(resourceManager),douglasMiles,decideTruthValue(hasShoppingListItem(andrewDougherty,possess(douglasMiles,listOfPrologMUDFeatures)),obtainAnswerOfType(boolean))). obtainAnswerOfType(sourceOfItem) means that the answer should be of that type. Probably should be obtainAnswerOfTypeFn. I had wanted simply to put in a variable, i.e. SourceOfItem (the capitalization distinguishes a variable from a constant), but the procedure I've implemented for declassifying private information isn't implemented correctly and will bind/match/connect that variable to any term and thus think that it matches all of the terms which are considered private. For instance, if I didn't want the system to mention anything about andrewDougherty, I could say classified(andrewDougherty). and all terms which had that as a subterm would not be listed. (There is a lot of work remaining on how to implement this properly to secure personal information for people, including things like derivability and guessability of such information.) The beauty of Prolog is that I can implement relations, functions, etc for any concept I can think of. I don't have to immediately and laboriously fully ground and specify them in the ontology. I can save that for later, and even, when the NL system is further along, by looking at the constants themselves, guess as to what their correct formalization would be automatically as a default. ask(frdcsaAgentFn(freeWOPR),andrewDougherty,hasEffects(neg(inTime(completed('pickup groceries'))),obtainAnswerOfType(effectsOfContingency))). simply denotes the Free WOPR Unilang agent asking me what the effects would be if we failed to pickup the groceries in time. The answer might look something like, our pantry's stock would not get any larger unless we went on a different shopping trip. ask(frdcsaAgentFn(resourceManager),andrewDougherty,decideTruthValue(hasShoppingListItem(andrewDougherty,purchase(laptopBattery)),obtainAnswerOfType(boolean))). This question asks me, that, since it knows that I have lodged in a different assertion a desire to buy a laptop battery, whether I have decided to buy one at the next possible opportunity, i.e. whether it is on my shopping list. ask(frdcsaAgentFn(resourceManager),andrewDougherty,hasSource(g930Headset,obtainAnswerOfType(sourceOfItem))). This question asks me where I might buy a G930 Headset. In the future, the system will research through a web browser these questions and come up with some possible answers, which will then be asked of me to verify. I.e. "Does this website indicate that this item is on sale for this amount." and so on. Note it should probably ask before automatically buying in case the website "wrapper" is no longer up to date, in the case of unanticipated changes to the website layout or API. The reason it can automatically make purchases is it has access to the bank account balances and other information, as well as our goals. It will use the concept of adjustable autonomy to decide what to actually do in order to not overly distract the user with trivial questions, but not do something irreversible and major without making sure the user is really aware of what its asking. 'make blu-ray backups of the FRDCSA and leave in Chicago. take laptop.' Constants like this are written out in English, and will be replaced down the road with formalized versions of themselves. I.e. this could be formalized something like: and(produce(andrewDougherty,backupOfFn(frdcsa)),move(instanceFn(backupOfFn(frdcsa)),chicago)). In the future, the system will take these questions, and based on judgments of their importance, urgency, etc, based on inferring from the context they are asked in and the knowledge about that context, might automatically reach out to a person through a modality like email, phone or text, and ask them. It will also ask them when they log into the FreeLifePlanner itself.)