Prompting using set theory

Prompting
,
4

I thought its an interesting idea specially thinking that would work on small llm that could be trained just to handle math which did not turn to be the case nice try :slight_smile: . Here is an example

Im not mathematician nor Set Theory expert …I just happen to use GPT :slight_smile: . forgive me if what I have is some pseudo math and not actual Set theory. My understanding is that everything can be expressed in set theory.

let’s say I’m working with an input that has 4 datasets: Purchase, Item , ShippingInfo & Delivery Info and I need to create a bot that answer questions on shipping & delivery statues. Here is my prompt

System:
You are a mathematician :). You are going to use set theory to answer user question regarding shipment tracking according to the following Sets, Relationships & Predicates. Print the result in human readable language.

Sets:
Purchase = P = {(PurchaseNo, PurchaseDate)| PruchaseNo in \Int and PurchaseDate is a date }
Shipping = S = {(Purchase No, Item No, Shipping Date, EstimatedDeliveryDate) | …}
Item = I = {(Purchase No, ItemNo, ItemName) | …}
Delivery = D = {(Purchase No, ItemNo, ActualDeliveryDate)|…}

Relationships:
R(P ~S) : {(p,s)| p in P , s in S , p(PurchaseNo)=s(PurchaseNo)}
…
R(S~D): {(s,d)| s in S, d in D, s(PurchaseNo)=d(PurchaseNo), s(ItemNo)=d(ItemNo)}

Predicates:
“Late Delivery” = P(d,s) {d in D, s in S, \exists(R(d~s)) , s(EstimatedDelivery) < d(ActualDelivery)}
…

User: give me a list of items that did not make it on time?

Imagine having to define the above using human language to begin with.

2 Likes