Forgot your password?
scientific activity
structureeducational projectsperiodicalsstaffpress centercontacts
­ˇ˝˝ŕŔÚ | english
Scientific activity >>  >> Seminar of M. S. Pinsker Laboratory ╣1

Seminar of M. S. Pinsker Laboratory ╣1 

Head of the Seminar - Vladimir V`yugin


Next Seminar:

June 5, 2013

Professor Andre Scedrov (University of Pennsylvania).

A Rewriting Framework for Activities Subject to Regulations

Activities such as clinical investigations or financial processes are subject
to regulations to ensure quality of results and avoid negative consequences. Regulations may be imposed by multiple governmental agencies as well as by institutional policies and protocols. Due to the complexity of both regulations and activities there is great potential for violation due to human error, misunderstanding, or even intent. Executable formal models of regulations, protocols, and activities can form the foundation for automated assistants to aid planning, monitoring, and compliance checking.

We propose a model based on multiset rewriting where time is discrete and is specified by timestamps attached to facts. Actions, as well as initial, goal and critical states may be constrained by means of relative time constraints. Moreover, actions may have non-deterministic effects, i.e., they may have different outcomes whenever applied. We demonstrate how specifications in our model can be straightforwardly mapped to the rewriting logic language Maude, and how one can use existing techniques to improve performance. Finally, we also determine the complexity of the plan compliance problem, that is, finding a plan that leads from an initial state to a desired goal state without reaching any undesired critical state. We consider all actions to be balanced, i.e., their pre and post conditions have the same number of facts. Under this assumption on actions, we show that the plan compliance problem is PSPACE-complete when all actions have only deterministic effects and is EXPTIME-complete when actions may have non-deterministic effects.

This is joint work with Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Carolyn Talcott, and Ranko Perovic.

Previous Seminars:

April 25, 2013

Igor Evstigneev 

Evolution  in pecunia: Evolution Biology of Financial Markets

November 29, 2012 (Thursday)

Grigory Litvinov (IITP, Lab.1)

Idempotent Mathematics and Optimization on Graphs






Thursday, 27.04.2017 at 15:40 - IUM general seminar Globus....
Lab. ╣8 seminar: April 20, 2:30 pm, SIEE (IPEE). D.N. Lapshin, G.V. Devitsina: Non-invasive electrop...
Lab. ╣8 seminar: March 23, 2:30 pm, SIEE (IPEE). L.K. Rimskaya-Korsakova: Direct and reverse masking...
Lab. ╣8 seminar: March 2, 2:30 pm, SIEE (IPEE). G.M. Zenkin: On the role of torsional eye movements ...
Seminar "Structural Models and Deep Learning": 1.03.2017 (Wednesday), 18:30, IITP, r.615. Yuri Maxim...
Lab. ╣8 seminar: February 16, 2:30 pm, SIEE (IPEE) room 230. O.Yu. Orlov: On the model of the gated ...
Lab. ╣8 seminar: February 2, 2:30 pm, IITP room 307. T.A. Podugolnikova: Development and age norms o...
Seminar "Structural Models and Deep Learning": 31.01.2017 (Tuesday), 18:30, IITP, r.615. Dmitry Yaro...
Lab. ╣8 seminar: January 26, 2:30 pm at the SIEE (IPEE). V.M. Kovalzon: Wakefulness, sleep and...
Lab. ╣8 seminar: January 19, 2:30 pm at the SIEE (IPEE). V.M. Olshansky: On the Ohm's...
All news   


  © Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), 2017
About  |  Contacts  |  The old version of this site