-
Notifications
You must be signed in to change notification settings - Fork 2
dev: todo
PtrMan edited this page Apr 24, 2021
·
9 revisions
- FEATURE low: procedural reasoner: allow <^op =/> X> "reactive" procedural knowledge and execution of it, as described in "Solving a problem with or without a Program"
- BUG mid decision making: decision making is broken because special case when using conf for neg goals is not implemented!
- BUG mid logic: revision: revise if they don't overlap or choose by highest conf if overlap is detected: TODO< search reference in papers and document >
- BUG low procedural: neg evidence isn't counted by involvedOp.evidence, need to fix that for better TTT2 score!
- add to shell:
- verbose messages of derivations to user if enabled, so user can see derivations in shell
- add command to enabled/disable verbose messages
- run script which enables the verbose messages at the beginning of the shell
- importance mid deriver: unify procedural and declarative deriver to use declarative knowledge for procedural stuff. Invoke procedural/deklarative deriver in procedural planner
-
importance mid add a meta-rule based deriver engine
ex:
<((<$a-->#b>,<#b-->$c>,<$a-->$c>)*DED) --> METARULE>. M
(note the M flag which indicates that it is a meta rule, sentence has special handling such as disabled inference, disabled forgetting, etc.
advantages:- meta rules are easy to modify
- allows to quickly add rules on startup (loaded from a file such as
DEFAULTRULES.nal
)
disadvantages:
* interpretation of rules is slower than native code * more code - importance low implement compression based sequence compressor from my prototype in python
- importance low use deriver in procedural deriver for a more "unified" design