首页> 外文期刊>Computing reviews >David Makinson on classical methods for non-classical problems
【24h】

David Makinson on classical methods for non-classical problems

机译:David Makinson谈非经典问题的经典方法

获取原文
获取原文并翻译 | 示例
       

摘要

A fine bunch of authors present papers about the present status of the fields of work of an outstanding logician, David Makinson, in this book. Makinson is also invited to comment on the papers and offer some papers of his own. Three areas are covered. The first is belief change, a field whose seminal paper, known by the initials of its authors, came from Alchourr6n, Gardenfors, and Makinson (AGM). There are five contributions, including one on the broader area of epistemic reasoning in life and literature by Rohit Parikh. The area of uncertain reasoning is where Makinson has written a book and some magisterial surveys, showing that nonmonotonic, and the more usual monotonic, reasoning can be treated in a single broad framework. There are three detailed contributions dealing with current work and posing open problems. The area of normative systems includes deontic logic, which deals with permissions and obligations. There are four contributions in this area, including one by John Horty, which treats an alternative to the AGM postulates from a legal perspective. The editor, Sven Ove Hansson, has written a nice preview, and with Peter Gardenfors, an introduction to Makinson's work in these three areas. Given that there are so many interesting topics discussed, I feel the editor could have spent some effort on a decent index (none is provided).
机译:一大堆作者在本书中提供了有关杰出逻辑学家David Makinson的工作领域的现状的论文。 Makinson还受邀对这些论文发表评论,并提供一些他自己的论文。涵盖三个区域。第一个是信念改变,这个领域的开创性论文以其作者的名字缩写而闻名,来自Alchourr6n,Gardenfors和Makinson(AGM)。有五篇论文,其中一本是罗希特·帕里克(Rohit Parikh)关于生活和文学中的认知推理的更广泛领域。不确定性推理领域是Makinson写书和进行一些权威性调查的地方,显示非单一性推理和更常见的单调性推理可以在一个广泛的框架内进行处理。对于当前的工作和存在的开放性问题,有三份详细的文稿。规范系统领域包括处理许可和义务的宗法逻辑。在这方面有四个方面的贡献,其中包括约翰·霍蒂(John Horty)的一个,从法律的角度看,它替代了股东周年大会的假设。编辑Sven Ove Hansson撰写了出色的预告片,并与Peter Gardenfors一起对Makinson在这三个领域的工作进行了介绍。鉴于讨论了这么多有趣的话题,我觉得编辑本可以花一些精力在一个不错的索引上(没有提供)。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号