Abstract:Knowledge representation and reasoning systems represent knowledge as collections of facts and rules. KRRs can represent complex concepts and relations, and they can query and manipulate information in sophisticated ways. Unfortunately, the KRR technology has been hindered by the fact that specifying the requisite knowledge requires skills that most domain experts do not have, and professional knowledge engineers are hard to find. Some recent CNL-based approaches, such as the Knowledge Authoring Logic Machine (KALM), have shown to have very high accuracy compared to others, and a natural question is to what extent the CNL restrictions can be lifted. Besides the CNL restrictions, KALM has limitations in terms of the types of knowledge it can represent. To address these issues, we propose an extension of KALM called KALM for Factual Language (KALMF). KALMF uses a neural parser for natural language, MS, to parse what we call factual English sentences, which require little grammar training to use. Building upon KALMF, we propose KALM for Rules and Actions (KALMR), to represent and reason with rules and actions. Furthermore, we identify the reasons behind the slow speed of KALM and make optimizations to address this issue. Our evaluation using multiple benchmarks shows that our approaches achieve a high level of correctness on fact and query authoring (95%) and on rule authoring (100%). When used for authoring and reasoning with actions, our approach achieves more than 99.3% correctness, demonstrating its effectiveness in enabling more sophisticated knowledge representation and reasoning. We also illustrate the logical reasoning capabilities of our approach by drawing attention to the problems faced by the famous AI, ChatGPT. Finally, the evaluation of the newly proposed speed optimization points not only to a 68% runtime improvement but also yields better accuracy of the overall system.

ECA-RuleML: An Approach combining ECA Rules with temporal interval-based KR Event/Action Logics and Transactional Update Logics

ECA-LP / ECA-RuleML: A Homogeneous Event-Condition-Action Logic Programming Language

A Homogeneous Reaction Rule Language for Complex Event Processing

ECA Rule-Based Workflow Modeling and Implementation for Service Composition.

Spontaneous emission into a planar optical waveguide mode by an atom outside the waveguide

A rule-based workflow approach for service composition

An ECA Variant Rule Based Approach to Flexible Business Process Management

Reasoner = Logical Calculus + Rule Engine

Coordination among Multi-agents Using Process Calculus and ECA Rule

Knowledge Authoring with Factual English, Rules, and Actions

Bridging the gap between Legal Practitioners and Knowledge Engineers using semi-formal KR

Event-Clock Automata: From Theory to Practice

A Multi-Agent System Based On Eca Rule

An Argumentation-Based Flexible Agent with Dynamic Rules of Inference

Online Learning Probabilistic Event Calculus Theories in Answer Set Programming

An Operational Semantics for the Cognitive Architecture ACT-R and its Translation to Constraint Handling Rules

Hidden unity in the quantum description of matter

Enhanced knowledge management with eXtensible Rule Markup Language

Distributed Online Learning of Event Definitions

An ECA-Rule-Based workflow management approach for web services composition

Rule-based Construction of Matching Processes