Hackpads are smart collaborative documents. .
266 days ago
Unfiled. Edited by Anne Ogborn 266 days ago
  • Games that have advanced AI Generating story
List of games that use Logic/Social practices modelling/IF techniques

181 days ago
Unfiled. Edited by Doktor Towerstein 181 days ago
Doktor T Acts of Speech, according to FIPA and KQML
Both FIPA and KQML specify some "acts of speech" to be used in agent communication. Let's gather some refs here, summarize their info, and select a small subset that is still useful.
  • FIPA
Notes: FP stands for "feasibility preconditions" (conditions to be satisified for the act to be planned) and RE stands for "rational effects" (the reason for which the act is selected).
The defined speech acts are:
  • Accept Proposal: "accept-proposal is a general-purpose acceptance of a proposal that was previously submitted (typically through a propose act). The agent sending the acceptance informs the receiver that it intends that (at some point in the future) the receiving agent will perform the action, once the given precondition is, or becomes, true. The proposition given as part of the acceptance indicates the preconditions that the agent is attaching to the acceptance. A typical use of this is to finalize the details of a deal in some protocol. For example, a previous offer to “hold a meeting anytime on Tuesday” might be accepted with an additional condition that the time of the meeting is 11.00." Seems appropriate to a negotiation. May be formalized like, "if both your preconditions and my preconditions are met at some point in time, I will act as indicated in the sentence". This may lead to additional beliefs about the future depending on the agent's modelling of the action postconditions (which might not be the same for all agents). 
<i, accept-proposal (j, <j, act>, φ))> ≡
<i, inform (j, Ii Done (<j, act>, φ))>
FP: Bi α ∧ ¬Bi (Bifj α ∨ Uifj α)
RE: Bj α
Where:
α = Ii Done (<j, act>, φ)
  • Agree: similar to proposal
<i, agree (j, <i, act>, φ))> ≡
<i, inform (j, Ii Done (<i, act>, φ))>
FP: Bi α ∧ ¬Bi (Bifj α ∨ Uifj α)
RE: Bj α
Where:
α = Ii Done(<i, act>, φ)
  • Cancel
  • Call for Proposal
  • Confirm
  • Disconfirm
  • Failure
  • Inform
  • Inform If
  • Inform Ref
  • Not Understood
  • Propagate
  • Propose
  • Proxy
  • Query If
  • Query Ref
  • Refuse
  • Reject Proposal
  • Request
  • Request When
  • Request Whenever
  • Subscribe
 
KQML (please help me promote to heading1!! :'( )
 
 
 
 
 
 
 
 
200 days ago
Unfiled. Edited by Claudia Doppioslash 200 days ago
  • asked to invent a greeting
Claudia D
  • asked for medicine
 
  • follow to another NPC's house
  • if ill, they suggest giving them medicine
  • give them medicine
 
  • they want to give you something
  • they're planning to move
  • they're repenting on deciding to move
  • they're randomly visiting the PV at its house
  • ask for house quality judgement after PC visit to NPC house
 
  • visiting the museum
  • visiting shops
  • at the coffee shop
  • if at recycle shop, they might buy stuff when PC is there
  • at club 101, dancing, or on Saturdays listening to K.K. singing
  • walking around (with an umbrella if it rains)
  • sleeping (house dark, no smoke)
  • at home, ill (lights, and smoke from chimney)
 
Things the PC can do
  • expand its house
  • build city improvement projects
  • buy furniture, clothes, etc
  • find fossils
  • gather fruit
  • go fish
  • catch insects
  • find gyroids
  • learn new emoji from club 101
  • rent a museum room
  • visit the island
  • visit other's villages (also in "dreams")
  • write, send and receive letters
  • drink coffee
  • sell stuff to the two shops
  • visit other villagers
 
 
  • making the NPCs also do the same things as the PC, like getting a bigger house (now the house size is fixed afaik)
  • making the NPC realise when other NPC are around, they generally ignore each other
  • give NPC long-term/higher level objectives
  • add narrative awareness, give the ai villagers characteristics, sequences of actions that cause a certain effect
 
421 days ago
Unfiled. Edited by Doktor Towerstein , Claudia Doppioslash 421 days ago
Doktor T Questions on mental states
m4farrel: Must stories be a sequence of *logically* connected moments? What about, if, somebody with a mental illness was writing a story in first person? Would a first person account of a mental health story still be logical,  w.r.t. some logic, but perhaps derived from a set of beliefs that don't reflect  reality, etc? Mental health episode, I guess.
 
Your favourite psychologist answers: Not necessarily. There are several ways in which a mind may go wrong. It may reason perfectly, but take implausible assumptions that nobody would think about ("The box disappeared because the aliens took it away. Of course the door is closed: they used their high-dimensional pathways!"). The logic may be just flawed, not following any rules of logic ("The aliens took the box. Ghosts are just too busy fabricating lies."). Maybe the basic facts are true, but the subject is unable to focus and tell a consistent story ("They threw it away. He gave them the keys. Oh, my, he wanted the box. But it is now lost in the gutter. So they opened the door at night!"). I will try and find some more descriptions of accounts for the mentally ill.
 
426 days ago
Unfiled. Edited by Claudia Doppioslash 426 days ago
One of them is A is possible, [inaudible question at 10:00] ok, so there's many different that Logic can be used, the particular correspondences I'm talking about are the ones that Bob's talked about earlier, where if you proofs [???10:27] in the language as programs.
 
[???: question inaudible 11:30] application do you mean ... only one thing can have access to ... at once ... so like the application ... ?
 
... [???: inaudible answer], Pi calculus
 
So that A is possible actually corresponds to something, it's called lax logic and the computational phenomenon is what you might want to call generic effects.
Claudia D I don't know if [???] column here for what happens when you do this algebraically but it is called a monad.
If you want to think about a logic in between capture what a monad is then what you need to stu...[??? 12:37] is for the idea that you have a judgement that is possible rather than it is true.
 
Another one is A is valid that corresponds to a modal logic and a certain interpretation of validity and that corresponds to something which is runtime code generation.
Another way to think about it is, you have a [??? 13:10] concept in the language and you have any val construct in the language.
 
  • [col1: judgements] [col2: logics] [col3: computational phenomenons]
 
Claudia D
  • [ sadly the image is too tiny to read ]
 
So this is just to give you some examples that show it's very important that many different logics [??? 13:23] ...sed to catch various computational phenomenons and the way that we capture them is by appropriate judgements.
 
And the kind of a notion of a proposition is somewhat parametric over which thing we're looking at. Now if you want to capture and apply the ideas we are giving you in these first two lectures you really have to understand in detail how you actually define a logic.
Because if you do it wrong, then the logic doesn't really make sense and the computation interpretation is off and things don't really work together the way they should.
 
Therefore I'm going through this very slowly. Other questions on these examples? 
I think I will probably talk at least about this one, about the connection between possib??? [???] and monads. There are references for the other ones. You can look these things up.
 
 [??? unintelligible question 14:15 ]... is there much to learn about the last modal logic? ???
 People are not really looking at ??? 
 Sound specific for ???
 
Modal logic is kind of a very broad collection on things, saying that different modes of truth, in my terminology I would say there are different judgements, that's what I would say. 
So traditional logic is just concerned with the judgement of truth, or maybe with the judgement of falsehood, and in modal logic when this [...???] more refined notion of judgement, like K knows A or A is true in time T 
 
 
[up to 15:02]
 
451 days ago
Unfiled. Edited by Claudia Doppioslash 451 days ago
Claudia D
  • Interesting bits
2.4 Research gap
...a synthesis of these two areas is necessary...
 
 
Members (10)
Claudia Doppioslash Doktor Towerstein Douglas Miles Anne Ogborn Ross Angle Robert Menna Mark Farrell anna.limodoro@gmail.com meditans@gmail.com psygnisfive@yahoo.com

Create a New Collection

Cancel

Move XXX to XXX


XXX will be invited to the XXX on XXX.

Cancel

Contact Support



Please check out our How-to Guide and FAQ first to see if your question is already answered! :)

If you have a feature request, please add it to this pad. Thanks!


Log in / Sign up