Loading...
Please wait, while we are loading the content...
Investigations in grounded semantics for multi-agent systems specification via deontic logic
| Content Provider | Semantic Scholar |
|---|---|
| Author | Lomuscio, Alessio Sergot, Marek J. |
| Copyright Year | 2000 |
| Abstract | We investigatean extensionof the formalismof interpretedsystemsby Halpern andcolleaguesto modelcorrectbehaviour of agents.Thesemantical modelallows for therepresentationandreasoningaboutstatesof correctandincorrectfunctioning behaviour of the agents,andof the systemasa whole. We axiomatisethis semanticclassby mappingit into a suitableclassof Kripke models.Theresulting logic, KD45 , is a strongerversionof KD, thesystemoftenreferredto asStandardDeonticLogic. Wediscusstheseissuesandpresentfurtherdirectionsof work relatedto epistemiclogic. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://web.doc.ic.ac.uk/deptechrep/DTR00-9.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |