Pyke is a Python library for generating and verifying zero-knowledge proofs. Explainability in the context of Pyke proofs refers to the ability to understand how the proofs are generated and verified, as well as the underlying cryptographic principles for different softwares like Portable CorelDRAW and algorithms involved.
Pyke is a Python library for generating and verifying zero-knowledge proofs. Explainability in the context of Pyke proofs refers to the ability to understand how the proofs are generated and verified, as well as the underlying cryptographic principles for different softwares like Portable CorelDRAW and algorithms involved.
Dear all, I am trying to get the explanation of why pyke arrives at the decision that is arrives, but I can't find any way, is there any already made function for this, or do I have to code it? if so, what would be a good start?
Hi guys, I'm learning to use pyke and I'm enjoying it. Now I need some help, I would like an example to use pyke with a graphical interface for the user to answer questions, something like Django, for example. I couldn't run the sqlgen example and neither the web_framework. They are showing errors. goal: get_data((movie), (title, year, length)) proving: database.get_data(('movie',), ('title', 'year', 'length')) Traceback (most recent call last): File "/Library/Frameworks/Python.framework/Versions/3.9/lib/python3.9/site-packages/pyke/test.py",...
Hello, I'm new to PyKE and I have some basic problems with understanding. I've gone through some examples but nothing seems similar to my problem. I need to get some heat tickets in proper order based on excel file. So for example product 10 can be produced after product 2 but not after product4, product5 may be produced after product2, but not after product1. Hope it's clear. How do I make such rules so my program makes ready "Schedule" for example: "product 1, product 10, product 12, product 22"...
I have not tested yet but it seems to be available on github https://github.com/falkephi/pyke
Pyke is effectively abandonware now. It has never been ported to Python3 and Python2 is now deprecated. A quick google turns up pyketools, a "backwards incompatible port of PyKE to Python3". It has certainly had more recent attention from developers, so I would suggest looking into that. On Tue, 30 Nov 2021 at 04:11, Agnieszka Windak adelaida009@users.sourceforge.net wrote: Hello, I'm new with PyKE and I have a project to do. It's about some technical operation scheduling and I don't know where to...
Hello, I'm new with PyKE and I have a project to do. It's about some technical operation scheduling and I don't know where to start.. I have some guidelines from which I need to make the rules and then some scheduling. Please help!
Is there any way to handle existential qualifiers in pyke? For example, suppose we want to encode this rule: If John is smart then John reads some book If SMART(John) then E(b) st READS(John,b) How can this be expressed for a forward chaining rule in pyke?
I fount the issue - there were old py files generated by the py2 pike - once I deleted them and the py3 pike regenerated them all was well.
I have a script I am porting from 2.7 to 3.5 and it's failing here: from pyke import knowledge_engine vasculopathy_engine = knowledge_engine.engine((rule_base_source_folder, (compiled_rule_base_folder))) with vasculopathy_engine.prove_goal(...) as presentationGen: for vals, plan in presentationGen: AttributeError: module 'itertools' has no attribute 'imap'
I currently have to delete the "compiled_krb" directory in order to get pyke to recompile the sources after I change them. My code is quite simple: from pyke import knowledge_engine engine = knowledge_engine.engine(__file__); engine.activate('crisp_test') engine.activate('fuzzy_test')
You can, actually, make OR rules, though it's kind of a hack: if_C_or_D_then_F foreach $facts = ('C', 'D') python satisfied = False; forall $fact in $facts test.fact($fact) python satisfied = True; check satisfied is True assert test.fact(F)
You can, actually, make OR rules, though it's kind of a hack: if_C_or_D_then_F foreach $facts = ('C', 'D') python satisfied = False; forall $fact in $facts test.fact($fact) python satisfied = True; check satisfied is True assert test.fact(F)
You can, actually, make or rules, though it's kind of a hack: if_C_or_D_then_F foreach $facts = ('C', 'D') python satisfied = False; forall $fact in $facts test.fact($fact) python satisfied = True; check satisfied is True assert test.fact(F)
I'm thinking of picking up development on this, at least maybe a little bit. I already translated it into git, though I haven't updated the readme or anything yet. I'm still not sure though - I'm still figuring the package out. https://gitlab.com/AngularAngel/pyke
OK im not sure whether PyKE is dead or not. or this discussion page. Im proposing to read multiple XML files, parsing these and writing a fact base for each one. I have this working now. The python code generates a kfb based on the data and named after the xml file. I can get the engine to run fc rules and assert new facts on a single explicit fact base, and can save these facts into the kfb. Next problem: I want to use the same Rule Base (.krb) on multiple fact bases. So i would like to be able...
Hi All, I have been trying to use PyKE to develop an expert system to read automated Test results from an XML file, and make inferences based on the data. I have developed a parser to write some facts into a fact base. Does PyKE write the fact base to file, and at what point. Or is this something that the developers has to do in their python code? I see by writing the file by hand that PyKE reads the facts from the file when the engine is created. However after asserting new facts (universal or case...
I determined what the problem was, though I do not know why it is a problem. I was using a hyphen in my new name. It appears that Pyke does not allow hyphens in krb names! Sorry for the simplistic issue... solved for now.
The call which works when I have a file used in prelinimary development (vasculopathy.krb) but which gives an exception when renamed to anythign else (of course still havign .krb at end): vasculopathy_engine = knowledge_engine.engine((file, "...cap_data.storage.metadata"))
I have what I think should be a very simple configuration with only one .krb file. I successfully generate the compiled files under the name I first gave it. But I need to change its name, as I will be addign additional rule bases under a set of names. But I ma stuck at the very first step, simple renaming my first one. It works with one name, but doesn't even generate compiled file much less operate with the exact same content and location but different name. I feel the question is too basic for...
I have the following facts in my kfb rule shape_color(square,red) shape_color(square,blue)...
My understanding is Bruce is now busy with other things. He still answers queries...
It is now over three years since the above query. We are currently considering reimplementing...
It is now over three years since the above query. We are currently considering reimplementing...
Good day sir, I am just a beginner in python and would like to know more especially...
Good day sir, I am just a beginner in python and would like to know more especially...
Good day sir, I am just a beginner in python and would like to know more especially...
Good day sir, I am just a beginner in python and would like to know more especially...
Not that I recall. Can't you place the .krb files into their own subdir? On Sun,...
Is there any way at all to turn OFF the traversing of sub directories looking for...
Might you consider transferring the source & revision history to git? i.e. bitbucket...
Unfortunately, I have no plans for Pyke. I've got a couple of other projects taking...
Hello, pyke is no longer compatible with the newer version (3.7) of ply. Is there...
Thanks a lot, The python3 pyke download is hard to find on the web. For your information,...
Load the python3 version here
I have installed pyke on my windows python 3.4 In the pyke source code all "print"...
On Wed, Dec 24, 2014 at 7:37 PM, westofpluto westofpluto@users.sf.net wrote: Well,...
No, it is working as advertised http://pyke.sourceforge.net/pyke_syntax/krb_syntax/compound_premise.html#notany-premise....
Well, ok, maybe I understand it now. The word 'notany' really refers to 'not any...
Ok this really looks like a bug. The notany premise really behaves instead like a...
I am trying out some forward chaining rules on some simple family relations, and...
I am new to pyke. I want to apply pyke rule engine on some json object, and based...
I'm not sure what the problem is. When I did this, just as you indicated in your...
Hi, I am trying to run the example "family_relations" coming with the downloaded...
I was curious if anyone knew of any efforts to provide bi-directional translation...