基本信息
浏览量:164
职业迁徙
个人简介
Research vision and topics
The general aim of my research is to develop formal models of interaction between cognitive agents. I have mainly worked in the area of artificial intelligence (AI) with strong interaction with other disciplines such as economics, philosophy and cognitive sciences.
Formal methods have been widely used in AI for modeling intelligent systems as well as different aspects of social interaction between artificial and/or human agents (e.g., a team of robots or a virtual agent or a social robot interacting with a human). In my work I use logic and game theory as formal tools for building models of interaction between cognitive agents.
I am interested in both the expressivity aspect and the computational aspect of formal models of interaction. First of all, I develop logical languages and semantics that are sufficiently expressive to represent interesting aspects of social interaction. Secondly, I study their mathematical and computational properties including axiomatizability, completeness, decidability and complexity. Finally, I provide decision procedures for such languages and semantics (e.g., for satisfiability checking and model checking) and leverage them to automate the reasoning and decision-making of artificial agents.
The general aim of my research is to develop formal models of interaction between cognitive agents. I have mainly worked in the area of artificial intelligence (AI) with strong interaction with other disciplines such as economics, philosophy and cognitive sciences.
Formal methods have been widely used in AI for modeling intelligent systems as well as different aspects of social interaction between artificial and/or human agents (e.g., a team of robots or a virtual agent or a social robot interacting with a human). In my work I use logic and game theory as formal tools for building models of interaction between cognitive agents.
I am interested in both the expressivity aspect and the computational aspect of formal models of interaction. First of all, I develop logical languages and semantics that are sufficiently expressive to represent interesting aspects of social interaction. Secondly, I study their mathematical and computational properties including axiomatizability, completeness, decidability and complexity. Finally, I provide decision procedures for such languages and semantics (e.g., for satisfiability checking and model checking) and leverage them to automate the reasoning and decision-making of artificial agents.
研究兴趣
论文共 223 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Autonomous Agents and Multi-Agent Systemsno. 1 (2024): 1-52
Janusz Czelakowski on Logical Consequence Outstanding Contributions to Logicpp.401-418, (2024)
J. Log. Comput.no. 2 (2023): 485-515
IJCAI 2023pp.3286-3295, (2023)
引用0浏览0EI引用
0
0
JOURNAL OF LOGIC AND COMPUTATIONno. 6 (2023): 1463-1496
IJCAI 2023pp.418-426, (2023)
引用1浏览0EI引用
1
0
LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2023 (2023): 437-445
KRpp.2-11, (2023)
引用1浏览0EI引用
1
0
LEGAL KNOWLEDGE AND INFORMATION SYSTEMS (2023): 23-32
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn