Continuous Domains and their Information System Representation as Logical Systems
نویسندگان
چکیده
منابع مشابه
Information System Development as Mechanizable Logical Activity
Foundation of a new paradigm for information system development is proposed. The idea is to present the task of information system development as belonging to the realm of logic. At the same time the proposed approach embraces also other programming tasks, such as program speciication and veriication. We argue that applied logic provides methods, techniques and tools suitable for solving these ...
متن کاملKnowledge Representation as Domains
This is a continuing attempt in a series of papers KM 93, Mur 93, Mur 94] to show how computer-represented knowledge can be arranged as elements of an eeectively represented semantic domain in the sense of GS 90]. We present a direct deductive description of the domain, which was deened semantically in KM 93], via the Scott's notion of information system. Also, the internal structure of the con...
متن کاملA representation of L-domains by information systems
Article history: Received 2 October 2014 Received in revised form 25 October 2015 Accepted 20 November 2015 Available online 2 December 2015 Communicated by A. Jung
متن کاملstability and attraction domains of traffic equilibria in day-to-day dynamical system formulation
در این پژوهش مسئله واگذاری ترافیک را از دید سیستم های دینامیکی فرمول بندی می کنیم.فرض کرده ایم که همه فاکتورهای وابسته در طول زمان ثابت باشند و تعادل کاربر را از طریق فرایند منظم روزبه روز پیگیری کنیم.دینامیک ترافیک توسط یک نگاشت بازگشتی نشان داده می شود که تکامل سیستم در طول زمان را نشان می دهد.پایداری تعادل و دامنه جذب را توسط مطالعه ویژگی های توپولوژیکی تکامل سیستم تجزیه و تحلیل می کنیم.پاید...
Introduction to logical information systems
Logical Information Systems (LIS) use logic in a uniform way to describe their contents, to query it, to navigate through it, to analyze it, and to maintain it. They can be given an abstract specification that does not depend on the choice of a particular logic, and concrete instances can be obtained by instantiating this specification with a particular logic. In fact, a logic plays in a LIS th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2002
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80543-7