多动作表示的情境演算

Proceedings of the 18th International Conference on Computer Systems and Technologies Pub Date : 2017-06-23 DOI:10.1145/3134302.3134341

Michael Zernov

{"title":"多动作表示的情境演算","authors":"Michael Zernov","doi":"10.1145/3134302.3134341","DOIUrl":null,"url":null,"abstract":"The paper follows a sequence of publications dedicated to development of new situational-event calculus, which main concepts are: using of order-sorted logic and branching time concepts, taking into account many alternative outcomes of the same action, applying actions, grouped in a list to model their simultaneity.","PeriodicalId":131196,"journal":{"name":"Proceedings of the 18th International Conference on Computer Systems and Technologies","volume":"105 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2017-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Situation Calculus for Multiple Action Representation\",\"authors\":\"Michael Zernov\",\"doi\":\"10.1145/3134302.3134341\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The paper follows a sequence of publications dedicated to development of new situational-event calculus, which main concepts are: using of order-sorted logic and branching time concepts, taking into account many alternative outcomes of the same action, applying actions, grouped in a list to model their simultaneity.\",\"PeriodicalId\":131196,\"journal\":{\"name\":\"Proceedings of the 18th International Conference on Computer Systems and Technologies\",\"volume\":\"105 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2017-06-23\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 18th International Conference on Computer Systems and Technologies\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/3134302.3134341\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 18th International Conference on Computer Systems and Technologies","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3134302.3134341","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

本文遵循了一系列致力于发展新的情境-事件演算的出版物，其主要概念是:使用顺序排序逻辑和分支时间概念，考虑同一行动的许多替代结果，应用行动，分组在一个列表中以模拟它们的同时性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Situation Calculus for Multiple Action Representation

The paper follows a sequence of publications dedicated to development of new situational-event calculus, which main concepts are: using of order-sorted logic and branching time concepts, taking into account many alternative outcomes of the same action, applying actions, grouped in a list to model their simultaneity.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings of the 18th International Conference on Computer Systems and Technologies

自引率

0.00%

发文量