An Operational Semantics for Knowledge Bases

نویسندگان

  • Ronald Fagin
  • Joseph Y. Halpern
  • Yoram Moses
  • Moshe Y. Vardi
چکیده

The standard approach in AI to knowledge representation is to represent an agent’s knowledge symbolically as a collection of formulas, which we can view as a knowledge base. An agent is then said to know a fact if it is provable from the formulas in his knowledge base. Halpern and Vardi advocated a model-theoretic approach to knowledge representation. In this approach, the key step is representing the agent’s knowledge using an appropriate semantic model. Here, we model knowledge bases operationally as multi-agent systems. Our results show that this approach offers significant advantages.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Compositional Semantics for Description Knowledge Bases with Rules

Descriptions and Rules are diierent, complementary, essential forms of knowledge. Descriptions are analytic and closed; rules are contingent and open. The two forms can be integrated either by compiling one form within the other, or by constructing a hybrid framework. The hybrid solution keeps the modular independent status of each approach, but needs an underlying integration framework, in whi...

متن کامل

A Modal Logic Formalism for Distributed and Parallel Knowledge Bases

Knowledge bases are currently being investigated by database researchers in order to extend the expressiveness of the relational model to include deductive capabilities in the form of rules. The motivation behind this paper is to present a formalism which extends the relational approach to homogeneous distributed databases to the knowledge base paradigm. The basis of our formalism of distribute...

متن کامل

Design and Implementation of Diagnostic Strategies Using Modal Logic

The ability to select suitable diagnostic assumptions and models extends the power of model-based diagnosis for complex systems and can explicitly be modeled by diagnostic strategies. Recently, Nejdl, Frr ohlich and Schroeder have developed a framework, which allows to express these strategies as formulas of a meta{language. This paper presents a method for designing strategy knowledge bases as...

متن کامل

Fort Lauderdale , Florida . Jan . 1996 . Mixing a Default Rule with Stable

Logic programs containing only at most one form of default negation have been studied in the literature. We describe a class of logic programs containing multiple forms of default negation. We deene a meaning for these programs based on the well{founded semantics and the stable semantics. We investigate properties of the new combined semantics and calculate the computational complexity of deter...

متن کامل

Towards More Informative Answers in Terminological Logics

In this paper, the query-answering problem (also called retrieval problem, in terminological logics) is studied and a new framework is proposed. The declarative semantics extends the classical definition of answer in order to refer to some elements that exist in all models although they may not possess a name. With an appropriate representation of these elements, answers are regular languages a...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1994