Situation Calculus Approach to the Oil Products Supply Control System, AutumnSIM San Diego, Ca

Situation Calculus Approach to the Oil Products Supply Control

System

Victor Romanov - Doctor of Technical Science, ProfessorIlya Moskovoy – Postgraduate (3rd yr)

Plekhanov Russian University of Economics - http://rea.ru/Business-Analytical Systems – http://1basystems.com/

Oil Products Supply Control SystemBusiness-Analytical Systems – http://1basystems.com/

Business-Analytical Systems – http://1basystems.com/

Business-Analytical Systems – http://1basystems.com/

Business-Analytical Systems – http://1basystems.com/

<<Situation Calculus>>

Actions(occure in the world)Fluents(describing world conditions)Situations(data about occurred or past actions)• Poss(a,s γ+

F(x,a,s)) → F(x,do(a,s)),

• Poss(a,s) γ-F(x,a,s) →¬F(x,do(a,s)),

P ( P(a) P(b) ), to one object can be related several situations, several actions and fluents.

Business-Analytical Systems – http://1basystems.com/

Situation

• Snapshot in specific moment of time. Snapshot includes:

- Object data - Object characteristics

- Object conditions

Business-Analytical Systems – http://1basystems.com/

Situation snapshot processing logicBusiness-Analytical Systems – http://1basystems.com/

Plug_cloused:= False is taken place, and assertionIs_supplying(seller/IPS, buyer/IPB, opk/TSC, pl1/PLI, avt/AVI, pui/USD,sbt/TIM, sct/TIM):=True is valid.

1.Definition of all conditions, when actions can be processedPoss(¬) ↔ repair_crew (¬busy(repair_crew,s)).Poss(pollution(pipeline), do(a,s)↔( a=broke_pipeline) is_supplying(pipeline)(broken(pipeline,s) a

close_plug(pipeline,s)).Poss(penalty_calc(seller),s)↔seller suspension_supply(seller).Poss(supply_resume(seller),do(a1(do(a2,s2)) ↔(a1=direct,(a2=repair(pipeline,s) open_plug(pipeline,s2)).

Poss(direct(repair_crew))repair_crew( ¬busy(repair_crew,s)).

2. Defenition of all possibilities of parameters changing in specific situations.Is_supplying(seller,do(a,s)) ↔ (a=contract(seller) a=open_plug(pipeline,s))

(a=suspension_supply(seller) a=supply_resume(seller).broken(pipeline,s) suspension_supply(seller).suspension_supply(seller) ↔ penalty_calc(seller).broken(pipeline) ¬ a2=repair(pipeline,s (open_plug(pipeline,s2)) ↔is_leaking(opt).

is_leaking(opt) ↔pollution_penalty.inform(seller/IPS,buyer/IPB,broke_pipeline suspension_supply)inform(buyer/IPB, Supply_resume).

Situation processing logic

Business-Analytical Systems – http://1basystems.com/

Database structure

contract:(sid,bid,cn,tsc,tct,opt,avi, tvd,pui, cpt,tao, tco, stw, ppl,san).

%sid-sellerID,%bid-buerID,%cn-contract number,%tsc-tag of the contract subject,%tct-tag of the contract type, %opt-oil product type,%avi-volume of oil products type delivery p/unit of time, %tvd-total volume of oil products to be delivered,%pui-price for unit of oil product volume type opt, %cpt-contact period of time,%tao-total amount of oil product type opt,%tco-total cost oil products to be delivered, %stw-supply transport delivery,%pipeline ID,%san-sanctions for contract condition violation.

situation:(sid,bid,cn,stw,ppl,tos,tms,eqs,loc,toe,ked,drs,sre,tsr).

%tos- type of situation,%tms- time of situation occur,%eqs- emergency qualification sign,%loc- situation location,%tms- time of situation occur,%toe- type of equipment envolved,%ked-kind of equipment damage,%drs- department responsible for situation,%sre- sign of situation resolved,%tsr- time for situation resolved.

actions:( ama,asa,an,at,atm,ad,ait,art,arv,pra,apc,app,arf,aff).

%ama- agent making action,%asa- agent surpressed by action,%an-action number,%at-action type,%atm-action time,%ad-action description,%ait-action instrument and tools,%art-action resources type,%arv-action resources volume,%pra-precedent action,%apc-action precodition,%app-action postcondition,%arf-action relational fluent,%aff-action functional fluent.

Business-Analytical Systems – http://1basystems.com/

Software development for modelclauses%vsp1:-F, F=1.vsp1(N)=F:-if N < 1 then F=1 else F=N*N-2 end if.vsp2():- stdio::write("contract_number_N: "), N= stdio::read(), %stdio::write(vsp1(N)), stdio::nl, product(U,W),U=N, stdio:: write(W),fail. vsp2().%%vsp(integer N, integer Res):- %vsp():-%write( "enter_here_product_type"),nl,%Term= stdIO::readline(),nl,%stdio::write ("product-__- ",product(X,Term)),stdIO::nl, %stdio::write(Term),nl,% stdio::write("enter_here_contract_number:"), nl,% N= stdio::read(),%stdio::write(vsp1(N)), stdio::nl. % Termm=readline (),nl, % N=readInt(),nl,Y=product(N,X), %stdio::write(Y),nl,fail. %vsp():-nl.%list_of_products_contract_no():-%write("list_of_products_contract_no"),nl,% contract_number(Z),product(X,Y),write (contract_number(Z),"product",product(X,Y)),stdIO::nl,fail.% list_of_products_contract_no():-nl.end implement main

Business-Analytical Systems – http://1basystems.com/

Oil products supply system architectureBusiness-Analytical Systems – http://1basystems.com/

Pipeline ruptureBusiness-Analytical Systems – http://1basystems.com/

Increasing Supply Request

BUSINESS RULE

Business-Analytical Systems – http://1basystems.com/

BusinessAnalytical

Systems http://1basystems.com/