Logics and collaboration

IF 0.6 4区数学 Q2 LOGIC

Logic Journal of the IGPL Pub Date : 2023-05-08 DOI:10.1093/jigpal/jzad006

L. Sonenberg

引用次数: 0

Abstract

Since the early days of artificial intelligence (AI), many logics have been explored as tools for knowledge representation and reasoning. In the spirit of the Crossley Festscrift and recognizing John Crossley’s diverse interests and his legacy in both mathematical logic and computer science, I discuss examples from my own research that sit in the overlap of logic and AI, with a focus on supporting human–AI interactions.

查看原文本刊更多论文

逻辑与协作

自人工智能(AI)早期以来，许多逻辑已经被探索为知识表示和推理的工具。本着克罗斯利节的精神，并认识到约翰·克罗斯利在数学逻辑和计算机科学方面的不同兴趣和遗产，我讨论了我自己的研究中的例子，这些例子位于逻辑和人工智能的重叠部分，重点是支持人类与人工智能的交互。

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

求助全文

约1分钟内获得全文求助全文

来源期刊

Logic Journal of the IGPL 数学-数学

CiteScore

2.60

自引率

10.00%

发文量

审稿时长

6-12 weeks

期刊介绍： Logic Journal of the IGPL publishes papers in all areas of pure and applied logic, including pure logical systems, proof theory, model theory, recursion theory, type theory, nonclassical logics, nonmonotonic logic, numerical and uncertainty reasoning, logic and AI, foundations of logic programming, logic and computation, logic and language, and logic engineering. Logic Journal of the IGPL is published under licence from Professor Dov Gabbay as owner of the journal.