Logic, language and computation
著者
書誌事項
Logic, language and computation
（CSLI lecture notes, no. 58,
Center for the Study of Language and Information, c1996-c2000
- v. 1
- v. 1 : pbk
- v. 2
- v. 2 : pbk
- v. 3
- v. 3 : pbk
大学図書館所蔵 全65件
注記
"Proceedings of the conference on Information-Oriented Approaches to Logic, Language and Computation held at St. Mary's College, Moraga, California, June 12-15, 1994"--Pref. of v. 1
"This volume contains papers presented at the Second Conference on Information-Theoretic Approaches to Logic, Language, and Computation. ... The ITALLC conference was held at Regent's College in London in July 1996."--Pref. of v. 2
Vol. 2: edited by Lawrence S. Moss, Jonathan Ginzburg, Maarten de Rijke
Vol. 3: "3rd International Conference on Information-Theoretic Approaches to Logic, Language, and Computation (ITALLC), which was held in Hsi-tou, Taiwan, 16-19 June, 1998"--Pref. of v. 3
Vol. 3: edited by Lawrence Cavedon, Patrick Blackburn, Nick Braisby, Atsushi Shimojima
Includes bibliographical references and index
"CSLI publications"
内容説明・目次
- 巻冊次
-
v. 2 : pbk ISBN 9781575861807
内容説明
Ideas from theoretical computer science continue to have an important influence on areas of philosophy and linguistics. The papers contained in this volume by some of the most influential computer scientists, linguists, logicians and philosophers of today cover subjects such as channel theory, presupposition and constraints, the modeling of discourse, and belief. The contributors include: Jon Barwise, who shows how the ideas of channel theory fit in with non-monotonic logic; Jelle Gerbrandy shows how ideas from dynamic logic can be used to study the notion of common knowledge among groups of agents; Wiebe van der Hoek and Maarten de Rijke provide ideas from theoretical computer science to a more philosophical area, belief revision; Rohit Parikh proposes a solution to one of the problems of belief revision; Paul Skokowski discusses Fred Dretske's theory of content; and Thomas Ede Zimmermann discusses the notions of discourse referent and information states.
目次
- 1. State spaces, local logics, and non-monotonicity
- 2. Presupposition commodation: a plea for common sense
- 3. A dynamic syntax/semantics interface
- 4. Dynamic epistemic logic
- 5. Bare plurals, situations and discourse context
- 6. Interleaved contractions
- 7. Putting channels on the map: a channel-theoretic semantics of maps?
- 8. Disjunctive information
- 9. Information, relevance and social decisionmaking: some principles and results of decision-theoretic semantics
- 10. Hyperproof: abstraction, visual preference and multimodality
- 11. Structured argument generation in a logic-based KB-system
- 12. Beliefs, belief revision, and splitting languages
- 13. Prolegomena to a theory of disability, inability and handicap
- 14. Constraint-preserving representations
- 15. Information, belief and causal role
- 16. Takahashi: proving through commutative diagrams
- 17. Topology via constructive logic
- 18. Remarks on the epistemic role of discourse referents
- 19. Constrained functions and semantic information.
- 巻冊次
-
v. 2 ISBN 9781575861814
内容説明
Ideas from theoretical computer science continue to have an important influence on areas of philosophy and linguistics. The papers contained in this volume by some of the most influential computer scientists, linguists, logicians and philosophers of today cover subjects such as channel theory, presupposition and constraints, the modeling of discourse, and belief. The contributors include: Jon Barwise, who shows how the ideas of channel theory fit in with non-monotonic logic; Jelle Gerbrandy shows how ideas from dynamic logic can be used to study the notion of common knowledge among groups of agents; Wiebe van der Hoek and Maarten de Rijke provide ideas from theoretical computer science to a more philosophical area, belief revision; Rohit Parikh proposes a solution to one of the problems of belief revision; Paul Skokowski discusses Fred Dretske's theory of content; and Thomas Ede Zimmermann discusses the notions of discourse referent and information states.
目次
- 1. State spaces, local logics, and non-monotonicity
- 2. Presupposition commodation: a plea for common sense
- 3. A dynamic syntax/semantics interface
- 4. Dynamic epistemic logic
- 5. Bare plurals, situations and discourse context
- 6. Interleaved contractions
- 7. Putting channels on the map: a channel-theoretic semantics of maps?
- 8. Disjunctive information
- 9. Information, relevance and social decisionmaking: some principles and results of decision-theoretic semantics
- 10. Hyperproof: abstraction, visual preference and multimodality
- 11. Structured argument generation in a logic-based KB-system
- 12. Beliefs, belief revision, and splitting languages
- 13. Prolegomena to a theory of disability, inability and handicap
- 14. Constraint-preserving representations
- 15. Information, belief and causal role
- 16. Takahashi: proving through commutative diagrams
- 17. Topology via constructive logic
- 18. Remarks on the epistemic role of discourse referents
- 19. Constrained functions and semantic information.
- 巻冊次
-
v. 3 ISBN 9781575862675
内容説明
With the rise of the "information age" has come a prominence of information as a research concept. There is an increased appreciation of the intertwining nature of fields such as logic, linguistics and computer science that help to answer the questions about information and the ways it can be processed. This volume brings together ideas from diverse perspectives to present an emerging concensus about what a conclusive theory of information should be. The book provides an introduction to the topic, work on underlying ideas and the technical research that pins down the richer notions of information from a mathematical point of view. Topics covered include: a general theory of information; tackling of specific problems from artificial intelligence, formal semantics, cognitive psychology; the philosophy of mind; the dynamics of information flow; and a consideration of static approaches to information content. Throughout the book both quantitative and qualitative approaches are represented.
- 巻冊次
-
v. 3 : pbk ISBN 9781575862682
内容説明
With the rise of the "information age" has come a prominence of information as a research concept. There is an increased appreciation of the intertwining nature of fields such as logic, linguistics and computer science that help to answer the questions about information and the ways it can be processed. This volume brings together ideas from diverse perspectives to present an emerging concensus about what a conclusive theory of information should be. The book provides an introduction to the topic, work on underlying ideas and the technical research that pins down the richer notions of information from a mathematical point of view. Topics covered include: a general theory of information; tackling of specific problems from artificial intelligence, formal semantics, cognitive psychology; the philosophy of mind; the dynamics of information flow; and a consideration of static approaches to information content. Throughout the book both quantitative and qualitative approaches are represented.
- 巻冊次
-
v. 1 : pbk ISBN 9781881526896
内容説明
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.
目次
- 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.
- 巻冊次
-
v. 1 ISBN 9781881526902
内容説明
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.
目次
- 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.
「Nielsen BookData」 より