Logic, Language and Computation: Volume 1 - Brossura

Brossura

ISBN 10: 1881526895 ISBN 13: 9781881526896

Casa editrice: The Center for the Study of Language and Information Publications, 1996

Riassunto

This volume presents work that evolved out of the Third Conference on Situation Theory and Its Applications, held at Oiso, Japan, in November of 1991. The chapters presented in this volume continue the mathematical development of situation theory, including the introduction of a graphical notation; and the applications of situation theory discussed are wide-ranging, including topics in natural language semantics and philosophical logic, and exploring the use of information theory in the social sciences. The research presented in this volume reflects a growing international and interdisciplinary activity of importance for many fields concerned with information.

Su questo libro

Descrizione del libro

This volume presents work that evolved out of the Third Conference on Situation Theory and Its Applications, held at Oiso, Japan, in November of 1991. The research presented in this volume reflects a growing international and interdisciplinary activity of importance for many fields concerned with information.

Contenuti

1. Generalised set theory P. Aczel; 2. Information-oriented computation with BABY-SIT: E. Tin and V. Akman; 3. Reasoning with diagram sequences M. Anderson; 4. Information flow and the Lambek calculus J. Barwise, D. Gabbay and C. Hartonas; 5. Logical aspects of combined structures P. Blackburn and M. de Rijke; 6. On rich ontologies for tense and aspect P. Blackburn et al.; 7. Naturalising constraints N. Braisby and R. P. Cooper; 8. Reflexivity and belief de se K. L. Brown; 9. A channel-theoretic model for conditional logics L. Cavedon; 10. A compositional situation semantics for attitude reports R. Cooper and J. Ginzburg; 11. The attitudes in discourse representation theory and situation semantics R. Cooper; 12. Intensional verbs without type-raising or lexical ambiguity M. Dalrymple et al ; 13. Representation and information in dynamic semantics P. Dekker; 14. A persistent notion of truth in dynamic semantics T. Fernando; 15. Dynamics and the semantics of dialogue J. Ginzburg; 16. Towards a channel-theoretic account of the progressive S. Glasbey; 17. This might be it J. Groenendijk et al; 18. Euler and the role of visualization in logic E. Hammer and S. Shin; 19. Individuation and reasoning K. Ishikawa; 20. Where monsters dwell D. Israel and J. Perry; 21. A distributed system model for actions of situated agents Y. Katagiri; 22. Information, representation and the possibility of error R. C. Koons; 23. Bridging situations and NPI licensing I. Lee; 24. A diagrammatic inference system for geometry I. Luengo; 25. Belief as a form of subjective information D. Mack; 26. Diagram contents and representational granularity K. Manders; 27. Constraints on coalgebras K. Mukai; 28. Proof styles in multimodal reasoning J. Oberlander et al; 29. Austinian pluralities D. Oehrle; 30. Interfacing situations J. Perry and E. Macken; 31. Information flow and relevant logics G. Restall; 32. Attunement to constraints in nonmonotonic reasoning W. C. Rounds and G. Zhang; 33. A simultaneous abstraction calculus and theories of semantics P. Ruhrberg; 34. Minimal truth predicates and situation theory S. Schulz; 35. Reasoning with diagrams and geometrical constraints A. Shimojima; 36. A legal reasoning system based on situation theory S. Tojo and S. Won; 37. An E-type logic J. van der Does; 38. From utterances to situations: parsing with constructions in small domains W. Zadrozny.

Dettagli dell?edizione

• Editore: The Center for the Study of Language and Information Publications
• Data di pubblicazione: 1996
• ISBN 10: 1881526895
• ISBN 13: 9781881526896
• Rilegatura: Copertina flessibile
• Lingua: Inglese
• Numero di pagine: 218
• Redattore: Seligman Jerry, Westerstahl Dag