Three Problems in Logic-Based, Knowledge Representation

Miller, R.

Aslib proceedings 2006 58 (1-2)140-151
(ReLIS:jul:onkfhj:y:2006:v:58:i:1-2:p:140-151)

Abstract:

Purpose - The purpose of this article is to give a non-technical overview of some of the technical progress made recently on tackling three fundamental problems in the area of formal knowledge representation/artificial intelligence. These are the Frame Problem, the Ramification Problem, and the Qualification Problem. The article aims to describe the development of two logic-based languages, the Event Calculus and Modular-E, to address various aspects of these issues. The article also aims to set this work in the wider context of contemporary developments in applied logic, non-monotonic reasoning and formal theories of common sense. Design/methodology/approach - The study applies symbolic logic to model aspects of human knowledge and reasoning. Findings - The article finds that there are fundamental interdependencies between the three problems mentioned above. The conceptual framework shared by the Event Calculus and Modular-E is appropriate for providing principled solutions to them. Originality/value - This article provides an overview of an important approach to dealing with three fundamental issues in artificial intelligence.

Keywords: Inteligencia artificial ; Representación del conocimiento
Pages: 140-151
Volume: 58
Year: 2006
Issue: 1-2

 (go top)