parser.pl -- Activity parsing.

The main idea of this parser is that activities can be detected through patterns of force events, states, and motions that are used to structure the activity. This structure is described in plans. Hence, a library of plans can be casted as grammar for the parser.

author

- Daniel Beßler

 parser_create(-Parser) is det

Creates a new activity detection parser. For this, sequence graphs are created for each workflow known.

Arguments:

Parser

- The id of a activity parser.

 parser_create(-Parser, +Workflows) is det

Creates a new activity detection parser. For this, sequence graphs are created for each workflow provided.

Arguments:

Parser	- The id of a activity parser.
Workflows	- A list of workflow IRIs.

 parser_run(+Parser, +Tokens, -ActTerm) is nondet

Runs the parser for provided tokens. This blocks until the processing has finished. Results are bound to the ActTerm argument.

Arguments:

Parser	- The id of a activity parser.
Tokens	- A list of tokens.
ActTerm	- The parse result.
Opts	- A list of parser options.

 parser_start(+Parser) is det

Starts a parser, putting it in a state where it waits for tokens to be streamed to the message queue of the parser thread.

Arguments:

Parser

- The id of a activity parser.

 parser_stop(+Parser) is det

 parser_stop(+Parser, -Outputs) is det

Stops a parser, sending an EOF message to all of its threads before joining them. This call will also destroy the message queues of the parser. The list of outputs yielded by the parser is unified with the Outputs argument.

Arguments:

Parser	- The id of a activity parser.
Outputs	- The result of the parser.

 parser_pop_finalized(+Parser, -Outputs) is det

Empties the output message queue of the activity parser. Outputs is a list of activity compositions considered as final by the parser, i.e., no new token could be pushed that would render the items in the list invalid.

Arguments:

Parser	- The id of a activity parser.
Outputs	- The pending finalized results of the parser.

 parser_intermediate_results(+Parser, -Outputs) is det

Outputs is a list of activity compositions considered as non-final by the parser, i.e., some new token could be pushed that would render the item in the list invalid.

Arguments:

Parser	- The id of a activity parser.
Outputs	- The intermediate results of the parser.

 parser_jsonify(+Terms, -JSON_String) is det

Converts a list of action terms into a JSON-encoded atom.

Arguments:

Terms	- A list of action terms.
JSON_String	- The list as a JSON string.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 ros_push_token(Arg1, Arg2)

 parser_push_token(Arg1, Arg2)