In this paper, we introduce and explore ways to include a notion of partiality of information in knowledge representation formalisms. This leads to the definition of an algebraic structure based on observation and partial representation, and to the study of the logical behaviour of those structures, with the characterization of a new modal logic called OL.

We present a method to match three dimensional shapes under non-isometric deformations, topology changes and partiality. We formulate the problem as matching between a set of pair-wise and point-wise descriptors, imposing a continuity prior on the mapping, and propose a projected descent optimization procedure inspired by difference of convex functions (DC) programming.

It is well-known that many relevant aspects of everyday reasoning based on natural language cannot be adequately expressed in classical rst-order logic. In this paper we address two of the problems, rstly that of so-called presuppositions, expressions from which it is possible to draw implicit conclusion, which classical logic normally does not warrant, and secondly the related problem of parti...

Existing search engines––with Google at the top––have many remarkable capabilities; but what is not among them is deduction capability––the capability to synthesize an answer to a query from bodies of information which reside in various parts of the knowledge base. In recent years, impressive progress has been made in enhancing performance of search engines through the use of methods based on b...

Existing search engines—with Google at the top—have many re­ markable capabilities; but what is not among them is deduction capability—the capability to synthesize an answer to a query from bodies of information which re­ side in various parts of the knowledge base. In recent years, impressive progress has been made in enhancing performance of search engines through the use of methods based on ...

Abstract I consider the plausibility of discounting for kinship , view that a positive rate pure intergenerational time preference is justifiable in terms agent-relative moral reasons relating to partiality between generations. respond Parfit's objections kinship, but then highlight number apparent limitations this approach. show these largely fall away when we reflect on social context decisio...

Following a proposal of Humberstone, this paper studies a semantics for modal logic based on partial “possibilities” rather than total “worlds.” There are a number of reasons, philosophical and mathematical, to find this alternative semantics attractive. Here we focus on the construction of possibility models with a finitary flavor. Our main completeness result shows that for a number of standa...

Partiality Of Options Kina ini mengangkat isu gangguan kesehatan, kecemasan, dan penyelesaian masalahnya melalui aliran filsafat stoikisme. segala alur cerita karakter pada bersifat fiktif. Stoikisme adalah sebuah Yunani kuno yang dikembangkan abad ke-3 SM oleh Zeno dari Kition berkembang menjadi populer. bertujuan untuk membantu manusia mencapai kebahagiaan kebijaksanaan pengendalian emosi, pe...

Topological notions and methods have successfully been applied in various areas of computer science. The seminar concentrated on the following aspects: constructivity, asymmetry and partiality, and digitization. These key words not only describe a central theme of presentday research in computer science oriented topology, but also reflect the various features in which topological spaces used in...