whitemech / pylogics Goto Github PK

Is your feature request related to a problem? Please describe.
Support for First-Order logic semantics is missing.

Describe the solution you'd like
Implement it.

Describe alternatives you've considered
n/a

Additional context

Depends on #48

Is your feature request related to a problem? Please describe.

Currently, there isn't support for PLTL semantics on finite traces.

Describe the solution you'd like
Implement it.

Reference: http://www.diag.uniroma1.it//~degiacom/papers/2020draft/ijcai2020ddfr.pdf

The solution should employ functools.singledispatch, as other API implementations do, to navigate the structure of the formula.

Describe alternatives you've considered
n/a

Additional context
n/a

Is your feature request related to a problem? Please describe.
Support for Pure-past Linear Dynamic Logic is missing.

Describe the solution you'd like

Implement it.

TODOs:

• parsing
• syntax

Reference: http://www.diag.uniroma1.it//~degiacom/papers/2020draft/ijcai2020ddfr.pdf

Describe alternatives you've considered
n/a

Additional context
n/a

Subject of the issue

Currently, in PL, the token SYMBOL_NAME (

SYMBOL_NAME: /[a-z][a-z0-9_]*|"\w+"/

However, this is a strict subset of the symbols acceptable by the standard at version v0.2.0. In particular:

• instead of "\w+", it should be "[^\"\n\t\r]"
• there should be another regex using ' as quoting symbol, i.e. '[^\'\n\t\r]'

Your environment

• pylogics: 0.1.0

Steps to reproduce

TBD

Expected behaviour

TBD

Actual behaviour

TBD

Is your feature request related to a problem? Please describe.

Currently, there isn't support for LDL semantics on finite traces.

Describe the solution you'd like
Implement it.

Reference: https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/17342

The solution should employ functools.singledispatch, as other API implementations do, to navigate the structure of the formula.

Describe alternatives you've considered
n/a

Additional context
n/a

Is your feature request related to a problem? Please describe.
Support for Second-Order Logic is missing.

Describe the solution you'd like

Implement it.

TODOs:

• parsing
• syntax

Describe alternatives you've considered
n/a

Additional context
n/a

Is your feature request related to a problem? Please describe.

Currently, there isn't support for LTL semantics on finite traces.

Describe the solution you'd like
Implement it.

Reference: https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/17342

The solution should employ functools.singledispatch, as other API implementations do, to navigate the structure of the formula.

Describe alternatives you've considered
n/a

Additional context
n/a

Is your feature request related to a problem? Please describe.
Support for First-Order Logic is missing.

Describe the solution you'd like

Implement it.

TODOs:

• parsing
• syntax

Describe alternatives you've considered
n/a

Additional context
n/a

Is your feature request related to a problem? Please describe.
Support for Pure-past Linear Temporal Logic is missing.

Describe the solution you'd like

Implement it.

TODOs:

• parsing
• syntax

Reference: http://www.diag.uniroma1.it//~degiacom/papers/2020draft/ijcai2020ddfr.pdf

Describe alternatives you've considered
n/a

Additional context
n/a