FO(C): A Knowledge Representation Language of Causality
Cause-effect relations are an important part of human knowledge. In real life, humans often reason about complex causes linked to complex effects. By comparison, existing formalisms for representing knowledge about causal relations are quite limited in the kind of specifications of causes and effects they allow. In this paper, we present the new language C-Log, which offers a significantly more expressive representation of effects, including such features as the creation of new objects. We show how C-Log integrates with first-order logic, resulting in the language FO(C). We also compare FO(C) with several related languages and paradigms, including inductive definitions, disjunctive logic programming, business rules and extensions of Datalog.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach
This paper presents a rich knowledge representation language aimed at formalizing causal knowledge. This language is used for accurately and directly formalizing common benchmark examples from the literature of actual ca…
Learning Contextual Causality from Time-consecutive Images
Causality knowledge is crucial for many artificial intelligence systems. Conventional textual-based causality knowledge acquisition methods typically require laborious and expensive human annotations. As a result, their …
iReason: Multimodal Commonsense Reasoning using Videos and Natural Language with Interpretability
Causality knowledge is vital to building robust AI systems. Deep learning models often perform poorly on tasks that require causal reasoning, which is often derived using some form of commonsense knowledge not immediatel…
Bias DetectionQuestion AnsweringRepresentation LearningScene Understanding+2A Survey on Extraction of Causal Relations from Natural Language Text
As an essential component of human cognition, cause-effect relations appear frequently in text, and curating cause-effect relations from text helps in building causal networks for predictive tasks. Existing causality ext…
BIG-bench Machine LearningFeature EngineeringRelation ExtractionRepresentation LearningFunction Decomposition Tree with Causality-First Perspective and Systematic Description of Problems in Materials Informatics
As interdisciplinary science is flourishing because of materials informatics and additional factors; a systematic way is required for expressing knowledge and facilitating communication between scientists in various fiel…