Activity for Modelchecking Agent Programming Language
-
Louise Dennis committed [9e5f48]
Juno with state implementation.
-
Louise Dennis committed [bb63a6]
More manual tweaking.
-
Louise Dennis committed [97e841]
Fixing a pretty printing issue.
-
Louise Dennis committed [baa8ed]
Reworking Why-Questions in line with paper.
-
Louise Dennis committed [72d9fc]
Chapter 2 of manual updated.
-
Louise Dennis committed [b72f11]
Working on the manual for AJPF 2019.
-
Louise Dennis committed [7e0217]
Merge branch 'master' into omniscient
-
Louise Dennis committed [f5397b]
Editing readme to remove deposit information.
-
Louise Dennis committed [303568]
Updating files for submission to data catalogue.
-
Louise Dennis committed [6fcc3e]
Merge branch 'master' into ethical_engine
-
Louise Dennis committed [a4de07]
Fixing an import error.
-
Louise Dennis committed [492471]
Umm?
-
Louise Dennis committed [691268]
Organising for data release.
-
Louise Dennis committed [742f0d]
Ignoring event table files.
-
Louise Dennis committed [4bf5b5]
Minor changes.
-
Louise Dennis committed [932bba]
Merge remote-tracking branch 'origin/omniscient' into omniscient
-
Vincent Koeman committed [7e0c92]
add TODO in prettyprinter about printing plans (to end-users)
-
tweak for printing plans which don't have any deeds (anymore)
-
minor tweaks
-
also 'revert' some changes in the pretty printer a bit if there are no
-
checked places in which toString with descriptions does something really
-
tweak some more output (duplication)
-
remove extra space
-
Louise Dennis committed [4bf561]
Adding in a new modify intention event to handle goal posting modifications
-
only print out relevant parts of a unifier for plans (as we no longer
-
yet more improvements to the output of events/explanations :) +undo
-
added some more stuff to the description library of the ORCA example
-
huge clean-up, with some minor tweaks and improvements +documentation!
-
improve GuardEvent->getLookupData again
-
improve printing guard results (true/false special cases)
-
fix bug
-
comment out weird stuff in Event->getPredicateIndicator
-
first working concept of navigable explanations :)
-
implement Predicate.isVar, fix printing of beliefs/goals/messages in
-
fix GuardEvent's lookup-data by properly including all sub-predicates of
-
allow HTML in explanations; show all code-related stuff in Courier font
-
replace - with = in printing unifiers
-
see previous
-
more pretty-printing tweaks :)
-
Louise Dennis committed [6cfa97]
Distinguishing type of intention modification.
-
Improving pretty printing of things going to default evaluation base.
-
Merge remote-tracking branch 'origin/omniscient' into omniscient
-
Fixing an incorrect merge.
-
add some spaces to the pretty printing of intention/plan bodies
-
include intention modifications in explanations (not in the string yet),
-
add some descriptions to the ORCA example, just to try it out :)
-
more fixes due to intentions being created before descriptions being set
-
use true/false for tracing.enabled (not 1/0)
-
also use the predicate descriptions in explanations now (+fix getting
-
allow using variables in predicate descriptions (example added to
-
fix definition of a string in the subparser
-
fix PredicateDescriptions->getDescription (use match, not unify)
-
implemented first working (!) concept of pretty-printing predicates
-
created a sub-grammar of Gwendolen that can (only) parse 'predicate
-
tweak explanations (especially for continue-intention guards)
-
many tweaks to the way events are printed
-
tweaked explanations based on the new pretty printing as well
-
modified a lot of event->toStrings because most of it has now been
-
Adding a event to note modifications to intentions.
-
Merge remote-tracking branch 'origin/omniscient' into omniscient
-
fix at least some code duplication in the eventtable
-
also allow asking 'why goal' now :)
-
allow asking "why belief?" questions (in principle)
-
Merge branch 'omniscient' of ssh://vjkoeman@git.code.sf.net/p/mcapl/mcapl_code into omniscient
-
Tweaking wording in pretty printing to make distinction between events and deeds clearer.
-
Prettier pritning of no plan yet deeds.
-
Reducing duplicate printing caused by double checking of appPlans.
-
Adding a new event type "perceived" for intentions created from perception.
-
Refining the printing of intentions.
-
Merge remote-tracking branch 'origin/omniscient' into omniscient
-
actually get another explanation level working :) +respond to keyevents
-
set explicit grid color in eventtable for mac
-
fix previous commit
-
account for plan continuations, for which the guard is not re-evaluated
-
add infrastructure to be able to generate different explanations
-
add (giant) WHY? button to the eventtable interface
-
apparently there is a much simpler way of syncing scrollpanes
-
add TODOs in EventTable, rename Reason to AbstractReason
-
table row labels are now synced for long tables (i.e. scroll)
-
Merge branch 'omniscient' of ssh://vjkoeman@git.code.sf.net/p/mcapl/mcapl_code into omniscient
-
Merge remote-tracking branch 'origin/omniscient' into omniscient
-
Fixing pretty printing of intentions.
-
Merge remote-tracking branch 'origin/omniscient' into omniscient
-
Changing intention constructor to take pretty printer.
-
Still fixing intention pretty printing.
-
tweak guardreason.toString a bit more
-
tweak explanation text, fix tracing bug in planlibrary
-
remove leftover println
-
make sure everything compiles again
-
implement first prototype for answering 'why ACTION' questions
-
Merge branch 'omniscient' of ssh://vjkoeman@git.code.sf.net/p/mcapl/mcapl_code into omniscient
-
Pretty printing for applicable plans.
-
Merge remote-tracking branch 'origin/omniscient' into omniscient
-
-
-
Started implementing pretty printing with a Gwendolen Specific pretty printer for intentions.
-
fix modificationaction, make sure the ORCA agent terminates
-
create guard events at the correct (deep-down) place
-
do clone stuff to prevent threading issues, improve the description of
-
extend description of generate plans event
-
give intentions a unique id based on the how-manieth intention it is,
1 >