front cover of Meaning and Partiality
Meaning and Partiality
Reinhard Muskens
CSLI, 1995
Muskens radically simplifies Montague Semantics and generalises the theory by basing it on a partial higher order logic resulting in a theory which combines important aspects of Montague Semantics and Situation Semantics. Richard Montague formulated the revolutionary insight that we can understand the concept of meaning in ordinary languages much in the same way as we understand the semantics of logical languages. Unfortunately, he formalised his idea in an unnecessarily complex way. The present work does away with unnecessary complexities, obtains a streamlined version of the theory, shows how partialising the theory automatically provides us with the most central concepts of Situation Semantics, and offers a simple logical treatment of propositional attitude verbs, perception verbs and proper names.
[more]

front cover of Partiality, Modality and Nonmonotonicity
Partiality, Modality and Nonmonotonicity
Patrick Doherty
CSLI, 1996
This edited volume of articles provides a state-of-the-art description of research in logic-based approaches to knowledge representation which combines approaches to reasoning with incomplete information that include partial, modal, and nonmonotonic logics. The collection contains two parts: foundations and case studies. The foundations section provides a general overview of partiality, multi-valued logics, use of modal logic to model partiality and resource-limited inference, and an integration of partial and modal logics. The case studies section provides specific studies of issues raised in the foundations section. Several of the case studies integrate modal and partial modal logics with nonmonotonic logics. Both theoretical and practical aspects of such integration are considered. Knowledge representation issues such as default reasoning, theories of action and change, reason maintenance, awareness, and automation of nonmonotonic reasoning are covered.
[more]


Send via email Share on Facebook Share on Twitter