Agent-Based HOL Reasoning

被引：6
|
作者：
Steen, Alexander [1 ]
Wisniewski, Max [1 ]
Benzmueller, Christoph [1 ,2 ]
机构：
[1] Free Univ Berlin, Inst Comp Sci, Berlin, Germany
[2] Stanford Univ, CSLI, Stanford, CA 94305 USA
来源：
MATHEMATICAL SOFTWARE, ICMS 2016 | 2016年 / 9725卷
关键词：
Higher-order logic; Automated theorem proving; Reasoning; Non-classical logics;
D O I：
10.1007/978-3-319-42432-3_10
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In the Leo-III project, a new agent-based deduction system for classical higher-order logic is developed. Leo-III combines its predecessor's concept of cooperating external specialist systems with a novel agent-based proof procedure. Key goals of the system's development involve parallelism on various levels of the proof search, adaptability for different external specialists, and native support for reasoning in expressive non-classical logics.
引用
收藏
页码：75 / 81
页数：7
相关论文
共 50 条
  • [1] Reasoning in agent-based network management
    Raisanen, Vilho
    Apajalahti, Kasper
    NOMS 2018 - 2018 IEEE/IFIP NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM, 2018,
  • [2] A framework for agent-based brokering of reasoning services
    Zimmer, J
    MICAI 2004: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2004, 2972 : 212 - 221
  • [3] ABDUCTIVE REASONING AS THE LOGIC OF AGENT-BASED MODELLING
    Halas, Matus
    PROCEEDINGS - 25TH EUROPEAN CONFERENCE ON MODELLING AND SIMULATION, ECMS 2011, 2011, : 105 - 111
  • [4] Adding Organizational Reasoning to Agent-Based Simulations in GAMA
    Larsen, John Bruntse
    ENGINEERING MULTI-AGENT SYSTEMS, EMAS 2018, 2019, 11375 : 242 - 262
  • [5] Integrated Agent-based and Case-based Reasoning System
    Mohamed, A. H.
    ARAB JOURNAL OF NUCLEAR SCIENCES AND APPLICATIONS, 2014, 47 (03): : 24 - 31
  • [6] Agent-based social simulation with coalitions in social reasoning
    David, N
    Sichman, JS
    Coelho, H
    MULTI-AGENT-BASED SIMULATION, 2001, 1979 : 244 - 265
  • [7] Agent-based situational reasoning for in-theater distribution
    Carrico, Todd M.
    Chin, Bobby
    MILCOM 2006, VOLS 1-7, 2006, : 304 - +
  • [8] Temporalised Epistemic Logic for Reasoning about Agent-Based Systems
    Ma, Ji
    Orgun, Mehmet A.
    Sattar, Abdul
    Adi, Kamel
    2009 IEEE/WIC/ACM INTERNATIONAL JOINT CONFERENCES ON WEB INTELLIGENCE (WI) AND INTELLIGENT AGENT TECHNOLOGIES (IAT), VOL 3, 2009, : 474 - +
  • [9] Agent-based reasoning for distributed multi-INT analysis
    Inchiosa, Mario E.
    Parker, Miles T.
    Perline, Richard
    INTELLIGENT COMPUTING: THEORY AND APPLICATIONS IV, 2006, 6229
  • [10] An Agent-Based Supplier Selection Framework: A Case-Based Reasoning Approach
    Jahani, Alireza
    Murad, Masrah Azrifah Azmi
    Sulaiman, Md Nasir
    Selamat, Hasan
    DIGITAL ENTERPRISE AND INFORMATION SYSTEMS, 2011, 194 : 263 - 274
12345