软件搜索-zbMATH Open

加罗

swMATH ID:	3116
软件作者：	范德霍克，W。；Meyer，J.-J.Ch。；范·沙根，J.W。
描述：	将代理的潜力正式化。重新审视KARO框架。我们重新审视了我们之前提出的（KARO）框架，以思考代理人的知识、能力、结果和机会。在我们最初的建议中，对能力的处理与对机会的处理完全不同，尽管它们事先看起来相当对称。该建议还产生了一个相当非标准的逻辑证明系统，包括所谓的ω规则，即具有无限多前提的规则。最后，该方法在代理执行顺序组合操作的能力方面遇到了一些奇怪的特性。在本章中，我们重新考虑了这些问题，并提出了一个逻辑，即（1）将机会和能力同等对待，（2）允许一个更标准的完整证明系统（3）不受关于顺序组合动作的奇怪性质的影响，以及（4）在其他方面保持原始框架中的许多性质不变。
主页：	http://rd.springer.com/chapter/10.1007/3-540-45484-5_3
关键词：	证明系统；欧米伽规则
相关软件：	代理发言；第3页；METATEM公司；高尔夫；贾德克斯；自旋蛋白；杰森；莫德；PVS公司；发光二极管；ConGolog公司；传真CT++；SPASS公司；SCIFF公司；MCMAS公司；冲击；pdl表格；2APL公司；斯莫德尔斯；TRP公司++
引用于：	17文件

1出版物描述软件，包括1出版物以zbMATH为单位	年份
将代理的潜力正式化。重新审视KARO框架。兹伯利0972.68151 范德霍克，W。；梅耶，J.-J.Ch。；范·沙根（J.W.van Schagen）。	2000

5	约翰·朱尔斯·查尔斯·梅耶
三	尤尔根·迪克斯
三	克莱尔·狄克逊
三	迈克尔·费希尔
三	范德霍克，威比
2	拉斐尔·博迪尼。
2	梅迪·达斯坦尼（Mehdi M.Dastani）。
2	El Fallah Seghrouchni，阿马尔
2	乌尔里希·赫斯塔特
2	阮林安
2	雷娜特·施密特（Renate A.Schmidt）。
1	卡罗尔·亚当
1	纪尧姆拍卖行
1	Barceló-Aspeitia，Axel Arturo
1	亚历山大·博洛托夫
1	德波尔（Frank S。
1	拉杰夫·普拉巴卡尔·戈尔
1	安德烈亚斯·赫齐格
1	科恩·辛德里克斯。
1	劳雷亚诺·克鲁斯（Laureano-Cruces）、安娜·莉莉亚（Ana Lilia）
1	多米尼克·朗金
1	Maurizio Martelli
1	维维亚娜·马斯卡迪
1	Leon S.斯特林。
1	蒂什科夫斯基，德米特里
1	罗杰尔·范·艾克（Rogier M.van Eijk）。
1	范·沙根（J.W.van Schagen）。